20126 search results - page 11 / 4026 » Timed Transition Systems |
REX
1993
15 years 1 months ago
1993
Abstract. Models for concurrency can be classified with respect to three relevant parameters: behaviour/system, interleaving/noninterleaving, linear/branching time. When modelling...
CONCUR
2012
Springer
13 years 7 hour ago
2012
Springer
Networks of timed automata (NTA) are widely used to model distributed real-time systems. Quite often in the literature, the automata are allowed to share clocks. This is a problem ...
102
click to vote
SIAMAM
2000
14 years 9 months ago
2000
Effects of small perturbations from a liquid-gas coexistence equilibrium (the Maxwell states) is studied for an isothermal (or isentropic) gas-liquid phase transition in a sealed o...
SENSYS
2010
ACM
14 years 7 months ago
2010
ACM
Real-time transit tracking is gaining popularity as a means for transit agencies to improve the rider experience. However, many transit agencies lack either the funding or initiat...
119
click to vote
DAC
2003
ACM
15 years 10 months ago
2003
ACM
To save energy, many power management policies rely on issuing mode-change commands to the components of the system. Efforts to date have focused on how these policies interact wi...