27 search results - page 6 / 6 » iandc 2007 |
104
click to vote
IANDC
2007
14 years 12 months ago
2007
We present a model, task automata, for real time systems with non-uniformly recurring computation tasks. It is an extended version of timed automata with asynchronous processes th...
116
click to vote
IANDC
2007
14 years 12 months ago
2007
We define reactive simulatability for general asynchronous systems. Roughly, simulatability means that a real system implements an ideal system (specification) in a way that pre...