Decidability and expressiveness aspects of logic queries
PODS '87 Proceedings of the sixth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Compiled hierarchical retrieval
Conceptual structures
XSB as an efficient deductive database engine
SIGMOD '94 Proceedings of the 1994 ACM SIGMOD international conference on Management of data
An optimizing prolog front-end to a relational query system
SIGMOD '84 Proceedings of the 1984 ACM SIGMOD international conference on Management of data
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
Building Applications for Ubiquitous Computing Environments
Pervasive '02 Proceedings of the First International Conference on Pervasive Computing
TABLEAUX '98 Proceedings of the International Conference on Automated Reasoning with Analytic Tableaux and Related Methods
Cerberus: A Context-Aware Security Scheme for Smart Spaces
PERCOM '03 Proceedings of the First IEEE International Conference on Pervasive Computing and Communications
GaiaOS: An Infrastructure for Active Spaces
GaiaOS: An Infrastructure for Active Spaces
Human-Computer Interaction
An infrastructure approach to context-aware computing
Human-Computer Interaction
Interaction issues in context-aware intelligent environments
Human-Computer Interaction
Human-Computer Interaction
WI '04 Proceedings of the 2004 IEEE/WIC/ACM International Conference on Web Intelligence
Adaptive middleware for context-aware applications in smart-homes
MPAC '04 Proceedings of the 2nd workshop on Middleware for pervasive and ad-hoc computing
RDF-Based Model for Context-Aware Reasoning in Rich Service Environment
PERCOMW '05 Proceedings of the Third IEEE International Conference on Pervasive Computing and Communications Workshops
Middleware for User Controlled Environments
PERCOMW '05 Proceedings of the Third IEEE International Conference on Pervasive Computing and Communications Workshops
Utilising context ontology in mobile device application personalisation
Proceedings of the 3rd international conference on Mobile and ubiquitous multimedia
The Knowledge Engineering Review
Context management for end user development of context-aware applications
Proceedings of the 6th international conference on Mobile data management
Context for Ubiquitous Data Management
UDM '05 Proceedings of the International Workshop on Ubiquitous Data Management
Composition flexible de services d'objets communicants
UbiMob '05 Proceedings of the 2nd French-speaking conference on Mobility and ubiquity computing
An ontology-based context management and reasoning process for UbiComp applications
Proceedings of the 2005 joint conference on Smart objects and ambient intelligence: innovative context-aware services: usages and technologies
Configurable semantic services leveraging applications context-aware
WebMedia '05 Proceedings of the 11th Brazilian Symposium on Multimedia and the web
Context-aware design of adaptable multimodal documents
Multimedia Tools and Applications
Adaptive hypermedia for the semantic web
Proceedings of the joint international workshop on Adaptivity, personalization & the semantic web
A survey of middleware for sensor networks: state-of-the-art and future directions
Proceedings of the international workshop on Middleware for sensor networks
Proceedings of the 14th ACM SIGSOFT international symposium on Foundations of software engineering
Performance evaluation of inference services for ubiquitous computing
WebMedia '06 Proceedings of the 12th Brazilian Symposium on Multimedia and the web
A framework for decentralized access control
ASIACCS '07 Proceedings of the 2nd ACM symposium on Information, computer and communications security
Goal-Directed Context Validation for Adaptive Ubiquitous Systems
SEAMS '07 Proceedings of the 2007 International Workshop on Software Engineering for Adaptive and Self-Managing Systems
Ontology-based models in pervasive computing systems
The Knowledge Engineering Review
A context-aware meeting alert using semantic web and rule technology
International Journal of Metadata, Semantics and Ontologies
CoWSAMI: Interface-aware context gathering in ambient intelligence environments
Pervasive and Mobile Computing
Intelligent software agent framework for customized mobile services
Proceedings of the 4th on Middleware doctoral symposium
Agent communication in ubiquitous computing: the Ubismart approach
Proceedings of the 7th international joint conference on Autonomous agents and multiagent systems - Volume 2
HESA: A Human-Centric Evolvable Situation-Awareness Model in Smart Homes
ICOST '08 Proceedings of the 6th international conference on Smart Homes and Health Telematics
Information Supply Mechanisms in Ubiquitous Computing, Crisis Management and Workflow Modelling
HCSE-TAMODIA '08 Proceedings of the 2nd Conference on Human-Centered Software Engineering and 7th International Workshop on Task Models and Diagrams
Distributed Defeasible Contextual Reasoning in Ambient Computing
AmI '08 Proceedings of the European Conference on Ambient Intelligence
A design of ontology context model in ubiquitous learning environments
ICCOMP'08 Proceedings of the 12th WSEAS international conference on Computers
Information fusion for computer security: State of the art and open issues
Information Fusion
Active artifacts as bridges between context and community knowledge sources
Proceedings of the fourth international conference on Communities and technologies
Context reasoning using extended evidence theory in pervasive computing environments
Future Generation Computer Systems
Partial constraint checking for context consistency in pervasive computing
ACM Transactions on Software Engineering and Methodology (TOSEM)
Journal of Ambient Intelligence and Smart Environments
Support for context-aware monitoring in home healthcare
Journal of Ambient Intelligence and Smart Environments
Incremental awareness and compositionality: A design philosophy for context-aware pervasive systems
Pervasive and Mobile Computing
Fact spaces: coordination in the face of disconnection
COORDINATION'07 Proceedings of the 9th international conference on Coordination models and languages
A task decomposition scheme for context aggregation in personal smart space
SEUS'07 Proceedings of the 5th IFIP WG 10.2 international conference on Software technologies for embedded and ubiquitous systems
ERCIM'06 Proceedings of the 9th conference on User interfaces for all
An evaluation of semantic service discovery of a U-city middleware
ICACT'10 Proceedings of the 12th international conference on Advanced communication technology
Uncertainty Management in Context-Aware Applications: Increasing Usability and User Trust
Wireless Personal Communications: An International Journal
A context-aware reflective middleware framework for distributed real-time and embedded systems
Journal of Systems and Software
Rule-based contextual reasoning in ambient intelligence
RuleML'10 Proceedings of the 2010 international conference on Semantic web rules
CADRA: context aware data retrieval architecture
International Journal of Advanced Intelligence Paradigms
A middleware for implicit interaction
Computing with instinct
OWL 2 modeling and reasoning with complex human activities
Pervasive and Mobile Computing
Review: A framework for awareness maintenance
Journal of Network and Computer Applications
OPF: a distributed context-sensing framework for ubiquitous computing environments
UCS'06 Proceedings of the Third international conference on Ubiquitous Computing Systems
UCS'06 Proceedings of the Third international conference on Ubiquitous Computing Systems
Scalability in a secure distributed proof system
PERVASIVE'06 Proceedings of the 4th international conference on Pervasive Computing
A seamless service management with context-aware handoff scheme in ubiquitous computing environment
APNOMS'06 Proceedings of the 9th Asia-Pacific international conference on Network Operations and Management: management of Convergence Networks and Services
Context reasoning technologies in ubiquitous computing environment
EUC'06 Proceedings of the 2006 international conference on Embedded and Ubiquitous Computing
Future Generation Computer Systems
A programmable context interface to build a context infrastructure for worldwide smart applications
EUC'05 Proceedings of the 2005 international conference on Embedded and Ubiquitous Computing
A semantic web-based infrastructure supporting context-aware applications
EUC'05 Proceedings of the 2005 international conference on Embedded and Ubiquitous Computing
Modeling user intention in pervasive service environments
EUC'05 Proceedings of the 2005 international conference on Embedded and Ubiquitous Computing
Distributed processing of context-aware authorization in ubiquitous computing environments
ICCSA'06 Proceedings of the 2006 international conference on Computational Science and Its Applications - Volume Part II
A semantic context-aware access control in pervasive environments
ICCSA'06 Proceedings of the 2006 international conference on Computational Science and Its Applications - Volume Part II
Jini-Based ubiquitous computing middleware supporting event and context management services
UIC'06 Proceedings of the Third international conference on Ubiquitous Intelligence and Computing
Context-awareness in software architectures
EWSA'05 Proceedings of the 2nd European conference on Software Architecture
Modeling contextual information using active data structures
EDBT'04 Proceedings of the 2004 international conference on Current Trends in Database Technology
Algebraic semantics of design abstractions for context-awareness
WADT'04 Proceedings of the 17th international conference on Recent Trends in Algebraic Development Techniques
Activity policy-based service discovery for pervasive computing
EDBT'06 Proceedings of the 2006 international conference on Current Trends in Database Technology
FORMS: Unifying reference model for formal specification of distributed self-adaptive systems
ACM Transactions on Autonomous and Adaptive Systems (TAAS) - Special section on formal methods in pervasive computing, pervasive adaptation, and self-adaptive systems: Models and algorithms
Context dissemination and aggregation for ambient networks: jini based prototype
EuroSSC'06 Proceedings of the First European conference on Smart Sensing and Context
MRC'05 Proceedings of the Second international conference on Modeling and Retrieval of Context
Journal of Ambient Intelligence and Smart Environments
Adam: Identifying defects in context-aware adaptation
Journal of Systems and Software
SWAN-song: a flexible context expression language for smartphones
Proceedings of the Third International Workshop on Sensing Applications on Mobile Phones
An offset algorithm for conflict resolution in context-aware computing
UIC'07 Proceedings of the 4th international conference on Ubiquitous Intelligence and Computing
A situation-based delivery of learning resources in pervasive learning
EC-TEL'07 Proceedings of the Second European conference on Technology Enhanced Learning: creating new learning experiences on a global scale
MIMOSA: context-aware adaptation for ubiquitous web access
Personal and Ubiquitous Computing
Middleware for pervasive computing: A survey
Pervasive and Mobile Computing
Decentralized checking of context inconsistency in pervasive computing environments
The Journal of Supercomputing
A rule-based contextual reasoning platform for ambient intelligence environments
RuleML'13 Proceedings of the 7th international conference on Theory, Practice, and Applications of Rules on the Web
Managing environment and adaptation risks for the internetware paradigm
Theories of Programming and Formal Methods
COMITY: A framework for adaptation coordination in multi-platform pervasive systems
Pervasive and Mobile Computing
Context-aware hybrid reasoning framework for pervasive healthcare
Personal and Ubiquitous Computing
Hi-index | 0.00 |
Context simplifies and enriches human-human interaction. However, enhancing human-computer interaction through the use of context remains a difficult task. Applications in pervasive and mobile environments need to be context-aware so that they can adapt themselves to rapidly changing situations. One of the problems is that there is no common, reusable model for context used by these environments. In this paper, we propose a model of context that is based on first order predicate calculus. The first order model allows complex rules involving contexts to be written. It also enables automated inductive and deductive reasoning to be done on contextual information. The first order model allows an expressive description of context using Boolean operators and existential and universal quantifiers. Based on this model, an infrastructure to enable context-awareness in ubiquitous computing environments has been developed. The infrastructure allows the easy development and deployment of various sensors and context-aware applications. It also allows distributed reasoning to take place. This context infrastructure is part of our smart spaces framework for ubiquitous computing, Gaia.