307 search results - page 45 / 62 » Formalizing Communication Protocols for Multiagent Systems |
ATAL
2005
Springer
15 years 3 months ago
2005
Springer
This paper is concerned with argumentation-based dialogues between agents. Much work in this area has been based upon an influential taxonomy of dialogue types developed by Walto...
WEBI
2005
Springer
15 years 3 months ago
2005
Springer
In open environments like the Web, and open Multiagent and Peer2Peer systems, consent among the autonomous, self-interested knowledge sources and users very often cannot be establ...
111
Voted
CCS
2008
ACM
15 years 4 days ago
2008
ACM
In wireless systems, neighbor discovery (ND) is a fundamental building block: determining which devices are within direct radio communication is an enabler for networking protocol...
SEFM
2005
IEEE
15 years 3 months ago
2005
IEEE
The development of test cases is an important issue for testing software, communication protocols and other reactive systems. A number of methods are known for the development of ...
ACTA
2005
14 years 10 months ago
2005
Extending the pi calculus with the session types proposed by Honda et al. allows high-level specifications of structured patterns of communication, such as client-server protocols,...