401 search results - page 36 / 81 » Formal Analysis of Meeting Protocols |
158
click to vote
CNSR
2006
IEEE
15 years 11 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...
155
click to vote
COMPSAC
2009
IEEE
16 years 13 days 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...
160
click to vote
MSWIM
2006
ACM
15 years 11 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...
168
click to vote
AAMAS
2007
Springer
15 years 5 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...
137
click to vote
ATAL
2004
Springer
15 years 11 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 ...