Sciweavers

9821 search results - page 207 / 1965
» A Framework for the Development of Protocols
Sort
View
ATAL
2009
Springer
16 years 1 months ago
Evaluating dynamic protocols for open agent systems
We present a software system for evaluating ‘dynamic’ protocol specifications for open multi-agent systems, that is, specifications that are developed at design-time but may...
Michael Apostolou, Alexander Artikis
MASA
2001
Springer
15 years 11 months ago
Formal Conversations for the Contract Net Protocol
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...
Roberto A. Flores, Robert C. Kremer
WAC
2005
Springer
118views Communications» more  WAC 2005»
16 years 4 days ago
Experiments on the Automatic Evolution of Protocols Using Genetic Programming
Truly autonomic networks ultimately require self-modifying, evolving protocol software. Otherwise humans must intervene in every situation that has not been anticipated at design t...
Lidia Yamamoto, Christian F. Tschudin
ISW
2001
Springer
15 years 11 months ago
Suitability of a Classical Analysis Method for E-commerce Protocols
We present the adaptation of our model for the validation of key distribution and authentication protocols to address specific needs of protocols for electronic commerce. The two ...
Sigrid Gürgens, Javier Lopez
WETICE
2000
IEEE
15 years 11 months ago
Commitment-Based Enhancement of E-Commerce Protocols
Protocols represent the allowed interactions among communicating components. Protocols are essential in electronic commerce to constrain the behaviors of autonomous entities. Trad...
Pinar Yolum, Munindar P. Singh