199 search results - page 12 / 40 » Computational Support for Play Testing Game Sketches |
102
click to vote
DIGRA
2005
Springer
15 years 5 months ago
2005
Springer
This paper details a research methodology that emerged during an inquiry into game design aimed at promoting conceptual learning in physics. The methodology, Research as DesignDes...
107
click to vote
IADIS
2004
15 years 1 months ago
2004
Interactive entertainment and specifically computer games has grown into a multi-billion industry in the last few years and continues to grow. This expansion has fueled a number o...
DIGRA
2005
Springer
15 years 5 months ago
2005
Springer
Despite the fact that there are currently a number of enjoyable digital games in which light plays a key role, we lack a vocabulary with which to discuss simulated illumination in...
127
click to vote
CRYPTO
2011
Springer
13 years 11 months ago
2011
Springer
Abstract. We present EasyCrypt, an automated tool for elaborating security proofs of cryptographic systems from proof sketches—compact, formal representations of the essence of a...
GAMEON
2007
15 years 1 months ago
2007
Nowadays it is not uncommon for computer games to be used as tools to help introduce basic computer science concepts. In this paper we argue that games could also be used in more ...