ACM - Computers in Entertainment

Theoretical and Practical Computer Applications in Entertainment

Computers in Entertainment [Vol. 15, No. 1] View Full Citation in the Digital Library

Automated Bug Finding in Video Games

Runtime verification is the process of observing a sequence of events generated by a running system and comparing it to some formal specification for potential violations. We show how the use of a runtime monitor ... Read More »

In this issue

Transition Contour Synthesis with Dynamic Patch Transitions
In this article, we present a novel approach for modulating the shape of transitions between terrain materials to produce detailed and varied contours where blend resolution is limited. Whereas texture ...
Strategies and Challenges to Facilitate Situated Learning in Virtual Worlds Post-Second Life
Virtual worlds can establish a stimulating environment to support a situated learning approach in which students simulate a task within a safe environment. While in previous years Second Life played ...
A BDI Game Master Agent for Computer Role-Playing Games
In this paper we describe an approach for developing an intelligent game master (GM) for computer role-playing games. The role of the GM is to set up the game environment, ...
Supporting Team Work in Game Design
Developing a video game is a costly activity, not only from an economic perspective, but also in terms of the time devoted to researching innovative solutions and managing interfaces between ...