401 search results - page 53 / 81 » Formal Analysis of Meeting Protocols |
ARGMAS
2007
Springer
14 years 2 months ago
2007
Springer
Interest-based negotiation (IBN) is a form of negotiation in which agents exchange information about their underlying goals, with a view to improving the likelihood and quality of ...
SFM
2011
Springer
13 years 1 months ago
2011
Springer
The heterogeneity characterizing the systems populating the Ubiquitous Computing environment prevents their seamless interoperability. Heterogeneous protocols may be willing to coo...
IANDC
2008
13 years 10 months ago
2008
A multi-party contract signing protocol allows a set of participants to exchange messages with each other with a view to arriving in a state in which each of them has a pre-agreed...
DGO
2008
14 years 4 days ago
2008
In this paper we outline an approach for modeling election processes and then performing rigorous analysis to verify that these process models meet selected behavioral requirement...
IWCMC
2010
ACM
14 years 3 months ago
2010
ACM
Wireless ad hoc networks consist of hundreds to thousands of mobile nodes that are powered by batteries. To prolong the network operational time, energy conservation in such netwo...