921 search results - page 7 / 185 » On Interleaving in Timed Automata |
VTC
2006
IEEE
14 years 1 months ago
2006
IEEE
When adapting the transmitter to the channel state information (CSI), improved transmission is possible compared to the open loop system where no CSI is provided at the transmitte...
ISCAS
1994
IEEE
13 years 11 months ago
1994
IEEE
FORMATS
2003
Springer
14 years 18 days ago
2003
Springer
In this paper we report some progress in applying timed automata technology to large-scale problems. We focus on the problem of finding maximal stabilization time for combinationa...
FSEN
2009
Springer
13 years 11 months ago
2009
Springer
This note aims at providing a concise and precise Travellers Guide, Phrase Book or Reference Manual to the timed automata modeling formalism introduced by Alur and Dill [7, 8]. The...
FORTE
1990
13 years 8 months ago
1990
A prototype Basic LOTOS interpreter, augmented for modelling real-time systems, is described. Primitive actions are treated as time-consuming, with separate start and end points, ...