|
|
Conferences in DBLP
Wireless Sensor Networking: The Pleasure and the Pain. [Citation Graph (, )][DBLP]
Evolving Critical Systems. [Citation Graph (, )][DBLP]
Engineering Self-Service Correctional Facility Biometric Computer-Based Systems. [Citation Graph (, )][DBLP]
UAV Search: Maximizing Target Acquisition. [Citation Graph (, )][DBLP]
Do Sensornet Protocol Variants Yield Real Benefits?. [Citation Graph (, )][DBLP]
Scalable Run-Time Correlation Engine for Monitoring in a Cloud Computing Environment. [Citation Graph (, )][DBLP]
A Model-Based Regression Testing Approach for Evolving Software Systems with Flexible Tool Support. [Citation Graph (, )][DBLP]
Using UML Models and Formal Verification in Model-Based Testing. [Citation Graph (, )][DBLP]
Generating Test Plans for Acceptance Tests from UML Activity Diagrams. [Citation Graph (, )][DBLP]
Guiding Architectural Restructuring through Architectural Styles. [Citation Graph (, )][DBLP]
CPASA: Continuous Performance Assessment of Software Architecture. [Citation Graph (, )][DBLP]
Range Queries Based on a Structured Segment Tree in P2P Systems. [Citation Graph (, )][DBLP]
A Data Warehouse Model for Integrating Fuzzy Concepts in Meta Table Structures. [Citation Graph (, )][DBLP]
Fault Management Driven Design with Safety and Security Requirements. [Citation Graph (, )][DBLP]
Timed Automata Model for Component-Based Real-Time Systems. [Citation Graph (, )][DBLP]
Power and Area Efficient Design of Network-on-Chip Router through Utilization of Idle Buffers. [Citation Graph (, )][DBLP]
Fault Coverage Measurement of a Timed Test Case Generation Approach. [Citation Graph (, )][DBLP]
Top-Down Reuse for Multi-level Testing. [Citation Graph (, )][DBLP]
Continuous Verification of Large Embedded Software Using SMT-Based Bounded Model Checking. [Citation Graph (, )][DBLP]
Design-Space Exploration through Constraint-Based Model-Transformation. [Citation Graph (, )][DBLP]
Combination of a Discrete Event Simulation and an Analytical Performance Analysis through Model-Transformations. [Citation Graph (, )][DBLP]
Communication Modeling for System-Level Performance-Simulation. [Citation Graph (, )][DBLP]
Educating Architects in Industry - The SAP Architecture Curriculum. [Citation Graph (, )][DBLP]
Design and Implementation of Safety Functions on a Novel CPLD-Based Fail-Safe System Architecture. [Citation Graph (, )][DBLP]
UML-JMT: A Tool for Evaluating Performance Requirements. [Citation Graph (, )][DBLP]
TV Screen Content Extraction and Recognition Algorithm for the Verification of Digital Television Systems. [Citation Graph (, )][DBLP]
Supporting Customizable Architectural Design Decision Management. [Citation Graph (, )][DBLP]
Process Patterns for Aspect-Oriented Software Development. [Citation Graph (, )][DBLP]
An Application Level Parallelization of Complex Real-Time Software. [Citation Graph (, )][DBLP]
Adapting Engineering Education to Resource-Constrained Middle Schools: Teaching Methodologies and Computing Technologies. [Citation Graph (, )][DBLP]
Measuring and Optimising Convergence and Stability in Terms of System Construction in SystemC. [Citation Graph (, )][DBLP]
An Emulation Solution for the SegBus Platform. [Citation Graph (, )][DBLP]
Towards an Architectural Framework for Agile Software Development. [Citation Graph (, )][DBLP]
The Architectural Evolution of Telecommunications Network Management Systems. [Citation Graph (, )][DBLP]
ECQL: A Query and Action Language for Model-Based Applications. [Citation Graph (, )][DBLP]
Model-Based Testing Using System vs. Test Models - What Is the Difference?. [Citation Graph (, )][DBLP]
3TZ Collaborative Team Environments Incorporating the Hybrid Holonic Architecture. [Citation Graph (, )][DBLP]
Metrics Functions for Kanban Guards. [Citation Graph (, )][DBLP]
A Non-numerical Predictive Model for Asymmetric Analysis. [Citation Graph (, )][DBLP]
Activity and Petri Net Model-to-Model Mapping Using Triple Graph Grammars. [Citation Graph (, )][DBLP]
MATERA - An Integrated Framework for Model-Based Testing. [Citation Graph (, )][DBLP]
Establishing a Service-Oriented Tool Chain for the Development of Domain-Independent MBT Scenarios. [Citation Graph (, )][DBLP]
Formal Modeling and Verifications of Deadlock Prevention Solutions in Web Service Oriented System. [Citation Graph (, )][DBLP]
Model Based Statistical Testing and Durations. [Citation Graph (, )][DBLP]
Improving Testing of Enterprise Systems by Model-Based Testing on Graphical User Interfaces. [Citation Graph (, )][DBLP]
Formalizing MapReduce with CSP. [Citation Graph (, )][DBLP]
Archmeds: An Infrastructure for Dependable Service-Oriented Architectures. [Citation Graph (, )][DBLP]
Component-Based Architecture for e-Gov Web Systems Development. [Citation Graph (, )][DBLP]
Database Descriptors: Laying the Path to Commodity Web Data Services. [Citation Graph (, )][DBLP]
Modeling the Mediated Schema Constraints. [Citation Graph (, )][DBLP]
Visual Tracking Based on 3D Probabilistic Reconstruction. [Citation Graph (, )][DBLP]
Wireless Sensor Networks as a Service. [Citation Graph (, )][DBLP]
High-Level Abstraction Modeling for Detailed Analysis of Avionic Real-Time Systems. [Citation Graph (, )][DBLP]
Simulations within Information Fusion - The Need for Fault Tolerance High Fault Tolerance Degree. [Citation Graph (, )][DBLP]
Evolving Critical Systems: A Research Agenda for Computer-Based Systems. [Citation Graph (, )][DBLP]
|
