1411 search results - page 139 / 283 » Interactive Coding for Interactive Proofs |
HICSS
2002
IEEE
15 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
15 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
15 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...
ASIACRYPT
2000
Springer
15 years 1 months ago
2000
Springer
A conference key protocol allows a group of participants to establish a secret communication (conference) key so that all their communications thereafter are protected by the key. ...
ASM
2008
ASM
15 years 11 hour 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...