Sciweavers

1186 search results - page 69 / 238
» Goal-Oriented Interaction Protocols
Sort
View
ATAL
2005
Springer
14 years 3 months ago
Formalization of a voting protocol for virtual organizations
A voting protocol for decision-making in virtual organizations is presented. In an agent-based virtual organization the functions of formation, management and dissolution of the o...
Jeremy V. Pitt, Lloyd Kamara, Marek J. Sergot, Ale...
ICMCS
1999
IEEE
89views Multimedia» more  ICMCS 1999»
14 years 2 months ago
A Lightweight Protocol for Interconnecting Heterogeneous Devices in Dynamic Environments
In the near future people will be able to move freely and still have seamless network and Internet connectivity. One implication of this new style of interaction is an increased d...
Kevin C. Almeroth, Katia Obraczka, Dante DeLucia
WICSA
2008
13 years 11 months ago
A Pattern-Based Approach to Development of Service Mediators for Protocol Mediation
Service composition is one of the key objectives for adopting Service Oriented Architecture. Today, web services, however, are not always perfectly compatible and composition mism...
Xitong Li, Yushun Fan, Jian Wang, Li Wang, Feng Ji...
SP
2008
IEEE
132views Security Privacy» more  SP 2008»
13 years 8 months ago
Zero-Knowledge in the Applied Pi-calculus and Automated Verification of the Direct Anonymous Attestation Protocol
e an abstraction of zero-knowledge protocols that is le to a fully mechanized analysis. The abstraction is formalized within the applied pi-calculus using a novel equational theor...
Michael Backes, Matteo Maffei, Dominique Unruh
ICC
2007
IEEE
149views Communications» more  ICC 2007»
14 years 4 months ago
Channel Delay Impact on CCSDS File Delivery Protocol (CFDP) over Space Communications Links
—A substantially long round trip time (RTT) in space channel hurts TCP interactions between the sending and receiving ends. The Consultative Committee for Space Data Systems (CCS...
Ruhai Wang, Bidhya L. Shrestha, Xiaoli Ma