Exploring an option space to engineer a ubiquitous computing system

Detalhes bibliográficos
Autor(a) principal: Harrison, Michael D.
Data de Publicação: 2008
Outros Autores: Kray, Christian, Campos, J. Creissac
Tipo de documento: Artigo
Idioma: eng
Título da fonte: Repositório Científico de Acesso Aberto de Portugal (Repositórios Cientìficos)
Texto Completo: http://hdl.handle.net/1822/34014
Resumo: 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.
id RCAP_a9fb3f259509dbc8977703e2ba529122
oai_identifier_str oai:repositorium.sdum.uminho.pt:1822/34014
network_acronym_str RCAP
network_name_str Repositório Científico de Acesso Aberto de Portugal (Repositórios Cientìficos)
repository_id_str 7160
spelling Exploring an option space to engineer a ubiquitous computing systemInteractive systemsModel checkingUbiquitous computingHuman computer interactionScience & TechnologyEngineering 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.EPSRC -Engineering and Physical Sciences Research Council(EP/F01404X/1)ElsevierUniversidade do MinhoHarrison, Michael D.Kray, ChristianCampos, J. Creissac20082008-01-01T00:00:00Zinfo:eu-repo/semantics/publishedVersioninfo:eu-repo/semantics/articleapplication/pdfhttp://hdl.handle.net/1822/34014eng1571-066110.1016/j.entcs.2008.03.106www.elsevier.com/locate/entcsinfo:eu-repo/semantics/openAccessreponame:Repositório Científico de Acesso Aberto de Portugal (Repositórios Cientìficos)instname:Agência para a Sociedade do Conhecimento (UMIC) - FCT - Sociedade da Informaçãoinstacron:RCAAP2023-07-21T12:17:40Zoai:repositorium.sdum.uminho.pt:1822/34014Portal AgregadorONGhttps://www.rcaap.pt/oai/openaireopendoar:71602024-03-19T19:10:21.014645Repositório Científico de Acesso Aberto de Portugal (Repositórios Cientìficos) - Agência para a Sociedade do Conhecimento (UMIC) - FCT - Sociedade da Informaçãofalse
dc.title.none.fl_str_mv Exploring an option space to engineer a ubiquitous computing system
title Exploring an option space to engineer a ubiquitous computing system
spellingShingle Exploring an option space to engineer a ubiquitous computing system
Harrison, Michael D.
Interactive systems
Model checking
Ubiquitous computing
Human computer interaction
Science & Technology
title_short Exploring an option space to engineer a ubiquitous computing system
title_full Exploring an option space to engineer a ubiquitous computing system
title_fullStr Exploring an option space to engineer a ubiquitous computing system
title_full_unstemmed Exploring an option space to engineer a ubiquitous computing system
title_sort Exploring an option space to engineer a ubiquitous computing system
author Harrison, Michael D.
author_facet Harrison, Michael D.
Kray, Christian
Campos, J. Creissac
author_role author
author2 Kray, Christian
Campos, J. Creissac
author2_role author
author
dc.contributor.none.fl_str_mv Universidade do Minho
dc.contributor.author.fl_str_mv Harrison, Michael D.
Kray, Christian
Campos, J. Creissac
dc.subject.por.fl_str_mv Interactive systems
Model checking
Ubiquitous computing
Human computer interaction
Science & Technology
topic Interactive systems
Model checking
Ubiquitous computing
Human computer interaction
Science & Technology
description 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.
publishDate 2008
dc.date.none.fl_str_mv 2008
2008-01-01T00:00:00Z
dc.type.status.fl_str_mv info:eu-repo/semantics/publishedVersion
dc.type.driver.fl_str_mv info:eu-repo/semantics/article
format article
status_str publishedVersion
dc.identifier.uri.fl_str_mv http://hdl.handle.net/1822/34014
url http://hdl.handle.net/1822/34014
dc.language.iso.fl_str_mv eng
language eng
dc.relation.none.fl_str_mv 1571-0661
10.1016/j.entcs.2008.03.106
www.elsevier.com/locate/entcs
dc.rights.driver.fl_str_mv info:eu-repo/semantics/openAccess
eu_rights_str_mv openAccess
dc.format.none.fl_str_mv application/pdf
dc.publisher.none.fl_str_mv Elsevier
publisher.none.fl_str_mv Elsevier
dc.source.none.fl_str_mv reponame:Repositório Científico de Acesso Aberto de Portugal (Repositórios Cientìficos)
instname:Agência para a Sociedade do Conhecimento (UMIC) - FCT - Sociedade da Informação
instacron:RCAAP
instname_str Agência para a Sociedade do Conhecimento (UMIC) - FCT - Sociedade da Informação
instacron_str RCAAP
institution RCAAP
reponame_str Repositório Científico de Acesso Aberto de Portugal (Repositórios Cientìficos)
collection Repositório Científico de Acesso Aberto de Portugal (Repositórios Cientìficos)
repository.name.fl_str_mv Repositório Científico de Acesso Aberto de Portugal (Repositórios Cientìficos) - Agência para a Sociedade do Conhecimento (UMIC) - FCT - Sociedade da Informação
repository.mail.fl_str_mv
_version_ 1799132532188381184

Registros relacionados