22 search results - page 4 / 5 » The CIP Method: Component- and Model-Based Construction of E... |
WOSP
2004
ACM
2004
ACM
Early-stage performance modeling and its application for integrated embedded control software design
13 years 10 months ago
Most of current embedded control software (ECSW) development techniques deal only with performance specifications during the early software design phase and delay the modeling and...
SAC
2003
ACM
13 years 10 months ago
2003
ACM
Networked embedded systems such as wireless sensor networks are usually designed to be event-driven so that they are reactive and power efficient. Programming embedded systems wit...
ICSEA
2006
IEEE
13 years 11 months ago
2006
IEEE
The construction and maintenance of large and complex software systems depend on the existence of global principles describing the structure and the interaction among its various ...
CONCUR
2000
Springer
13 years 9 months ago
2000
Springer
We describe a general model for embedding object-oriented constructs into calculi of mobile agents. The model results from extending agents with methods and primitives for message ...
HYBRID
1994
Springer
13 years 9 months ago
1994
Springer
This paper presents algorithms for the symbolic synthesis of discrete and real-time controllers. At the semantic level the controller is synthesized by nding a winning strategy for...