662 search results - page 64 / 133 » Model Checking Procedures for Infinite State Systems |
121
click to vote
PTS
2007
15 years 4 months ago
2007
Extended Finite State Machine (EFSM)-based passive fault detection involves modeling the system under test (SUT) as an EFSM M, monitoring the input/output behaviors of the SUT, and...
117
click to vote
FAC
2008
15 years 3 months ago
2008
Abstract. A fundamental method of analyzing a system such as a program or a circuit is invariance analysis, in which one proves that an assertion holds on all reachable states. Typ...
131
click to vote
CCS
2007
ACM
15 years 9 months ago
2007
ACM
In this paper, we study the maintenance of role-based access control (RBAC) models in database environments using transitive closure relations. In particular, the algorithms that ...
140
click to vote
DALT
2004
Springer
15 years 6 months ago
2004
Springer
Systems of autonomous agents providing automated services over the Web are fast becoming a reality. Often these agent systems are constructed using procedural architectures that pr...
126
click to vote
CONCUR
2000
Springer
15 years 7 months ago
2000
Springer
Model checking based on the causal partial order semantics of Petri nets is an approach widely applied to cope with the state space explosion problem. One of the ways to exploit su...