The active badge location system
ACM Transactions on Information Systems (TOIS)
DLP: a language for distributed logic programming: design, semantics, and implementation
DLP: a language for distributed logic programming: design, semantics, and implementation
Expert Systems: Principles and Programming
Expert Systems: Principles and Programming
A Middleware Infrastructure for Active Spaces
IEEE Pervasive Computing
Chisel: A Policy-Driven, Context-Aware, Dynamic Adaptation Framework
POLICY '03 Proceedings of the 4th IEEE International Workshop on Policies for Distributed Systems and Networks
Jess in Action: Java Rule-Based Systems
Jess in Action: Java Rule-Based Systems
LIME: A Middleware for Physical and Logical Mobility
ICDCS '01 Proceedings of the The 21st International Conference on Distributed Computing Systems
An infrastructure for context-awareness based on first order logic
Personal and Ubiquitous Computing
Self-maintained distributed tuples for field-based coordination in dynamic networks
Proceedings of the 2004 ACM symposium on Applied computing
A context-aware middleware for applications in mobile Ad Hoc environments
MPAC '04 Proceedings of the 2nd workshop on Middleware for pervasive and ad-hoc computing
The AWARE architecture: supporting context-mediated social awareness in mobile cooperation
CSCW '04 Proceedings of the 2004 ACM conference on Computer supported cooperative work
LANDMARC: indoor location sensing using active RFID
Wireless Networks - Special issue: Pervasive computing and communications
Using Stigmergy to Co-Ordinate Pervasive Computing Environments
WMCSA '04 Proceedings of the Sixth IEEE Workshop on Mobile Computing Systems and Applications
HICSS '05 Proceedings of the Proceedings of the 38th Annual Hawaii International Conference on System Sciences (HICSS'05) - Track 3 - Volume 03
WildCAT: a generic framework for context-aware applications
MPAC '05 Proceedings of the 3rd international workshop on Middleware for pervasive and ad-hoc computing
Human-Computer Interaction
Orchestrating context-aware systems: a design perspective
Proceedings of the first international workshop on Context-aware software technology and applications
An event-based coordination model for context-aware applications
COORDINATION'08 Proceedings of the 10th international conference on Coordination models and languages
Context-aware tuples for the ambient
OTM'10 Proceedings of the 2010 international conference on On the move to meaningful internet systems: Part II
NOW: a workflow language for orchestration in nomadic networks
COORDINATION'10 Proceedings of the 12th international conference on Coordination Models and Languages
Group orchestration in a mobile environment
COORDINATION'12 Proceedings of the 14th international conference on Coordination Models and Languages
NOW: Orchestrating services in a nomadic network using a dedicated workflow language
Science of Computer Programming
CrimeSPOT: A language and runtime for developing active wireless sensor network applications
Science of Computer Programming
| Hi-index | 0.00 |
Coordination languages for ad hoc networks with a fluid topology do not offer adequate support to detect and deal with device disconnection. Such a disconnection is particularly relevant if the device provided context information rather than emitting messages, as such context information then becomes invalid. This paper proposes the Fact Space Model which establishes a logic coordination language on top of LIME's federated tuple space. In the model, the federated space offers applications a consistent view of their environment over which they can reason using logic rules. These rules encode which conclusions may be drawn from the presence of particular facts, and are similarly used to ensure the consistency of these conclusions when devices go out of range. By allowing applications to add application-specific hooks to these rules, the application programmer is offered a general-purpose mechanism to respond to the discovery and disconnection of devices.