4447 search results - page 594 / 890 » Model Checking Games |
180
click to vote
ICPADS
2006
IEEE
16 years 23 days ago
2006
IEEE
A decentralized game theoretic framework applied to Web caching is discussed. The interaction of multiple clients with a caching server is modeled as a non-cooperative game, in wh...
161
click to vote
SIGECOM
2006
ACM
16 years 20 days ago
2006
ACM
While traditional mechanism design typically assumes isomorphism between the agents’ type- and action spaces, in many situations the agents face strict restrictions on their act...
173
click to vote
IPPS
2005
IEEE
16 years 9 days ago
2005
IEEE
This paper addresses the problem of fine-grained data replication in large distributed systems, such as the Internet, so as to minimize the user access delays. With fine-grained d...
154
click to vote
LAWEB
2005
IEEE
16 years 9 days ago
2005
IEEE
The concurrent growth of on-line communities exhibiting large-scale social structure, and of large decentralized peer-to-peer file-sharing systems, has stimulated new interest in...
154
click to vote
MM
2005
ACM
16 years 8 days ago
2005
ACM
Organum Playtest is an interactive installation in which three players collaboratively navigate through a model of the human voice box, using their voices as a joystick. By asking...