User Tools

Site Tools


crime:introduction

Differences

This shows you the differences between two versions of the page.

Link to this comparison view

Next revision
Previous revision
crime:introduction [2007/03/13 11:32]
stijnm created
crime:introduction [2010/07/31 16:08]
stijnm *
Line 1: Line 1:
-====== Introduction to CRIME ====== 
-CRIME (Consistent Reasoning in a Mobile Environment) is a logic-based coordination language, which implements the Fact Spaces Model. The essence of the language is that applications can assert and retract public facts which represent knowledge about their immediate environment. Using rules, applications can respond to both the appearance and disappearance of facts, allowing them to react to changes in their environment. 
- 
-Moreover, facts are automatically retracted whenever the device that provided them becomes unreachable. This allows applications to deal with the disconnection of context information providers in a structured way. A more complete discussion of the design rationale behind the CRIME coordination language is documented in [[http://prog.vub.ac.be/~smostinc/research/factspaces.pdf|this paper]]. 
- 
-<note>The paper linked to above is a draft version which was submitted for review for the COORDINATION 2007 conference. The camera-ready version which was improved and extended to address the reviewer comments will appear in the proceedings of that conference.</note> 
  
crime/introduction.txt ยท Last modified: 2010/07/31 16:08 by stijnm