4447 search results - page 37 / 890 » Model Checking Games |
141
click to vote
GECCO
2007
Springer
15 years 7 months ago
2007
Springer
Model Checking is a well-known and fully automatic technique for checking software properties, usually given as temporal logic formulae on the program variables. Most model checke...
123
Voted
CHI
2004
ACM
16 years 3 months ago
2004
ACM
This position paper describes the implementation and initial findings of a game called Personal Investigator (PI). PI is an online 3D detective game that implements a model of Bri...
97
Voted
ATAL
2007
Springer
15 years 9 months ago
2007
Springer
Many real life situations, like the financial market, auctions and resources competitions, can be modeled as Minority Games. In minority games, players choose to join one of the ...
111
click to vote
CCR
2007
15 years 3 months ago
2007
While multi-player online games are very successful, their fast deployment suffers from their server-based architecture. Indeed, servers both limit the scalability of the games a...
125
click to vote
JSAC
2008
15 years 3 months ago
2008
In this paper, we generalize the random access game model, and show that it provides a general game-theoretic framework for designing contention based medium access control. We ext...