The intention of this paper is to propose interaction design as a venue for IS research into sustainability and in that connection also propose a new theoretical psychological approach to interaction design. This new theoretical psychological framework is based on ecological psychology and activity theory. The paper will outline the scientific demands for the framework as well as the frameworks...

The operating theatre is a noisy place with many uninformative and redundant alarms. Using data from a recent observational study, we demonstrate that anaesthetists actively respond to only 3.4% of all audible alarms. We outline a range of possible solutions to the alarm problem. Ecological Interface Design (EID) helps to outline the requirements for an information environment for anaesthetists...

Sketching is at the core of every design activity. In visual design, pencil and paper are the preferred tools to produce sketches for their simplicity and immediacy. Analogue tools for sonic sketching do not exist yet, although voice and gesture are embodied abilities commonly exploited to communicate sound concepts. The EU project SkAT-VG aims to support vocal sketching with computeraided tech...

1 INTRODUCTION Urban public parks offer a great potential to raise the quality of life for urban citizens, while at the same time their creation and maintenance requires substantious amounts of money. Surveys have shown that citizens consider parks to be an important element for their well-being, even if used only occasionally. By offering opportunities for equal participation irrespective of g...

The design of state-of-the-art digital circuits often involves interacting state machines with very complex control flow. As consequence functional verification of sequential designs is becoming a major bottleneck in the design process. Model checking techniques, the topic of this tutorial, promise to speed up verification time by checking high level temporal properties. Model checking is best ...

A small refrigeration plant, for teaching refrigeration theory, used a control console built to traditional design guidelines: one output in the display for each sensor in the plant. This style of console is notorious for inducing high cognitive loads on operators and for displaying redundant data. Often the high cognitive load is the result of inconsistency between the intent for displaying th...