Ci-dessous, les différences entre deux révisions de la page.
Les deux révisions précédentes Révision précédente | Prochaine révision Les deux révisions suivantes | ||
draft_paper_sc_2010 [2010/01/12 16:18] tigli |
draft_paper_sc_2010 [2010/01/12 16:24] tigli |
||
---|---|---|---|
Ligne 5: | Ligne 5: | ||
===== Introduction ===== | ===== Introduction ===== | ||
+ | |||
+ | ===== Ambient Intelligence ===== | ||
+ | |||
+ | ===== For example : Activity Recognition ===== | ||
+ | |||
===== Service or Component ? ===== | ===== Service or Component ? ===== | ||
Ligne 16: | Ligne 21: | ||
===== Service oriented Devices Composition ===== | ===== Service oriented Devices Composition ===== | ||
+ | |||
+ | ==== Services Composition ==== | ||
* Language based | * Language based | ||
* Assembly based | * Assembly based | ||
- | * Lack of determinism and proof | ||
+ | ==== Concurrent Access to service ==== | ||
+ | |||
+ | * Lack of determinism and proof in the case of Stateful Service ... | ||
+ | * | ||
+ | ===== Our Approach ===== | ||
+ | |||
+ | * Synchronous Hypothesis and Prooved Monitor Component | ||
- | * Synchronous | ||
* Activity Recognition Application | * Activity Recognition Application |