6308 search results - page 252 / 1262 » Modeling Urgency in Timed Systems |
161
click to vote
CONCUR
2007
Springer
16 years 22 days ago
2007
Springer
Abstract. We propose a new model for timed games, based on concurrent game structures (CGSs). Compared to the classical timed game automata of Asarin et al. [8], our timed CGSs are...
171
click to vote
BMAS
2000
IEEE
15 years 11 months ago
2000
IEEE
Analog simulators typically use a dynamic, adaptive time step control strategy in order to minimize the calculations performed during inactive portions of a system’s operation, ...
185
click to vote
DATE
2010
IEEE
15 years 11 months ago
2010
IEEE
This paper addresses the problem of stochastic task execution time estimation agnostic to the process distributions. The proposed method is orthogonal to the application structure ...
214
click to vote
ADAEUROPE
2005
Springer
16 years 3 days ago
2005
Springer
This paper describes the methodology used to add nonintrusive system-level fault tolerance to an electronic throttle controller. The original model of the throttle controller is a...
284
click to vote
ICDE
2003
IEEE
16 years 8 months ago
2003
IEEE
We are interested in capturing time series generated by small wireless electronic sensors. Battery-operated sensors must avoid heavy use of their wireless radio which is a key cau...