4305 search results - page 478 / 861 » Analysing Protocol Implementations |
154
click to vote
STOC
1998
ACM
15 years 11 months ago
1998
ACM
A commitment protocol is a fundamental cryptographic primitive used as a basic buildingblock throughoutmodern cryptography. In STOC 1991, Dolev Dwork and Naor showed that in many ...
184
click to vote
ERCIMDL
1998
Springer
15 years 11 months ago
1998
Springer
Abstract. An expert system Web interface to online catalogs called EReferencer is being developed. An initial prototype has been implemented. The interface has a repertoire of init...
184
click to vote
AINA
2004
IEEE
15 years 10 months ago
2004
IEEE
OpenH323 is an open source H.323 implementation that has been ported to IPv6. In this paper we briefly introduce the library architecture and the performance citeria with which th...
190
click to vote
FM
2006
Springer
15 years 10 months ago
2006
Springer
Abstract. Circus is a combination of Z and CSP that supports the development of state-rich reactive systems based on refinement. In this paper we present JCircus, a tool that autom...
169
click to vote
CODES
2001
IEEE
15 years 10 months ago
2001
IEEE
This paper presents a practical approach to communication synthesis for hardware/software system specified as tasks communicating through lossless blocking channels. It relies on ...