This design theatre experience explores the use of choreographic improvisation exercises to reflect on the structures of interaction in a mobile, co-located group. The design tech...
This paper describes a new software platform for the interactive exploration of human performance models such as Fitts' law. The software is written in Java and provides a fl...
In this paper we describe a fast and interactive model to simulate and control the fire phenomenon. We use a modified interactive fluid dynamics solver to describe the motion o...
When something unexpected happens in a large production system, administrators must first perform a search to isolate which components and component interactions are likely to be...
A Promela specification and a set of temporal properties are developed for a basic call service with a number of features. The properties are expressed in the logic LTL. Interactio...