Sciweavers

5623 search results - page 140 / 1125
» Incremental Mechanism Design
Sort
View
PODC
2004
ACM
15 years 6 months ago
On the expected payment of mechanisms for task allocation
We study a representative task allocation problem called shortest paths: Let G be a graph in which the edges are owned by self interested agents. The cost of each edge is privatel...
Artur Czumaj, Amir Ronen
FMOODS
2007
15 years 2 months ago
On Formal Analysis of OO Languages Using Rewriting Logic: Designing for Performance
Rewriting logic provides a powerful, flexible mechanism for language definition and analysis. This flexibility in design can lead to problems during analysis, as different desi...
Mark Hills, Grigore Rosu
108
Voted
ICECCS
2005
IEEE
86views Hardware» more  ICECCS 2005»
15 years 6 months ago
Exploiting OS-Level Mechanisms to Implement Mobile Code Security
Mobile code systems provide an infrastructure that supports autonomous mobile components, called mobile agents. The infrastructure implements services for the transfer, execution,...
Viktoria Felmetsger, Giovanni Vigna
74
Voted
ICRA
1993
IEEE
118views Robotics» more  ICRA 1993»
15 years 4 months ago
Mechanical Computation for Passive Force Control
Force control implemented by a passive mechanical device (perhaps a wrist) has inherent advantages over active implementations. A passive mechanical device can regain some of the ...
Ambarish Goswami, Michael A. Peshkin
113
Voted
PERCOM
2010
ACM
15 years 4 months ago
Sell your experiences: a market mechanism based incentive for participatory sensing
—This paper studies economic models of user participation incentive in participatory sensing applications. User participation is the most important element in participatory sensi...
Juong-Sik Lee, Baik Hoh