3938 search results - page 42 / 788 » Interactive Protocols on the Reals |
ESAS
2004
Springer
14 years 4 months ago
2004
Springer
In this paper we describe the advantages of using iterative Diffie-Hellman (IDH) key trees for mobile ad-hoc group communication. We focus on the Treebased Group Diffie-Hellman (...
AOSE
2004
Springer
14 years 4 months ago
2004
Springer
Abstract. In this paper we introduce an approach for defining semantics for AUML agent interaction protocol diagrams using Petri net code structures. This approach is based on the...
ENTCS
2006
13 years 11 months ago
2006
Temporal logics are well suited for the specification and verification of systems of communicating agents. In this paper we adopt a social approach to agent communication, where c...
MATES
2007
Springer
14 years 5 months ago
2007
Springer
Developing agent applications is a complex and difficult task due to a variety of reasons. One key aspect making multi-agent systems more complicated than traditional applications ...
AOSE
2000
Springer
14 years 3 months ago
2000
Springer
Gaining wide acceptance for the use of agents in industry requires both relating it to the nearest antecedent technology (objectoriented software development) and using artifacts t...