4447 search results - page 593 / 890 » Model Checking Games |
157
click to vote
SAGT
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. This paper studies a setting where a principal needs to motivate teams of agents whose efforts lead to an outcome that stochastically depends on the combination of agent...
151
click to vote
INFOCOM
2008
IEEE
16 years 1 months ago
2008
IEEE
—The effectiveness of online feedback mechanisms for rating the performance of providers in electronic markets is vulnerable to the submission of dishonest ratings. In this paper...
209
click to vote
GLOBECOM
2007
IEEE
16 years 1 months ago
2007
IEEE
— Recent studies indicate the presence of a significant amount of idle licensed spectrum, in different time periods and geographic locations. Prompted by the latest regulatory ch...
153
click to vote
OTM
2007
Springer
16 years 26 days ago
2007
Springer
Ad hoc and peer-to-peer (P2P) computing paradigms pose a number of security challenges. The deployment of classic security protocols to provide services such as node authentication...
170
click to vote
CCECE
2006
IEEE
16 years 24 days ago
2006
IEEE
Impenetrable doors are often quite common in virtual worlds. This is especially apparent in video games boasting large urban environments. Although there are often enterable build...