Formal analysis of ubiquitous computing environments through the APEX framework

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 tr...

ver descrição completa

Detalhes bibliográficos
Autor principal: Silva, José Luís Cardoso (author)
Outros Autores: Campos, J. Creissac (author), Harrison, M. D. (author)
Formato: conferencePaper
Idioma:eng
Publicado em: 2012
Assuntos:
Ubiquitous and Context-Aware Computing
Analysis
Modeling
Prototyping
3D virtual environments
Engenharia e Tecnologia::Engenharia Eletrotécnica, Eletrónica e Informática
Texto completo:http://hdl.handle.net/1822/36515
País:Portugal
Oai:oai:repositorium.sdum.uminho.pt:1822/36515

Texto Completo

http://hdl.handle.net/1822/36515

Registos relacionados