608 search results - page 97 / 122 » Interactive Oracle Proofs |
COCO
2004
Springer
14 years 3 months ago
2004
Springer
This paper investigates the powers and limitations of quantum entanglement in the context of cooperative games of incomplete information. We give several examples of such nonlocal...
HICSS
2002
IEEE
14 years 3 months ago
2002
IEEE
The most apparent proof of changes in the public sector because of modern information and communication technologies are electronic services like general onlineinformation procure...
EKAW
1999
Springer
14 years 2 months ago
1999
Springer
Abstract. In this paper we study dynamic properties of knowledge-based systems. We argue the importance of such dynamic properties for the construction and analysis of knowledge-ba...
FORMATS
2004
Springer
14 years 1 months ago
2004
Springer
Davies and Wakerly show that Byzantine fault tolerance can be achieved by a cascade of broadcasts and middle value select functions. We present an extension of the Davies and Waker...
ASM
2008
ASM
14 years 2 days ago
2008
ASM
As systems become ever more complex, verification becomes more main stream. Event-B and Alloy are two formal specification languages based on fairly different methodologies. While...