4447 search results - page 326 / 890 » Model Checking Games |
143
click to vote
DIGRA
2003
Springer
15 years 11 months ago
2003
Springer
Communication between players in networked computer games is often inadequately implemented. The games do not exploit the full potential of using different forms of communication ...
134
click to vote
CPC
2002
15 years 6 months ago
2002
We study a model motivated by the minesweeper game. In this model one starts with percolation of mines on the sites of the lattice Zd , and then tries to find an infinite path of ...
160
Voted
STACS
2009
Springer
16 years 28 days ago
2009
Springer
We analyze the structure of equilibria and the price of anarchy in the family of network creation games considered extensively in the past few years, which attempt to unify the net...
148
click to vote
ICALT
2008
IEEE
16 years 18 days ago
2008
IEEE
This paper presents the adaptation model used in NUCLEO, a pilot e-learning environment that is currently being developed at the Complutense University of Madrid. The NUCLEO syste...
191
click to vote
ICMT
2009
Springer
16 years 21 days ago
2009
Springer
Abstract. The QVT Relations (QVT-R) transformation language allows the definition of bidirectional model transformations, which are required in cases where a two (or more) models ...