4447 search results - page 358 / 890 » Model Checking Games |
189
click to vote
VTC
2010
IEEE
15 years 5 months ago
2010
IEEE
—Game theory has been applied to model power control in wireless systems for years. Conventional power control games tend to consider unlimited backlogged user traffic. Differen...
161
click to vote
IFIPTCS
2010
15 years 4 months ago
2010
Abstract. We present a game-theoretic framework for modeling and solving routing problems in dynamically changing networks. The model covers the aspects of reactivity and non-termi...
201
click to vote
CORR
2011
Springer
14 years 10 months ago
2011
Springer
In this work, we study the problem of power allocation in teams. Each team consists of two agents who try to split their available power between the tasks of communication and jam...
218
click to vote
ER
2009
Springer
15 years 10 months ago
2009
Springer
Abstract. The UML-based Specification Environment (USE) tool supports the syntactic analysis, type checking, consistency checking, and dynamic validation of invariants and pre-/pos...
179
click to vote
CEC
2009
IEEE
16 years 1 months ago
2009
IEEE
— Using a game-theoretic model combined with the evolutionary model, we investigate the conditions under which the desirable interaction rules will evolve and sustain in various ...