The active badge location system
ACM Transactions on Information Systems (TOIS)
Managing Conflicts in Goal-Driven Requirements Engineering
IEEE Transactions on Software Engineering
Consistency management for complex applications
Proceedings of the 20th international conference on Software engineering
The context toolkit: aiding the development of context-enabled applications
Proceedings of the SIGCHI conference on Human Factors in Computing Systems
A component and communication model for push systems
ESEC/FSE-7 Proceedings of the 7th European software engineering conference held jointly with the 7th ACM SIGSOFT international symposium on Foundations of software engineering
A framework for multi-valued reasoning over inconsistent viewpoints
ICSE '01 Proceedings of the 23rd International Conference on Software Engineering
The first-order theory of subtyping constraints
POPL '02 Proceedings of the 29th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
xlinkit: a consistency checking and smart link generation service
ACM Transactions on Internet Technology (TOIT)
Egocentric context-aware programming in ad hoc mobile environments
Proceedings of the 10th ACM SIGSOFT symposium on Foundations of software engineering
Reconfigurable Context-Sensitive Middleware for Pervasive Computing
IEEE Pervasive Computing
ConChat: A Context-Aware Chat Program
IEEE Pervasive Computing
A Middleware Infrastructure for Active Spaces
IEEE Pervasive Computing
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
Consistency management with repair actions
Proceedings of the 25th International Conference on Software Engineering
Feature specification and automated conflict detection
ACM Transactions on Software Engineering and Methodology (TOSEM)
ACM Transactions on Software Engineering and Methodology (TOSEM)
A Survey of Context-Aware Mobile Computing Research
A Survey of Context-Aware Mobile Computing Research
A Choice Relation Framework for Supporting Category-Partition Test Case Generation
IEEE Transactions on Software Engineering
An infrastructure for context-awareness based on first order logic
Personal and Ubiquitous Computing
Database aggregation of imprecise and uncertain evidence
Information Sciences—Informatics and Computer Science: An International Journal - special issue: Knowledge discovery from distributed information sources
Modelling and Using Imperfect Context Information
PERCOMW '04 Proceedings of the Second IEEE Annual Conference on Pervasive Computing and Communications Workshops
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)
The VLDB Journal — The International Journal on Very Large Data Bases
Reasoning about Uncertain Contexts in Pervasive Computing Environments
IEEE Pervasive Computing
Consistency Checking in an Infrastructure for Large-Scale Generative Programming
Proceedings of the 19th IEEE international conference on Automated software engineering
Testing Context-Sensitive Middleware-Based Software Applications
COMPSAC '04 Proceedings of the 28th Annual International Computer Software and Applications Conference - Volume 01
IEEE Transactions on Software Engineering
RFID: Applications, Security, and Privacy
RFID: Applications, Security, and Privacy
Reasoning about inconsistencies in natural language requirements
ACM Transactions on Software Engineering and Methodology (TOSEM)
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
A Dynamic Context-Conflict Management Scheme for Group-Aware Ubiquitous Computing Environments
COMPSAC '05 Proceedings of the 29th Annual International Computer Software and Applications Conference - Volume 01
Context for Ubiquitous Data Management
UDM '05 Proceedings of the International Workshop on Ubiquitous Data Management
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)
Adaptive cleaning for RFID data streams
VLDB '06 Proceedings of the 32nd international conference on Very large data bases
A deferred cleansing method for RFID data analytics
VLDB '06 Proceedings of the 32nd international conference on Very large data bases
Proceedings of the 14th ACM SIGSOFT international symposium on Foundations of software engineering
Managing Quality of Context in Pervasive Computing
QSIC '06 Proceedings of the Sixth International Conference on Quality Software
EgoSpaces: Facilitating Rapid Development of Context-Aware Mobile Applications
IEEE Transactions on Software Engineering
Incremental Maintenance of Software Artifacts
IEEE Transactions on Software Engineering
The SATIN Component System-A Metamodel for Engineering Adaptable Mobile Systems
IEEE Transactions on Software Engineering
Goal-Directed Reasoning for Specification-Based Data Structure Repair
IEEE Transactions on Software Engineering
Fixing Inconsistencies in UML Design Models
ICSE '07 Proceedings of the 29th international conference on Software Engineering
Automated Generation of Context-Aware Tests
ICSE '07 Proceedings of the 29th international conference on Software Engineering
Goal-Directed Context Validation for Adaptive Ubiquitous Systems
ICSEW '07 Proceedings of the 29th International Conference on Software Engineering Workshops
Automatic consistency assessment for query results in dynamic environments
Proceedings of the the 6th joint meeting of the European software engineering conference and the ACM SIGSOFT symposium on The foundations of software engineering
On impact-oriented automatic resolution of pervasive context inconsistency
Proceedings of the the 6th joint meeting of the European software engineering conference and the ACM SIGSOFT symposium on The foundations of software engineering
Testing pervasive software in the presence of context inconsistency resolution services
Proceedings of the 30th international conference on Software engineering
Efficient pattern matching over event streams
Proceedings of the 2008 ACM SIGMOD international conference on Management of data
CARISMA: Context-Aware Reflective mIddleware System for Mobile Applications
IEEE Transactions on Software Engineering
A Testing Framework for Mobile Computing Software
IEEE Transactions on Software Engineering
Query Processing in Sensor Networks
IEEE Pervasive Computing
ICDCS '08 Proceedings of the 2008 The 28th International Conference on Distributed Computing Systems
Efficient Data Interpretation and Compression over RFID Streams
ICDE '08 Proceedings of the 2008 IEEE 24th International Conference on Data Engineering
Efficient filtering of composite events
BNCOD'03 Proceedings of the 20th British national conference on Databases
An enhanced ontology based context model and fusion mechanism
EUC'05 Proceedings of the 2005 international conference on Embedded and Ubiquitous Computing
A lattice-theoretic approach to runtime property detection for pervasive context
UIC'10 Proceedings of the 7th international conference on Ubiquitous intelligence and computing
A web search-centric approach to recommender systems with URLs as minimal user contexts
Journal of Systems and Software
Sequential event pattern based context-aware adaptation
Proceedings of the Second Asia-Pacific Symposium on Internetware
Immediate detection of predicates in pervasive environments
Journal of Parallel and Distributed Computing
Adam: Identifying defects in context-aware adaptation
Journal of Systems and Software
Asynchronous event detection for context inconsistency in pervasive computing
International Journal of Ad Hoc and Ubiquitous Computing
Dynamic fault detection in context-aware adaptation
Proceedings of the Fourth Asia-Pacific Symposium on Internetware
AFChecker: Effective model checking for context-aware adaptive applications
Journal of Systems and Software
Challenges in developing software for cyber-physical systems
Proceedings of the 5th Asia-Pacific Symposium on Internetware
IDEA: improving dependability for self-adaptive applications
Proceedings of the 2013 Middleware Doctoral Symposium
Managing environment and adaptation risks for the internetware paradigm
Theories of Programming and Formal Methods
Hi-index | 0.01 |
Pervasive computing environments typically change frequently in terms of available resources and their properties. Applications in pervasive computing use contexts to capture these changes and adapt their behaviors accordingly. However, contexts available to these applications may be abnormal or imprecise due to environmental noises. This may result in context inconsistencies, which imply that contexts conflict with each other. The inconsistencies may set such an application into a wrong state or lead the application to misadjust its behavior. It is thus desirable to detect and resolve the context inconsistencies in a timely way. One popular approach is to detect context inconsistencies when contexts breach certain consistency constraints. Existing constraint checking techniques recheck the entire expression of each affected consistency constraint upon context changes. When a changed context affects only a constraint's subexpression, rechecking the entire expression can adversely delay the detection of other context inconsistencies. This article proposes a rigorous approach to identifying the parts of previous checking results that are reusable without entire rechecking. We evaluated our work on the Cabot middleware through both simulation experiments and a case study. The experimental results reported that our approach achieved over a fifteenfold performance improvement on context inconsistency detection than conventional approaches.