422 search results - page 74 / 85 » Model Checking TLA Specifications |
118
click to vote
FC
2010
Springer
15 years 5 months ago
2010
Springer
Abstract. Starting from algebraic properties that enable guessing lowentropy secrets, we formalize guessing rules for symbolic verification. The rules are suited for both off-line ...
143
click to vote
ECLIPSE
2005
ACM
15 years 3 months ago
2005
ACM
In this paper we detail the design and implementation of an Eclipse plug-in for an integrated, model-based approach, to the engineering of web service compositions. The plug-in al...
137
Voted
JACM
2002
15 years 1 months ago
2002
We show how to use an interactive theorem prover, HOL, together with a model checker, SPIN, to prove key properties of distance vector routing protocols. We do three case studies: ...
147
Voted
CSCW
1998
ACM
15 years 6 months ago
1998
ACM
Collaborative filtering systems help address information overload by using the opinions of users in a community to make personal recommendations for documents to each user. Many c...
89
Voted
FAST
2008
15 years 4 months ago
2008
RAID storage systems protect data from storage errors, such as data corruption, using a set of one or more integrity techniques, such as checksums. The exact protection offered by...