1972 search results - page 82 / 395 » The Timed Asynchronous Distributed System Model |
116
click to vote
CVPR
2007
IEEE
16 years 4 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...
103
click to vote
ESOP
2007
Springer
15 years 8 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...
85
Voted
AROBOTS
2000
15 years 2 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...
105
Voted
FOSSACS
2010
Springer
15 years 9 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...
140
Voted
EMSOFT
2007
Springer
15 years 8 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...