98 search results - page 12 / 20 » Quantitative Analysis With the Probabilistic Model Checker P... |
VALUETOOLS
2006
ACM
15 years 3 months ago
2006
ACM
This paper proposes the modeling of technical systems and their behavior by means of Unified Modeling Language (UML) State Machines and the extending UML Profile for Schedulabil...
FMCAD
2004
Springer
15 years 1 months ago
2004
Springer
Abstract. Probabilistic techniques for verification of finite-state transition systems offer huge memory savings over deterministic techniques. The two leading probabilistic scheme...
QEST
2005
IEEE
15 years 3 months ago
2005
IEEE
We consider bisimulation and weak bisimulation relations in the context of the Labeled Markov Chains of Hansson and Jonsson, the Concurrent Labeled Markov Chains of Philippou, Lee...
CORR
2011
Springer
14 years 4 months ago
2011
Springer
— A new standpoint on financial time series, without the use of any mathematical model and of probabilistic tools, yields not only a rigorous approach of trends and volatility, ...
SSS
2009
Springer
15 years 2 months ago
2009
Springer
Self-stabilization is an elegant way of realizing non-masking fault-tolerant systems. Sustained research over last decades has produced multiple self-stabilizing algorithms for man...