5863 search results - page 97 / 1173 » On Model-Checking of P Systems |
117
click to vote
VMCAI
2010
Springer
15 years 10 months ago
2010
Springer
This paper investigates relative precision and optimality of analyses for concurrent probabilistic systems. Aiming at the problem at the heart of probabilistic model checking ? com...
100
Voted
QEST
2008
IEEE
15 years 7 months ago
2008
IEEE
Abstract—We present an approach to support the debugging of stochastic system models using interactive visualization. The goal of this work is to facilitate the identification o...
121
click to vote
GECCO
2007
Springer
15 years 4 months ago
2007
Springer
Model Checking is a well-known and fully automatic technique for checking software properties, usually given as temporal logic formulae on the program variables. Most model checke...
120
click to vote
DFG
2004
Springer
15 years 4 months ago
2004
Springer
Programmable Logic Controllers (PLC) are widespread in the manufacturing and processing industries to realize sequential procedures and to avoid safety-critical states. For the spe...
87
Voted
ICIW
2007
IEEE
15 years 7 months ago
2007
IEEE
— This paper describes the Open P2P tracing system which aims to improve the research community’s understanding of P2P file sharing systems by providing continuous and up-todat...