User Tools

Site Tools


crime:introduction

Differences

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

Link to this comparison view

Both sides previous revision Previous revision
Next revision
Previous revision
crime:introduction [2008/06/16 13:34]
stijnm Fixed
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 [[ftp://prog.vub.ac.be/tech_report/2007/vub-prog-tr-07-06.pdf|this paper]]. 
- 
- 
  
crime/introduction.txt ยท Last modified: 2010/07/31 16:08 by stijnm