Sciweavers

1308 search results - page 65 / 262
» Bayesian Algorithmic Mechanism Design
Sort
View
GECON
2008
Springer
152views Business» more  GECON 2008»
15 years 5 months ago
The Power of Preemption in Economic Online Markets
Abstract. In distributed computer networks where resources are under decentralized control, selfish users will generally not work towards one common goal, such as maximizing the o...
Lior Amar, Ahuva Mu'alem, Jochen Stößer
SODA
2008
ACM
109views Algorithms» more  SODA 2008»
15 years 6 months ago
Auctions for structured procurement
This paper considers a general setting for structured procurement and the problem a buyer faces in designing a procurement mechanism to maximize profit. This brings together two a...
Matthew Cary, Abraham D. Flaxman, Jason D. Hartlin...
GI
2001
Springer
15 years 9 months ago
Formal Analysis of a Self-Stabilizing Algorithm Using Predicate Diagrams
We present the verification of a protocol designed to ensure self-stabilization in a ring of processors. The proof is organized as a series of refinements; it is mechanized base...
Dominique Cansell, Dominique Méry, Stephan ...
SIGECOM
2005
ACM
122views ECommerce» more  SIGECOM 2005»
15 years 10 months ago
Multi-unit auctions with budget-constrained bidders
We study a multi-unit auction with multiple bidders, each of whom has a private valuation and a budget. The truthful mechanisms of such an auction are characterized, in the sense ...
Christian Borgs, Jennifer T. Chayes, Nicole Immorl...
COMCOM
1998
52views more  COMCOM 1998»
15 years 4 months ago
Dissemination of state information in distributed autonomous systems
Many researchers are devising algorithms for task placement in distributed systems, but few are designing the necessary mechanisms to provide the information required by those alg...
Steve J. Chapin, Eugene H. Spafford