1399 search results - page 61 / 280 » A Component Model for Control-Intensive Distributed Embedded... |
96
Voted
ECRTS
1999
IEEE
15 years 6 months ago
1999
IEEE
Safety-critical systems typically operate in unpredictable environments. Requirements for safety and reliability are in conflict with those for real-time responsiveness. Due to un...
120
Voted
SIGOPSE
1998
ACM
15 years 6 months ago
1998
ACM
MMLite is a modular system architecture that is suitable for a wide variety of hardware and applications. The system provides a selection of object-based components that are dynam...
155
click to vote
EEF
2000
15 years 5 months ago
2000
Both the logic and the stochastic analysis of discrete-state systems are hindered by the combinatorial growth of the state space underlying a high-level model. In this work, we con...
172
Voted
GG
2010
Springer
15 years 3 months ago
2010
Springer
Model-driven development (MDD) has become a promising trend in software engineering. The model-driven development of highly complex software systems may lead to large models which ...
108
Voted
IPPS
2000
IEEE
15 years 6 months ago
2000
IEEE
This paper describes a framework for parametric analysis of real-time systems based on process algebra. The Algebra of Communicating Shared Resources ACSR has been extended to AC...