2004 search results - page 156 / 401 » Comparison of Model Checking Tools for Information Systems |
162
click to vote
CHARME
2005
Springer
15 years 10 months ago
2005
Springer
The application of model-checking tools to complex systems involves a nontrivial step of modelling the system by a finite-state model and a translation of the desired properties i...
160
click to vote
ADVSE
2010
15 years 5 days ago
2010
Abstract. The specification of business processes is becoming a more and more critical aspect for organizations. Such processes are specified as workflow models expressing the logi...
145
click to vote
FORMATS
2006
Springer
15 years 8 months ago
2006
Springer
Current numerical model checkers for stochastic systems can efficiently analyse stochastic models. However, the fact that they are unable to provide debugging information constrain...
145
click to vote
ICPADS
1996
IEEE
15 years 9 months ago
1996
IEEE
The Management of Distributed Applications and Systems (MANDAS) project addresses problems arising in the management of distributed applications. Specifically, we are studying the...
147
click to vote
ECAI
2008
Springer
15 years 6 months ago
2008
Springer
Recent contributions to advancing planning from the classical model to more realistic problems include using temporal logic such as LTL to express desired properties of a solution ...