The context toolkit: aiding the development of context-enabled applications
Proceedings of the SIGCHI conference on Human Factors in Computing Systems
A Middleware Infrastructure for Active Spaces
IEEE Pervasive Computing
Composing Pervasive Data Using iQL
WMCSA '02 Proceedings of the Fourth IEEE Workshop on Mobile Computing Systems and Applications
A Survey of Context-Aware Mobile Computing Research
A Survey of Context-Aware Mobile Computing Research
DFuse: a framework for distributed data fusion
Proceedings of the 1st international conference on Embedded networked sensor systems
Intelligent Agents Meet the Semantic Web in Smart Spaces
IEEE Internet Computing
Toward an OSGi-Based Infrastructure for Context-Aware Applications
IEEE Pervasive Computing
A service-oriented middleware for building context-aware services
Journal of Network and Computer Applications
The Description Logic Handbook
The Description Logic Handbook
Human-Computer Interaction
The Gator Tech Smart House: enabling technologies and lessons learned
Proceedings of the 3rd International Convention on Rehabilitation Engineering & Assistive Technology
| Hi-index | 0.00 |
This paper defines a new, context-driven programming model for pervasive spaces. Existing models are prone to conflict, as it is hard to predict the outcome of interleaved actions from different services, or even to detect that a particular device is receiving conflicting instructions. Nor is there an easy way to identify unsafe contexts and the emergency remedy actions, or for programmers and users to grasp the complete status of the space. The programming model proposed here resolves these problems by improving coordination by explicitly defining the behaviors via context, and providing enhanced safety guarantees as well as a real-time, at-a-glance snapshot of the space's status. We present this model by first revisiting the definitions of the three basic entities (sensors, actuators and users) and then deriving at the definition of the operational semantics of a pervasive space and its context. A scenario is provided to demonstrate both how programmers use this model as well as the advantages of the model over other approaches.