4305 search results - page 132 / 861 » Analysing Protocol Implementations |
SRDS
2003
IEEE
14 years 2 months ago
2003
IEEE
The paper presents and compares Appia and Cactus, two frameworks for protocol composition. The comparison is based on the experience gained in implementing a faulttolerant Atomic ...
MASA
2001
Springer
14 years 1 months ago
2001
Springer
In this paper we present a fairly complex example of how the social model for agent conversations based on social commitments we have developed in the past formally supports the im...
ACSAC
1998
IEEE
14 years 1 months ago
1998
IEEE
Protocols to facilitate secure electronic delivery are necessary if the Internet is to achieve its true potential as a business communications tool. We present a protocol for secu...
CCR
2005
13 years 9 months ago
2005
-- A protocol that supports the sharing of resources that exist in different packet switching networks is presented. The protocol provides for variation in individual network packe...
ISCAPDCS
2004
13 years 10 months ago
2004
This paper presents a new protocol for ensuring sequential consistency in a distributed objects system. The protocol is efficient and simple. In addition to providing a high-level...