194 search results - page 2 / 39 » Composing heterogeneous reactive systems |
EEMMAS
2007
Springer
13 years 11 months ago
2007
Springer
A web site presents a graph–like spatial structure composed of pages connected by hyperlinks. This structure may represent an environment in which situated agents associated to v...
RTSS
2007
IEEE
13 years 11 months ago
2007
IEEE
We present a performance analysis technique for distributed real-time systems in a setting where certain components are modeled in a purely functional manner, while the remainin...
EMSOFT
2003
Springer
13 years 10 months ago
2003
Springer
Abstract. We propose a mathematical framework to deal with the composition of heterogeneous reactive systems. Our theory allows to establish theorems, from which design techniques ...
MAM
2006
13 years 5 months ago
2006
Embedded systems are typically heterogeneous requiring interacting hardware and software components, are locally synchronous while being globally asynchronous and combine both con...
FMCO
2003
Springer
13 years 10 months 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...