662 search results - page 50 / 133 » Model Checking Procedures for Infinite State Systems |
111
Voted
ISW
2005
Springer
15 years 8 months ago
2005
Springer
We present a model-checking algorithm which can be used to evaluate access control policies, and a tool which implements it. The evaluation includes not only assessing whether the ...
120
click to vote
JAR
2008
15 years 2 months ago
2008
We present a simple formulation of Assumption-Commitment reasoning using CSP. In our formulation, an assumption-commitment style property of a process SYS takes the form COM SYS A...
132
Voted
DSN
2004
IEEE
15 years 6 months ago
2004
IEEE
Recent developments in the field of object-based fault tolerance and the advent of the first OMG FTCORBA compliant middleware raise new requirements for the design process of dist...
112
Voted
FORTE
1997
15 years 4 months ago
1997
This paper presents a new approach to the task of passive protocol tracing. The method called FollowSM for the first time meets all requirements of practical in-field use, inclu...
120
Voted
QSIC
2007
IEEE
15 years 9 months ago
2007
IEEE
The advanced electric power grid is a complex real-time system having both Cyber and Physical components. While each component may function correctly, independently, their composi...