Search
Now showing items 1-2 of 2
Specification Faithfulness in Networks with Rational Nodes
(Association for Computing Machinery, 2004)
It is useful to prove that an implementation correctly follows a specification. But even with a provably correct implementation, given a choice, would a node choose to follow it? This paper explores how to create distributed ...
Online Auctions for Bidders with Interdependent Values
(Association for Computing Machinery, 2007)
Interdependent values (IDV) is a valuation model allowing bidders in an auction to express their value for the item(s) to sell as a function of the other bidders' information. We investigate the incentive compatibility ...