556 search results - page 21 / 112 » Checking Interval Properties of Computations |
133
click to vote
CAV
2007
Springer
15 years 8 months ago
2007
Springer
This paper explores the concept of locality in proofs of global safety properties of asynchronously composed, multi-process programs. Model checking on the full state space is ofte...
125
click to vote
FOCS
2000
IEEE
15 years 5 months ago
2000
IEEE
In this paper we consider a quantum computational variant of nondeterminism based on the notion of a quantum proof, which is a quantum state that plays a role similar to a certifi...
119
click to vote
CMSB
2009
Springer
15 years 5 months ago
2009
Springer
Abstract. In systems biology, the number of models of cellular processes increases rapidly, but re-using models in different contexts or for different questions remains a challengi...
119
click to vote
AINA
2004
IEEE
15 years 5 months ago
2004
IEEE
IEEE 802.1x and authentication server based security protocols are mainly used for enhancing security of wireless networks. In this paper, we specify PAP and EAP-MD5 based securit...
114
click to vote
CAV
2004
Springer
15 years 5 months ago
2004
Springer
Model checking algorithms can report a property as being true for reasons that may be considered vacuous. Current algorithms for detecting vacuity require either checking a quadrat...