Utilize este identificador para referenciar este registo:
https://hdl.handle.net/1822/36515
Registo completo
Campo DC | Valor | Idioma |
---|---|---|
dc.contributor.author | Silva, José Luís Cardoso | por |
dc.contributor.author | Campos, J. Creissac | por |
dc.contributor.author | Harrison, M. D. | por |
dc.date.accessioned | 2015-07-30T11:23:40Z | - |
dc.date.available | 2015-07-30T11:23:40Z | - |
dc.date.issued | 2012 | - |
dc.identifier.citation | Silva JL, Campos JC, Harrison M. 2012. Formal analysis of Ubiquitous Computing environments through the APEX framework. Symposium on Engineering Interactive Computing Systems - EICS. :131-140. | por |
dc.identifier.isbn | 9781450311687 | por |
dc.identifier.uri | https://hdl.handle.net/1822/36515 | - |
dc.description.abstract | Ubiquitous computing (ubicomp) systems involve complex interactions between multiple devices and users. This com-plexity makes it difficult to establish whether: (1) observa-tions made about use are truly representative of all possible interactions; (2) desirable characteristics of the system are true in all possible scenarios. To address these issues, tech-niques are needed that support an exhaustive analysis of a system’s design. This paper demonstrates one such exhaus-tive analysis technique that supports the early evaluation of alternative designs for ubiquitous computing environments. The technique combines models of behavior within the environment with a virtual world that allows its simulation. The models support checking of properties based on pat-terns. These patterns help the analyst to generate and verify relevant properties. Where these properties fail then scenar-ios suggested by the failure provide an important aid to redesign. The proposed technique uses APEX, a framework for rapid prototyping of ubiquitous environments based on Petri nets. The approach is illustrated through a smart li-brary example. Its benefits and limitations are discussed. | por |
dc.description.sponsorship | (undefined) | por |
dc.language.iso | eng | por |
dc.rights | openAccess | por |
dc.subject | Ubiquitous and Context-Aware Computing | por |
dc.subject | Analysis | por |
dc.subject | Modeling | por |
dc.subject | Prototyping | por |
dc.subject | 3D virtual environments | por |
dc.title | Formal analysis of ubiquitous computing environments through the APEX framework | por |
dc.type | conferencePaper | por |
dc.peerreviewed | yes | por |
sdum.publicationstatus | published | por |
oaire.citationStartPage | 131 | por |
oaire.citationEndPage | 140 | por |
dc.identifier.doi | 10.1145/2305484.2305506 | por |
dc.subject.fos | Engenharia e Tecnologia::Engenharia Eletrotécnica, Eletrónica e Informática | por |
sdum.conferencePublication | EICS'12 - Proceedings of the 2012 ACM SIGCHI Symposium on Engineering Interactive Computing Systems | por |
Aparece nas coleções: |
Ficheiros deste registo:
Ficheiro | Descrição | Tamanho | Formato | |
---|---|---|---|---|
p131-silva.pdf | 997,9 kB | Adobe PDF | Ver/Abrir |