1972 search results - page 82 / 395 » The Timed Asynchronous Distributed System Model |
CVPR
2007
IEEE
14 years 11 months ago
2007
IEEE
We propose a cord distance in the space of dynamical models that takes into account their dynamics, including transients, output maps and input distributions. In data analysis app...
ESOP
2007
Springer
14 years 3 months ago
2007
Springer
Abstract We present the semantics and proof system for an objectoriented language with active objects, asynchronous method calls, and futures. The language, based on Creol, disting...
AROBOTS
2000
13 years 9 months ago
2000
A new means of action selection via utility fusion is introduced as an alternative to both sensor fusion and command fusion. Distributed asynchronous behaviors indicate the utility...
FOSSACS
2010
Springer
14 years 3 months ago
2010
Springer
The paper considers the complexity of verifying that a finite state system satisfies a number of definitions of information flow security. The systems model considered is one i...
EMSOFT
2007
Springer
14 years 3 months ago
2007
Springer
Key challenges in the performance estimation of distributed real-time embedded (DRE) systems include the systematic measurement of coverage by simulations, and the automated gener...