470 search results - page 37 / 94 » A Component and Communication Model for Push Systems |
130
click to vote
RTAS
2007
IEEE
15 years 10 months ago
2007
IEEE
Discrete-event (DE) models are formal system specifications that have analyzable deterministic behaviors. Using a global, consistent notion of time, DE components communicate via...
141
click to vote
CSMR
2007
IEEE
15 years 10 months ago
2007
IEEE
Evolving software-intensive systems from one consistent state to another is a challenging activity due to the intricate inter-dependencies among the components. In this paper, we ...
134
click to vote
ICW
2005
IEEE
15 years 9 months ago
2005
IEEE
Reconfiguration and self-adaptation are vital capabilities of sensor networks and networked embedded systems that are required to operate in dynamic environments. This paper prese...
143
click to vote
SAC
2005
ACM
15 years 9 months ago
2005
ACM
KLAIM is an experimental language designed for modeling and programming distributed systems composed of mobile components where distribution awareness and dynamic system architect...
137
click to vote
CODES
1999
IEEE
15 years 8 months ago
1999
IEEE
We propose a system synthesis method which bridges the gap between a highly abstract functional model and an efficient hardware or software implementation. The functional model is...