Sciweavers

9821 search results - page 212 / 1965
» A Framework for the Development of Protocols
Sort
View
AAMAS
2007
Springer
15 years 6 months ago
An algebra for commitment protocols
Protocols enable unambiguous, smooth interactions among agents. Commitments among agents are a powerful means of developing protocols. Commitments enable flexible execution of pro...
Ashok U. Mallya, Munindar P. Singh
IJNSEC
2008
190views more  IJNSEC 2008»
15 years 6 months ago
Probabilistic Analysis and Verification of the ASW Protocol using PRISM
The ASW protocol is one of the prominent optimistic fair exchange protocols that is used for contract signing between two participants, the originator and the responder, with the ...
Salekul Islam, Mohammad Abu Zaid
ECOOP
2011
Springer
14 years 6 months ago
An Empirical Study of Object Protocols in the Wild
Abstract. An active area of research in computer science is the prevention of violations of object protocols, i.e., restrictions on temporal orderings of method calls on an object....
Nels E. Beckman, Duri Kim, Jonathan Aldrich
144
Voted
LCN
2006
IEEE
16 years 20 days ago
An Interior Path Vector Routing Protocol
Today’s intra-domain protocols are limited in their scalability. We examine these limitations and propose an alternative in the form of an IGP based on path vectors. Taking adva...
Conor Creagh, Cormac J. Sreenan
HPN
1998
15 years 8 months ago
A Dynamic Sender-Initiated Reservation Protocol for the Internet
In this paper we discuss the need for resource reservation in the Internet and examine some of the strengths and weaknesses of RSVP, which is currently the most popular of Interne...
Paul Patrick White, Jon Crowcroft