682 search results - page 63 / 137 » Game Development Using Design-by-Contract |
EVOW
2010
Springer
14 years 4 months ago
2010
Springer
This paper presents a generative system for the automatic creation of video game levels. Our approach is novel in that it allows high-level design goals to be expressed in a top-do...
DATE
2008
IEEE
14 years 4 months ago
2008
IEEE
This paper presents a game-theoretic approach to the testing of uncontrollable real-time systems. By modelling the systems with Timed I/O Game Automata and specifying the test pur...
WETICE
2006
IEEE
14 years 4 months ago
2006
IEEE
Older people have been the focus of research for ubiquitous computing applications. While many of these are understandably focused on health and aging in place issues, there is al...
ECOOP
2007
Springer
14 years 1 months ago
2007
Springer
With the growing academic and industrial interest in Software Product Lines (SPL), one area demanding special attention is tool support development, which is a pre-requisite for w...
ICC
2007
IEEE
14 years 4 months ago
2007
IEEE
— The paper is concerned with a novel adaptive game server protocol optimization to combat network latencies in the case of heterogeneous network environment. In this way, game p...