A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf
.
Formal analysis of ubiquitous computing environments through the APEX framework
2012
Proceedings of the 4th ACM SIGCHI symposium on Engineering interactive computing systems - EICS '12
Ubiquitous computing (ubicomp) systems involve complex interactions between multiple devices and users. This complexity makes it difficult to establish whether: (1) observations 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, techniques are needed that support an exhaustive analysis of a system's design. This paper demonstrates one such exhaustive analysis technique
doi:10.1145/2305484.2305506
dblp:conf/eics/SilvaCH12
fatcat:2qpqiteainbkdl2ofoey7eue7m