670 search results - page 53 / 134 » Real Time Model Checking Using Timed Concurrent State Machin... |
QEST
2007
IEEE
14 years 3 months ago
2007
IEEE
— Probabilistic models are widely used to analyze embedded, networked, and more recently biological systems. Existing numerical analysis techniques are limited to finitestate mo...
WSC
1997
13 years 10 months ago
1997
Effective operational control of a manufacturing system that has routing flexibility is dependent upon being able to make informed real-time decisions in the event of a system dis...
ICC
2007
IEEE
14 years 25 days ago
2007
IEEE
Abstract-- Recovery of traffic in connectionless pure IP networks has traditionally been handled by a full re-convergence of the network state. This process operates in a time scal...
TOOLS
2008
IEEE
14 years 3 months ago
2008
IEEE
Abstract. Many real-time systems use runtime structural reconfiguration mechanisms based on dynamic creation and destruction of components. To support such features, UML-RT provid...
PAPM
2001
Springer
14 years 1 months ago
2001
Springer
Abstract. This paper reports on the implementation and the experiments with symbolic model checking of continuous-time Markov chains using multi-terminal binary decision diagrams (...