Utilize este identificador para referenciar este registo:
https://hdl.handle.net/1822/34014
Título: | Exploring an option space to engineer a ubiquitous computing system |
Autor(es): | Harrison, Michael D. Kray, Christian Campos, J. Creissac |
Palavras-chave: | Interactive systems Model checking Ubiquitous computing Human computer interaction |
Data: | 2008 |
Editora: | Elsevier 1 |
Revista: | Electronic notes in theoretical computer science |
Resumo(s): | 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. |
Tipo: | Artigo |
URI: | https://hdl.handle.net/1822/34014 |
DOI: | 10.1016/j.entcs.2008.03.106 |
ISSN: | 1571-0661 |
Versão da editora: | www.elsevier.com/locate/entcs |
Arbitragem científica: | yes |
Acesso: | Acesso aberto |
Aparece nas coleções: | HASLab - Artigos em revistas internacionais |