4595 search results - page 394 / 919 » Reasoning about Plans |
179
click to vote
LICS
2002
IEEE
16 years 16 days ago
2002
IEEE
This paper is about combining nondeterminism and probabilities. We study this phenomenon from a domain theoretic point of view. In domain theory, nondeterminism is modeled using t...
236
click to vote
ATAL
2001
Springer
16 years 4 days ago
2001
Springer
We develop an approach in which we model communication protocols via commitment machines. Commitment machines supply a content to protocol states and actions in terms of the social...
221
click to vote
UML
2001
Springer
16 years 1 days ago
2001
Springer
: This paper introduces the Calculating with Concepts (CC) technique, which has been developed to improve the precision of UML class diagrams and allows the formal reasoning based ...
193
click to vote
TPHOL
2000
IEEE
16 years 6 hour ago
2000
IEEE
We provide a proof using HOL and SPIN of convergence for the Routing Information Protocol (RIP), an internet protocol based on distance vector routing. We also calculate a sharp re...
200
click to vote
CADE
2000
Springer
15 years 12 months ago
2000
Springer
Abstract. Proof-carrying code and other applications in computer security require machine-checkable proofs of properties of machine-language programs. These in turn require axioms ...