4447 search results - page 12 / 890 » Model Checking Games |
157
click to vote
ATVA
2006
Springer
15 years 6 months ago
2006
Springer
Abstract. Model-checking alternating-time properties has recently attracted much interest in the verification of distributed protocols. While checking the validity of a specificati...
CORR
2010
Springer
15 years 2 months ago
2010
Springer
This paper presents a brief review of current game usability models. This leads to the conception of a high-level game development-centered usability model that integrates current...
112
Voted
CONCUR
1997
Springer
15 years 6 months ago
1997
Springer
Abstract. In a trace-based world, the modular speci cation, veri cation, and control of live systems require each module to be receptive that is, each module must be able to meet i...
142
click to vote
CIE
2007
Springer
15 years 2 months ago
2007
Springer
Player enjoyment is perhaps the most important issue in successful game design, but is previously not addressed in the area of Pervasive games. Departing from the GameFlow model of...
134
click to vote
LICS
2008
IEEE
15 years 8 months ago
2008
IEEE
In this paper we consider parity games defined by higher-order pushdown automata. These automata generalise pushdown automata by the use of higher-order stacks, which are nested ...