871 search results - page 9 / 175 » Modular Design of Reactive Systems |
DATE
2005
IEEE
14 years 1 months ago
2005
IEEE
Embedded software design for real time reactive system
ICRA
1995
IEEE
13 years 11 months ago
1995
IEEE
1 - This paper discusses an architecture designed to provide support for the development of state transition models for an object-oriented distributed environment. The state transi...
FMCO
2003
Springer
14 years 28 days ago
2003
Springer
Recently we proposed a mathematical framework offering diverse models of computation and a formal foundation for correct-byconstruction deployment of synchronous designs over dist...
JSS
2006
13 years 7 months ago
2006
Model checking is a powerful automated technique mainly used for the verification of properties of reactive systems. In practice, model checkers are limited due to the state explos...
EDBTW
2006
Springer
13 years 11 months ago
2006
Springer
Reactivity, the ability to detect and react to events, is an essential functionality in many information systems. In particular, Web systems such as online marketplaces, adaptive (...