Parallel program design: a foundation
Parallel program design: a foundation
Stepwise refinement of parallel algorithms
Science of Computer Programming
Cyberguide: a mobile context-aware tour guide
Wireless Networks - Special issue: mobile computing and networking: selected papers from MobiCom '96
The context toolkit: aiding the development of context-enabled applications
Proceedings of the SIGCHI conference on Human Factors in Computing Systems
Experiences of developing and deploying a context-aware tourist guide: the GUIDE project
MobiCom '00 Proceedings of the 6th annual international conference on Mobile computing and networking
An axiomatic basis for computer programming
Communications of the ACM
Pattern-Oriented Software Architecture: Patterns for Concurrent and Networked Objects
Pattern-Oriented Software Architecture: Patterns for Concurrent and Networked Objects
A Notation and Logic for Mobile Computing
Formal Methods in System Design
Egocentric context-aware programming in ad hoc mobile environments
Proceedings of the 10th ACM SIGSOFT symposium on Foundations of software engineering
A Middleware Infrastructure for Active Spaces
IEEE Pervasive Computing
MARS: A Programmable Coordination Architecture for Mobile Agents
IEEE Internet Computing
Compositional Programming Abstractions for Mobile Computing
IEEE Transactions on Software Engineering
LIME: A Middleware for Physical and Logical Mobility
ICDCS '01 Proceedings of the The 21st International Conference on Distributed Computing Systems
An infrastructure approach to context-aware computing
Human-Computer Interaction
A distributed location system for the active office
IEEE Network: The Magazine of Global Internetworking
Composable context-aware architectural connectors
Proceedings of the 1st international workshop on Software architectures and mobility
A study on the replaceability of context-aware middleware
Proceedings of the First Asia-Pacific Symposium on Internetware
The Calculus of Context-aware Ambients
Journal of Computer and System Sciences
Security policy foundations in context UNITY
Proceedings of the 7th International Workshop on Software Engineering for Secure Systems
Formal goal-oriented development of resilient MAS in event-b
Ada-Europe'12 Proceedings of the 17th Ada-Europe international conference on Reliable Software Technologies
A case study in formal development of a fault tolerant multi-robotic system
SERENE'12 Proceedings of the 4th international conference on Software Engineering for Resilient Systems
| Hi-index | 5.23 |
Context-aware computing refers to a paradigm in which applications sense aspects of the environment and use this information to adjust their behavior in response to changing circumstances. In this paper, we present a formal model and notation (Context UNITY) for expressing quintessential aspects of context-aware computations; existential quantification, for instance, proves to be highly effective in capturing the notion of discovery in open systems. Furthermore, Context UNITY treats context in a manner that is relative to the specific needs of an individual application and promotes an approach to context maintenance that is transparent to the application. In this paper, we construct the model from first principles, introduce its proof logic, and demonstrate how the model can be used as an effective abstraction tool for context-aware applications and middleware.