4447 search results - page 375 / 890 » Model Checking Games |
185
click to vote
TCS
2002
15 years 6 months ago
2002
We investigate Martin's game (as described in Arruda et al. (Eds.), On Random R. E. Sets, Non-Classical Logics, Model Theory and Computability, North-Holland, Amsterdam, 1977...
160
click to vote
INFOCOM
2009
IEEE
16 years 1 months ago
2009
IEEE
—We propose an interference-aware MAC protocol using a simple transmission strategy motivated by a gametheoretic approach. We formulate a channel access game, which considers nod...
179
click to vote
ESA
2007
Springer
16 years 1 months ago
2007
Springer
Abstract. In this paper we consider Nash Equilibria for the selfish routing model proposed in [12], where a set of n users with tasks of different size try to access m parallel l...
214
click to vote
SUTC
2010
IEEE
15 years 10 months ago
2010
IEEE
— Extensive research has been performed to study selfish data caching in ad hoc networks using game-theoretic analysis. However, due to the caching problem’s theoretical root ...
180
click to vote
CCS
2008
ACM
15 years 8 months ago
2008
ACM
A frequently proposed solution to node misbehavior in mobile ad hoc networks is to use reputation systems. But in ephemeral networks - a new breed of mobile networks where contact...