Automated theorem proving: mapping logic into AI
ISMIS '86 Proceedings of the ACM SIGART international symposium on Methodologies for intelligent systems
The active badge location system
ACM Transactions on Information Systems (TOIS)
Consistency management for complex applications
Proceedings of the 20th international conference on Software engineering
xlinkit: a consistency checking and smart link generation service
ACM Transactions on Internet Technology (TOIT)
Conflict Resolution Using Logic Programming
IEEE Transactions on Knowledge and Data Engineering
A component architecture for an extensible, highly integrated context-aware computing infrastructure
Proceedings of the 25th International Conference on Software Engineering
ACM Transactions on Software Engineering and Methodology (TOSEM)
An infrastructure for context-awareness based on first order logic
Personal and Ubiquitous Computing
A Software Engineering Framework for Context-Aware Pervasive Computing
PERCOM '04 Proceedings of the Second IEEE International Conference on Pervasive Computing and Communications (PerCom'04)
Reasoning about Uncertain Contexts in Pervasive Computing Environments
IEEE Pervasive Computing
Data structure repair using goal-directed reasoning
Proceedings of the 27th international conference on Software engineering
Inconsistency detection and resolution for context-aware middleware support
Proceedings of the 10th European software engineering conference held jointly with 13th ACM SIGSOFT international symposium on Foundations of software engineering
Incremental consistency checking for pervasive context
Proceedings of the 28th international conference on Software engineering
Instant consistency checking for the UML
Proceedings of the 28th international conference on Software engineering
LIME: A coordination model and middleware supporting mobility of hosts and agents
ACM Transactions on Software Engineering and Methodology (TOSEM)
EgoSpaces: Facilitating Rapid Development of Context-Aware Mobile Applications
IEEE Transactions on Software Engineering
CARISMA: Context-Aware Reflective mIddleware System for Mobile Applications
IEEE Transactions on Software Engineering
Hi-index | 0.00 |
Ubiquitous systems adaptive to their dynamic environments find their roles useful in many modern applications. Their adaptability, however, can be badly impaired if the environments are incorrectly perceived. Our earlier work has proposed a technique to evaluate the constraints that govern the consistency of perceived environmental information. This technique generates links as the evaluation result to explain how the constraints are satisfied or violated. However, the technique may generate redundant links and may not effectively utilize resources in both time and space. To address the problem, this paper presents a goaldirected technique to enhance our earlier link generation semantics. We evaluate the technique analytically, and show how the enhanced semantics helps reduce the number of generated redundant links for context validation.