Lookup NU author(s): Professor Michael Harrison
Full text for this publication is not currently held within this repository. Alternative links are provided below where available.
Mobility of ubiquitous systems offers the possibility of using the current context to infer information that might otherwise require user input. This can either make user interfaces more intuitive or cause subtle and confusing mode changes. We discuss the analysis of such systems that will allow the designer to predict potential pitfalls before the design is fielded. Whereas the current predominant approach to understanding mobile systems is to build and explore experimental prototypes, our exploration highlights the possibility that early models of an interactive system might be used to predict problems with embedding in context before costly mistakes have been made. Analysis based on model checking is used to contrast configuration and context issues in two interfaces to a process control system.
Author(s): Loer K, Harrison MD
Editor(s): Costabile, M.F., Paterno, F.
Publication type: Conference Proceedings (inc. Abstract)
Publication status: Published
Conference Name: Human-Computer-Interaction (INTERACT): IFIP TC13 International Conference
Year of Conference: 2005
ISSN: 0302-9743 (Print) 1611-3349 (Online)
Library holdings: Search Newcastle University Library for this item
Series Title: Lecture Notes in Computer Science