1202 search results - page 15 / 241 » Sortings for Reactive Systems |
DATE
2006
IEEE
15 years 5 months ago
2006
IEEE
Modeling systems based on semi-formal graphical formalisms, such as Statecharts, has become standard practice in the design of reactive embedded devices. However, the modeling of ...
FSTTCS
1998
Springer
15 years 3 months ago
1998
Springer
Abstract. Synchronous languages are well suited for the design of dependable real-time systems: they enable a very high-level specification and an extremely modular implementation ...
128
click to vote
ECBS
2000
IEEE
15 years 3 months ago
2000
IEEE
In this paper we focus on the architecture-based development of what we call directly reactive information systems on the Internet. These systems exhibit full content management o...
EMSOFT
2004
Springer
15 years 4 months ago
2004
Springer
We present an extension of a mathematical framework proposed by the authors to deal with the composition of heterogeneous reactive systems. Our extended framework encompasses dive...
SEFM
2006
IEEE
15 years 5 months ago
2006
IEEE
We present an operational model for describing random reactive systems. Some models have already been proposed for this purpose, but they generally aim at performing global reason...