662 search results - page 37 / 133 » Model Checking Procedures for Infinite State Systems |
112
click to vote
WSC
1998
15 years 3 months ago
1998
In this paper, we address the complex task of initializing an on-line simulation to a current system state collected from an operating physical system. The paper begins by discuss...
121
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,...
138
click to vote
ATAL
2010
Springer
15 years 3 months ago
2010
Springer
We present a method of distributed model checking of multiagent systems specified by a branching-time temporal-epistemic logic. We introduce a serial algorithm, central to the dis...
152
Voted
CSFW
2012
IEEE
13 years 5 months ago
2012
IEEE
—Role-based Access Control (RBAC) is one of the most widespread security mechanisms in use today. Given the growing complexity of policy languages and access control systems, ver...
201
Voted
FMOODS
2008
15 years 4 months ago
2008
In this work, novel symbolic step encodings of the transition relation for object based communicating state machines are presented. This class of systems is tailored to capture the...