1036 search results - page 8 / 208 » Ubiquitous Verification of Ubiquitous Systems |
ACMDIS
2004
ACM
14 years 27 days ago
2004
ACM
Privacy is a difficult design issue that is becoming increasingly important as we push into ubiquitous computing environments. While there is a fair amount of theoretical work on ...
MIDDLEWARE
2004
Springer
14 years 25 days ago
2004
Springer
The terms pervasive and ubiquitous computing are used to describe a smart space populated by hundreds of intelligent devices that are embedded in their surroundings. Characteristi...
ARCS
2005
Springer
14 years 1 months ago
2005
Springer
In Ubiquitous computing small embedded sensor and computing nodes are the main enabling technologies. System programming for such small embedded systems is a challenging task invol...
ENTCS
2008
13 years 7 months ago
2008
Engineering natural and appropriate interactive behaviour in ubiquitous computing systems presents new challenges to their developers. This paper explores formal models of interac...
PERCOM
2007
ACM
14 years 7 months ago
2007
ACM
In this paper, we report on a user-centered, iterative design process for augmenting sports equipment with ubiquitous computing technology. In several design iterations, a fully w...