4447 search results - page 282 / 890 » Model Checking Games |
129
click to vote
JSAC
2007
15 years 4 months ago
2007
— This paper reverse-engineers backoff-based random-access MAC protocols in ad-hoc networks. We show that the contention resolution algorithm in such protocols is implicitly part...
139
click to vote
SIGCSE
2008
ACM
15 years 4 months ago
2008
ACM
In this hands-on special session, attendees will learn about and use a Game of Life cellular automata framework (Java) to assist with outreach activities. Using the framework, stu...
186
click to vote
GAMEON
2003
15 years 6 months ago
2003
Simulation has been regarded as the third way to represent social models, alternative to other two symbol systems: the verbal argumentation and the mathematical one. Simulation ca...
139
click to vote
ACMACE
2007
ACM
15 years 9 months ago
2007
ACM
Recently a new generation of virtual worlds has emerged in which users are provided with open-ended modelling tools with which they can create and modify world content. The result...
139
click to vote
SIGCSE
2002
ACM
15 years 4 months ago
2002
ACM
Designing a two-person game involves identifying the game model to compute the best moves, the user interface (the "view") to play the game, and the controller to coordi...