4794 search results - page 88 / 959 » Trust-Based Mechanism Design |
FMOODS
2007
14 years 11 months ago
2007
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...
ICECCS
2005
IEEE
15 years 3 months ago
2005
IEEE
Mobile code systems provide an infrastructure that supports autonomous mobile components, called mobile agents. The infrastructure implements services for the transfer, execution,...
ICRA
1993
IEEE
15 years 2 months ago
1993
IEEE
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 ...
PERCOM
2010
ACM
15 years 1 months ago
2010
ACM
—This paper studies economic models of user participation incentive in participatory sensing applications. User participation is the most important element in participatory sensi...
WOA
2000
14 years 11 months ago
2000
There is a growing interest in the integration of mechanized reasoning systems such as automated theorem provers, computer algebra systems, and model checkers. State-of-the-art re...