Utilize este identificador para referenciar este registo:
https://hdl.handle.net/1822/34014Registo completo
| Campo DC | Valor | Idioma |
|---|---|---|
| dc.contributor.author | Harrison, Michael D. | por |
| dc.contributor.author | Kray, Christian | por |
| dc.contributor.author | Campos, J. Creissac | por |
| dc.date.accessioned | 2015-02-19T15:25:08Z | - |
| dc.date.available | 2015-02-19T15:25:08Z | - |
| dc.date.issued | 2008 | - |
| dc.identifier.issn | 1571-0661 | - |
| dc.identifier.uri | https://hdl.handle.net/1822/34014 | - |
| dc.description.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. | por |
| dc.description.sponsorship | EPSRC -Engineering and Physical Sciences Research Council(EP/F01404X/1) | por |
| dc.language.iso | eng | por |
| dc.publisher | Elsevier 1 | por |
| dc.rights | openAccess | por |
| dc.subject | Interactive systems | por |
| dc.subject | Model checking | por |
| dc.subject | Ubiquitous computing | por |
| dc.subject | Human computer interaction | por |
| dc.title | Exploring an option space to engineer a ubiquitous computing system | por |
| dc.type | article | por |
| dc.peerreviewed | yes | por |
| dc.relation.publisherversion | www.elsevier.com/locate/entcs | por |
| dc.comments | 297 | por |
| sdum.publicationstatus | published | por |
| oaire.citationStartPage | 41 | por |
| oaire.citationEndPage | 55 | por |
| oaire.citationIssue | C | por |
| oaire.citationTitle | Electronic notes in theoretical computer science | por |
| oaire.citationVolume | 208 | por |
| dc.identifier.doi | 10.1016/j.entcs.2008.03.106 | por |
| dc.subject.wos | Science & Technology | por |
| sdum.journal | Electronic notes in theoretical computer science | por |
| Aparece nas coleções: | ||
