1833 search results - page 11 / 367 » Mechanized Verification with Sharing |
ESA
2010
Springer
13 years 12 months ago
2010
Springer
Abstract. We study the problem of designing group-strategyproof costsharing mechanisms. The players report their bids for getting serviced and the mechanism decides a set of player...
CRIWG
2004
14 years 8 days ago
2004
Awareness is an essential requirement in collaborative activities. This paper presents Ariane, a generic and reusable awareness infrastructure, independent of a specific applicatio...
AINA
2007
IEEE
14 years 5 months ago
2007
IEEE
Epidemic protocols such as gossip have proven to have many desirable properties for information sharing. However, trust is one of the issues that is yet to be examined with respec...
ICC
2008
IEEE
14 years 5 months ago
2008
IEEE
—Dynamic spectrum access has become a promising approach that can coordinate different users’ access to adapt to spectrum dynamics to improve spectrum efficiency. However, use...
SIGECOM
2005
ACM
14 years 4 months ago
2005
ACM
In this paper we formulate the fixed budget resource allocation game to understand the performance of a distributed marketbased resource allocation system. Multiple users decide ...