2661 search results - page 90 / 533 » Model Checking Performability Properties |
135
click to vote
WOSP
2005
ACM
15 years 8 months ago
2005
ACM
In order to effectively validate the performance of software systems throughout their development cycle it is necessary to continuously build performance models from software mod...
123
click to vote
SPIN
2001
Springer
15 years 6 months ago
2001
Springer
Abstract. In this paper we propose a distributed algorithm for modelchecking LTL. In particular, we explore the possibility of performing nested depth-first search algorithm in di...
122
click to vote
FMCAD
2000
Springer
15 years 6 months ago
2000
Springer
Abstract. Since the advent of model checking it is becoming more common for languages to be given a semantics in terms of transition systems. Such semantics allow to model check pr...
140
click to vote
ISER
1991
Springer
15 years 6 months ago
1991
Springer
Detailed knowledge of actuator properties is a prerequisite for advanced manipulator design and control. This paper deals with the experimental identification and modelling of the...
119
Voted
ISORC
2005
IEEE
15 years 8 months ago
2005
IEEE
Web Services emerge as a new paradigm for distributed computing. Model checking is an important verification method to ensure the trustworthiness of composite WS. abstraction and...