This shows you the differences between two versions of the page.
Both sides previous revision Previous revision Next revision | Previous revision | ||
crime:introduction [2009/11/30 16:58] dharnie *prog->soft, |
crime:introduction [2010/07/31 16:08] (current) stijnm * |
||
---|---|---|---|
Line 6: | Line 6: | ||
A key feature of CRIME is that applications can explicitly respond to the removal of information. This gives fine-grained control over how an application should respond to disconnection, | A key feature of CRIME is that applications can explicitly respond to the removal of information. This gives fine-grained control over how an application should respond to disconnection, | ||
- | The CRIME Engine that was developed by Christophe and Eline in the context of their master thesis is available for download [[crime: | + | The CRIME Engine that was developed by Christophe and Eline in the context of their master thesis is available for download [[crime: |
Line 25: | Line 25: | ||
Proposes the addition of operators from Metric Temporal Logic to the CRIME coordination language and illustrates how they can be used to make applications provide //smarter// context-aware behavior. | Proposes the addition of operators from Metric Temporal Logic to the CRIME coordination language and illustrates how they can be used to make applications provide //smarter// context-aware behavior. | ||
</ | </ | ||
- | |||
- |