4962 search results - page 206 / 993 » Stochastic Model Checking |
QEST
2007
IEEE
14 years 3 months ago
2007
IEEE
JALC
2006
13 years 9 months ago
2006
Membrane computing is a branch of molecular computing that aims to develop models and paradigms that are biologically motivated. It identifies an unconventional computing model, n...
CSAC
2006
13 years 11 months ago
2006
Abstract. Web services constitute a dynamic field of research about technologies of the Internet. WS-BPEL 2.0, is in the way for becoming a standard for defining Web services orche...
CAV
1997
Springer
14 years 1 months ago
1997
Springer
We demonstrate the feasibility of using the XSB tabled logic programming system as a programmable fixed-point engine for implementing efficient local model checkers. In particular,...
FORMATS
2003
Springer
14 years 2 months ago
2003
Springer
Abstract. This paper presents a model-checking approach for analyzing discrete-time Markov reward models. For this purpose, the temporal logic probabilistic CTL is extended with re...