2468 search results - page 48 / 494 » On Model Checking Techniques for Randomized Distributed Syst... |
129
click to vote
EDOC
2000
IEEE
15 years 7 months ago
2000
IEEE
Practical experience indicates that the definition of realworld workflow applications is a complex and error-prone process. Existing workflow management systems provide the means,...
140
click to vote
ECMDAFA
2007
Springer
15 years 9 months ago
2007
Springer
The paper targets the applicability of model-driven methodologies to the validation of complex systems and presents a case study of a mobile radio network. Validation relies on the...
162
click to vote
CONCUR
2006
Springer
15 years 5 months ago
2006
Springer
Propositional temporal logic is not suitable for expressing properties on the evolution of dynamically allocated entities over time. In particular, it is not possible to trace such...
160
click to vote
AB
2007
Springer
15 years 9 months ago
2007
Springer
A series of papers, all under the title of Algorithmic Algebraic Model Checking (AAMC), has sought to combine techniques from algorithmic algebra, model checking and dynamical syst...
134
click to vote
QEST
2007
IEEE
15 years 9 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...