401 search results - page 36 / 81 » Formal Analysis of Meeting Protocols |
CNSR
2006
IEEE
14 years 4 months ago
2006
IEEE
Network protocol performance and evaluation study is often carried out using a couple of widely used simulation toolkits, such as ns-2 and OPNET. These toolkits usually contain ma...
COMPSAC
2009
IEEE
14 years 5 months ago
2009
IEEE
As computing technology becomes increasingly pervasive and interconnected, mobility leads to shorter-lasting relationships between end-points with many different security requirem...
MSWIM
2006
ACM
14 years 4 months ago
2006
ACM
In this paper, we define a model of an ad hoc routing protocol, i.e. the OLSR (Optimized Link-State Routing) protocol. This model handles novel constraints related to such networ...
AAMAS
2007
Springer
13 years 11 months ago
2007
Springer
Abstract. Multiagent cooperative negotiation is a promising technique for modeling and controlling complex systems. Effective and flexible cooperative negotiations are especially...
ATAL
2004
Springer
14 years 4 months ago
2004
Springer
This paper discusses the strengths and weaknesses of non-monotonic-offers in alternating-offer bargaining protocol. It is commonly assumed that bargainers submit monotonic offers ...