936 search results - page 114 / 188 » FSM-Hume is finite state |
CONCUR
2010
Springer
13 years 10 months ago
2010
Springer
We are concerned with the availability of systems, defined as the ratio between time of correct functioning and uptime. We propose to model guaranteed availability in terms of regu...
FMSD
2008
13 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...
CORR
2006
Springer
13 years 9 months ago
2006
Springer
We are interested in verifying dynamic properties of finite state reactive systems under fairness assumptions by model checking. The systems we want to verify are specified throug...
CORR
2006
Springer
13 years 9 months ago
2006
Springer
A multiple antenna broadcast channel with perfect channel state information at the receivers is considered. If each receiver quantizes its channel knowledge to a finite number of b...
SCHOLARPEDIA
2008
13 years 8 months ago
2008
We consider an ergodic process on finitely many states, with positive entropy. Our first main result asserts that the distribution function of the normalized waiting time for the f...