We propose a deductive method for constructing reliable reachability controllers, with application to fault-tolerant discrete systems. Designing the controller reduces to finding...
When it comes to motivating teenagers towards energy awareness, new approaches need to be considered. One such is the use of pervasive games connected to the players own energy co...
ScriptEase is a tool that allows authors with no programming experience to create interactive stories for computer role-playing games. Instead of writing scripting code manually, ...
Maria Cutumisu, Duane Szafron, Jonathan Schaeffer,...
In this paper we describe an innovative mobile game in the form a multi-authored book. Based upon the 1920s surrealist technique of “Exquisite Corpse”, the book builds from a ...
The purpose of this paper is to present our experience from the design of a personalized television application, and the implications for the design of interactive television appl...
Konstantinos Chorianopoulos, George Lekakos, Diomi...