6308 search results - page 196 / 1262 » Modeling Urgency in Timed Systems |
138
click to vote
ACTA
2010
15 years 4 months ago
2010
Systems of Data Management Timed Automata (SDMTAs) are networks of communicating timed automata with structures to store messages and functions to manipulate them. We prove the dec...
162
click to vote
FORMATS
2010
Springer
15 years 2 months ago
2010
Springer
This paper considers the model of Time Petri Nets (TPNs) extended with time parameters and its use to perform on-line diagnosis of distributed systems. We propose to base the metho...
173
click to vote
WSC
2007
15 years 6 months ago
2007
Suppose that there are a number of alternative ways of operating a system, and a performance measure is available for comparing them. Simulation runs can be carried out to estimat...
144
click to vote
ICIP
1998
IEEE
16 years 6 months ago
1998
IEEE
Optical flow estimation from image sequences has been for several years a mathematical process carried out by general purpose processors in no real time. In this work a specific a...
184
click to vote
CAV
1994
Springer
15 years 8 months ago
1994
Springer
We introduce event-recording automata. An event-recording automaton is a timed automaton that contains, for every event a, a clock that records the time of the last occurrence of a...