Contexts: a formalization and some applications
Contexts: a formalization and some applications
Hardware-software co-design of embedded systems: the POLIS approach
Hardware-software co-design of embedded systems: the POLIS approach
Understanding and Using Context
Personal and Ubiquitous Computing
Using Context as a Crystal Ball: Rewards and Pitfalls
Personal and Ubiquitous Computing
Behavior Protocols for Software Components
IEEE Transactions on Software Engineering
Adding Generic Contextual Capabilities to Wearable Computers
ISWC '98 Proceedings of the 2nd IEEE International Symposium on Wearable Computers
Real-time reactive system development: a formal approach based on uml and pvs
Real-time reactive system development: a formal approach based on uml and pvs
Lucx: lucid enriched with context
Lucx: lucid enriched with context
Context-Aware Computing Applications
WMCSA '94 Proceedings of the 1994 First Workshop on Mobile Computing Systems and Applications
Human-Computer Interaction
IJCAI'93 Proceedings of the 13th international joint conference on Artifical intelligence - Volume 1
Real time reactive programming in lucid enriched with contexts
ICTAC'04 Proceedings of the First international conference on Theoretical Aspects of Computing
Intensional programming for agent communication
DALT'04 Proceedings of the Second international conference on Declarative Agent Languages and Technologies
Security Contexts in Autonomic Systems
Computational Intelligence and Security
A Formal Model of Business Application Integration from Web Services (Position Paper)
SOFSEM '09 Proceedings of the 35th Conference on Current Trends in Theory and Practice of Computer Science
A framework for semantic recommendations in situational applications
DASFAA'11 Proceedings of the 16th international conference on Database systems for advanced applications: Part II
| Hi-index | 0.00 |
This paper proposes a component-based architecture and development methodology for context-aware systems. A context is formally defined from relational point of view. The architecture of a context-aware system is conceived as a composition of the two components context constructor and context adapter. To process dynamically changing contextual information, we introduce context calculus as the formal basis of context manipulation. The information and its sources are abstracted within this formal definition. As an illustration of the principles involved in developing a context-aware system, we discuss the Anti-lock Braking System problem.