Exploring an option space to engineer a ubiquitous computing system

Ver registo simples
dc.comments297por
dc.contributor.authorHarrison, Michael D.por
dc.contributor.authorKray, Christianpor
dc.contributor.authorCampos, J. Creissacpor
dc.date.accessioned2015-02-19T15:25:08Z
dc.date.available2015-02-19T15:25:08Z
dc.date.issued2008
dc.description.abstractEngineering 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.por
dc.description.sponsorshipEPSRC -Engineering and Physical Sciences Research Council(EP/F01404X/1)por
dc.distributioninternationalpor
dc.identifier.doi10.1016/j.entcs.2008.03.106por
dc.identifier.issn1571-0661
dc.identifier.urihttps://hdl.handle.net/1822/34014
dc.language.isoengpor
dc.peerreviewedyespor
dc.publisherElsevierpor
dc.relation.publisherversionwww.elsevier.com/locate/entcspor
dc.rightsopenAccesspor
dc.subjectInteractive systemspor
dc.subjectModel checkingpor
dc.subjectUbiquitous computingpor
dc.subjectHuman computer interactionpor
dc.subject.wosScience & Technologypor
dc.titleExploring an option space to engineer a ubiquitous computing systempor
dc.typearticlepor
dspace.entity.typePublicationen
oaire.citationEndPage55por
oaire.citationIssueCpor
oaire.citationStartPage41por
oaire.citationTitleElectronic notes in theoretical computer sciencepor
oaire.citationVolume208por
sdum.journalElectronic notes in theoretical computer sciencepor
sdum.publicationstatuspublishedpor

Ficheiros

Pacote original

A mostrar 1 - 1 de 1
Nome:
297.pdf
Tamanho:
345.9 KB
Formato:
Adobe Portable Document Format
Descarregar

Coleções

HASLab - Artigos em revistas internacionais | Articles in international journals