8190 search results - page 359 / 1638 » From Timed to Hybrid Systems |
164
click to vote
FSEN
2007
Springer
16 years 1 months ago
2007
Springer
Abstract. During the last years, timed automata have become a popular model for describing the behaviour of real-time systems. In particular, there has been much research on proble...
165
click to vote
SIGMETRICS
2002
ACM
15 years 6 months ago
2002
ACM
Probability distributions of response times are important in the design and analysis of transaction processing systems and computercommunication systems. We present a general tech...
196
click to vote
JMLR
2010
15 years 1 months ago
2010
A continuous time Bayesian network (CTBN) uses a structured representation to describe a dynamic system with a finite number of states which evolves in continuous time. Exact infe...
186
click to vote
B
2007
Springer
16 years 1 months ago
2007
Springer
Distributed applications are based on algorithms which should be able to deal with time constraints. It is mandatory to express time constraints in (mathematical) models and the cu...
167
click to vote
FORMATS
2003
Springer
16 years 1 days ago
2003
Springer
We present a process algebra suitable to the modelling of timed concurrent systems and to their efficient verification through model checking. The algebra is provided with two con...