6308 search results - page 1 / 1262 » Modeling Urgency in Timed Systems |
ASIAN
2006
Springer
13 years 8 months ago
2006
Springer
A component-based realtime system is a simple model for the server-client relation with time constraints. This paper presents an efficient algorithm, called a blackbox testing algo...
COMPOS
1997
Springer
13 years 9 months ago
1997
Springer
ENTCS
2002
13 years 4 months ago
2002
Petri nets where, to my knowledge, the first theoretical model augmented with time constraints [Mer74], and the support of the first reachability algorithm of timed system [BM83, ...
FOSSACS
2005
Springer
13 years 10 months ago
2005
Springer
A timed extension of π-calculus with a transaction construct – the calculus webπ – is studied. The underlying model of webπ relies on networks of processes; time proceeds as...
RTCSA
2006
IEEE
13 years 10 months ago
2006
IEEE
To build a “correct” implementation from a model of a concurrent real-time system, it is important to understand the relation between the properties of the model and of its co...