1502 search results - page 5 / 301 » Computational Realizations of Living Systems |
CSREASAM
2006
13 years 8 months ago
2006
: This paper proposes a technology for realizing a mobile network based on color signals which does not require the time and the space switching matrix for call routing. In absence...
NDSS
2008
IEEE
14 years 1 months ago
2008
IEEE
CAV
2010
Springer
13 years 9 months ago
2010
Springer
Systems ought to behave reasonably even in circumstances that are not anticipated in their specifications. We propose a definition of robustness for liveness specifications which p...
FPL
2007
Springer
14 years 28 days ago
2007
Springer
We introduce a new execution model for orchestrating the interaction between the conventional processor and the reconfigurable compute unit in adaptive computer systems. We then ...
IC3
2009
13 years 4 months ago
2009
Abstract. This paper presents liveness properties that need to be preserved by Event-B models of distributed systems. Event-B is a formal technique for development of models of dis...