ACM Transactions on Programming Languages and Systems (TOPLAS)
The context toolkit: aiding the development of context-enabled applications
Proceedings of the SIGCHI conference on Human Factors in Computing Systems
Understanding and Using Context
Personal and Ubiquitous Computing
The Location Stack: A Layered Model for Location in Ubiquitous Computing
WMCSA '02 Proceedings of the Fourth IEEE Workshop on Mobile Computing Systems and Applications
An infrastructure for context-awareness based on first order logic
Personal and Ubiquitous Computing
Ontology Based Context Modeling and Reasoning using OWL
PERCOMW '04 Proceedings of the Second IEEE Annual Conference on Pervasive Computing and Communications Workshops
An ontology for context-aware pervasive computing environments
The Knowledge Engineering Review
The Knowledge Engineering Review
PERCOMW '06 Proceedings of the 4th annual IEEE international conference on Pervasive Computing and Communications Workshops
Hierarchical Situation Modeling and Reasoning for Pervasive Computing
SEUS-WCCIA '06 Proceedings of the The Fourth IEEE Workshop on Software Technologies for Future Embedded and Ubiquitous Systems, and the Second International Workshop on Collaborative Computing, Integration, and Assurance (SEUS-WCCIA'06)
PSRA: A Data Model for Managing Data in Sensor Networks
SUTC '06 Proceedings of the IEEE International Conference on Sensor Networks, Ubiquitous, and Trustworthy Computing -Vol 1 (SUTC'06) - Volume 01
Situations in Conceptual Modeling of Context
EDOCW '06 Proceedings of the 10th IEEE on International Enterprise Distributed Object Computing Conference Workshops
Context-Aware Pervasive Systems
Context-Aware Pervasive Systems
A survey of software infrastructures and frameworks for ubiquitous computing
Mobile Information Systems
Situational computing: An innovative architecture with imprecise reasoning
Journal of Systems and Software
Ontology-based models in pervasive computing systems
The Knowledge Engineering Review
Developing context-aware pervasive computing applications: Models and approach
Pervasive and Mobile Computing
Bigraphical models of context-aware systems
FOSSACS'06 Proceedings of the 9th European joint conference on Foundations of Software Science and Computation Structures
Future Generation Computer Systems
Review: Situation identification techniques in pervasive computing: A review
Pervasive and Mobile Computing
Context Inference Engine (CiE): Inferring Context
International Journal of Advanced Pervasive and Ubiquitous Computing
| Hi-index | 0.00 |
Context-aware pervasive systems are an important emerging category of software, increasingly pervading into daily life, play and work. These systems are characterized by capabilities for sensing the physical world and taking action, autonomously or in cooperation with users. This paper proposes an incremental approach to building context-aware pervasive systems, with a particular emphasis on systematically extending over time the contexts and situations a system can be aware of, and creating a formalism in which these systems can be composed. We present a formalism of operators for building context-aware pervasive systems incrementally and in a compositional manner (by combining multiple systems and subsystems), facilitating reuse in a formal way. The formalism can serve as: (i) a basis for a scripting language for programming composite systems, and (ii) a language for specifying these systems (whether existing or to be built) and then reasoning with specifications of these systems.