6308 search results - page 13 / 1262 » Modeling Urgency in Timed Systems |
119
click to vote
PRDC
2006
IEEE
15 years 10 months ago
2006
IEEE
The finite average response time model is a very weak distributed systems model: it permits runs with unbounded transmission and processing delays and it does not bound the relat...
142
click to vote
HYBRID
2004
Springer
15 years 9 months ago
2004
Springer
In this paper, we introduce a parametric semantics for timed controllers called the Almost ASAP semantics. This semantics is a relaxation of the usual ASAP3 semantics (also called ...
145
click to vote
ICPADS
1998
IEEE
15 years 8 months ago
1998
IEEE
This paper presents a new conceptual model, the XBWModel. Distributed computing is becoming a cost effective way to implement safety critical control systems. To support the devel...
