110 search results - page 1 / 22 » Heterogeneous Reactive Systems Modeling and Correct-by-Const... |
EMSOFT
2003
Springer
13 years 9 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 ...
EMSOFT
2004
Springer
13 years 9 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...
FMCO
2003
Springer
13 years 9 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...
TECS
2008
13 years 4 months ago
2008
elationships between heterogeneous models at different levels of abstraction. In particular, they can be used to represent design transformations from tightly synchronized specific...
EEMMAS
2007
Springer
13 years 10 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...