28962 search results - page 19 / 5793 » Computational Mechanism Design |
WIMOB
2008
IEEE
14 years 1 months ago
2008
IEEE
—To avoid the single point of failure for the certificate authority (CA) in MANET, a decentralized solution is proposed where nodes are grouped into different clusters. Each clu...
Presentation
Presented at First Electrical Science Divisional Symposium, Indian Institute of Science.
This is joint work with Prof David Parkes, Harvard University.
FCSC
2007
13 years 6 months ago
2007
The aim of mathematics mechanization is to develop symbolic algorithms for manipulating mathematical objects, proving and discovering theorems in a mechanical way. This paper gives...
Publication
Some Issues in Auctions with Manipulative Players
CONEXT
2005
ACM
13 years 8 months ago
2005
ACM
The design and development process of communication protocols and real-time systems and particularly transport protocol mechanisms requires adequate methodology and efficient ins...