45 search results - page 4 / 9 » Action Transducers and Timed Automata |
FMSD
2008
14 years 9 months ago
2008
Timed automata are governed by an idealized semantics that assumes a perfectly precise behavior of the clocks. The traditional semantics is not robust because the slightest perturb...
CONCUR
2007
Springer
15 years 3 months 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...
104
click to vote
HCW
1999
IEEE
15 years 1 months ago
1999
IEEE
A framework for task assignment in heterogeneous computing systems is presented in this work. The framework is based on a learning automata model. The proposed model can be used f...
CIMCA
2005
IEEE
15 years 3 months ago
2005
IEEE
—The paper deals with the partial automation of cars for safety purposes. We have tried to automate the car to prevent the danger (obstacles around the car) in the best possible ...
IDA
2010
Springer
14 years 11 months ago
2010
Springer
We present a data mining approach to model the cooling infrastructure in data centers, particularly the chiller ensemble. These infrastructures are poorly understood due to the lac...