921 search results - page 7 / 185 » On Interleaving in Timed Automata |
80
Voted
VTC
2006
IEEE
15 years 3 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
15 years 1 months ago
1994
IEEE
FORMATS
2003
Springer
15 years 2 months 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...
86
Voted
FSEN
2009
Springer
15 years 1 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...
71
Voted
FORTE
1990
14 years 10 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, ...