1525 search results - page 126 / 305 » Formal Models for Communication-Based Design |
107
click to vote
MODELS
2009
Springer
15 years 9 months ago
2009
Springer
The second ACES-MB workshop brought together researchers and practitioners interested in model-based software engineering for realtime embedded systems, with a particular focus on ...
136
click to vote
TCBB
2008
15 years 2 months ago
2008
The last several decades have witnessed a vast accumulation of biological data and data analysis. Many of these data sets represent only a small fraction of the system's behav...
ECBS
2005
IEEE
15 years 8 months ago
2005
IEEE
The fulfillment of time requirements is one of the major acceptance criteria of safety-critical and real-time systems. They are dictated by the environment of these systems and a...
130
click to vote
GMP
2000
IEEE
15 years 7 months ago
2000
IEEE
This paper is concerned with “open kernel” geometric modelling systems. It uses industrial needs to identify requirements for the geometric objects of a proposed interface. Th...
113
click to vote
DAC
2010
ACM
15 years 6 months ago
2010
ACM
Coverage is a means to quantify the quality of a system specification, and is frequently applied to assess progress in system validation. Coverage is a standard measure in testin...