Affordable Access

Publisher Website

Exploring an Option Space to Engineer a Ubiquitous Computing System

Authors
Journal
Electronic Notes in Theoretical Computer Science
1571-0661
Publisher
Elsevier
Publication Date
Volume
208
Identifiers
DOI: 10.1016/j.entcs.2008.03.106
Keywords
  • Interactive Systems
  • Model Checking
  • Ubiquitous Computing
  • Human Computer Interaction
Disciplines
  • Computer Science
  • Design
  • Engineering

Abstract

Abstract Engineering natural and appropriate interactive behaviour in ubiquitous computing systems presents new challenges to their developers. This paper explores formal models of interactive behaviour in ubiquitous systems. Of particular interest is the way that these models may help engineers to visualise the consequences of different designs. Design options based on a dynamic signage system (GAUDI) are explored using different instances of a generic model of the system.

There are no comments yet on this publication. Be the first to share your thoughts.