9821 search results - page 19 / 1965 » A Framework for the Development of Protocols |
AGENTS
2000
Springer
13 years 12 months ago
2000
Springer
Conversations involving three or more agents often occur in multi-agent systems, for example in brokering and auction protocols typically used in e-commerce. For developing agents ...
SP
1998
IEEE
13 years 11 months ago
1998
IEEE
A strand is a sequence of events; it represents either the execution of legitimate party in a security protocol or else a sequence of actions by a penetrator. A strand space is a ...
PERCOM
2007
ACM
14 years 7 months ago
2007
ACM
Energy consumption of mobile readers is becoming an important issue as applications of RFID systems pervade different aspects of our lives. Surprisingly, however, these systems ar...
CAISE
2004
Springer
14 years 27 days ago
2004
Springer
Inter-company data interchange within a specific industrial sector is necessarily based on standard document formats, structures, and transmission protocols. In this perspective, t...
AI
2001
Springer
14 years 6 hour ago
2001
Springer
The situation calculus is a logical formalism that has been extensively developed for planning. We apply the formalism in a complex multi-agent domain, modelled on the game of Clue...