3729 search results - page 149 / 746 » On Formal Modeling of Agent Computations |
168
click to vote
ECAI
2006
Springer
15 years 10 months ago
2006
Springer
Minimal change is a fundamental principle for modeling system dynamics. In this paper, we study the issue of minimal change for Computational Tree Logic (CTL) model update. We firs...
152
click to vote
SP
2009
IEEE
16 years 1 months ago
2009
IEEE
We present two machine-checked proofs of the existential unforgeability under adaptive chosen-message attacks of the Full Domain Hash signature scheme. These proofs formalize the ...
153
click to vote
FSEN
2007
Springer
16 years 17 days ago
2007
Springer
Abstract. A communication protocol consists of a sequence of messages used by peer entities to communicate. Each entity in a network is equipped by at least one protocol stack. Due...
174
click to vote
ISOLA
2004
Springer
15 years 11 months ago
2004
Springer
Abstract. This paper presents a formal analysis of the device discovery phase of the Bluetooth wireless communication protocol. The performance of this process is the result of a c...
193
click to vote
ECAI
2006
Springer
15 years 10 months ago
2006
Springer
Abstract. Clinical guidelines are important means to improve quality of health care while limiting cost and supporting the medical staff. They are written as free text with tables ...