|
|
 |
|
Mardi 17 Mai
| Heure: |
14:00 - 17:00 |
| Lieu: |
Salle B107, bâtiment B, Université de Villetaneuse |
| Résumé: |
Analytic combinatorics |
| Description: |
Bernhard Gittenberger |
Mercredi 18 Mai
| Heure: |
14:00 - 15:00 |
| Lieu: |
Salle B107, bâtiment B, Université de Villetaneuse |
| Résumé: |
Vers la conception formelle de systèmes dédition collaborative consistants |
| Description: |
Hanifa Boucheneb Les systèmes dédition collaborative permettent à un groupe dutilisateurs de partager et modifier des objets (textes, images, d ocuments XML, etc.) via le Web. Pour une meilleure réactivité aux opérations dédition, ces systèmes sont en général basés sur la réplication des données. Chaque utilisateur a donc sa propre copie (locale) de lobjet quil peut modifier. Les modifications (opérations) locales sont ensuite propagées et intégrées aux autres copies. Un des défis majeurs de ces systèmes est dassurer la consistance des données répliquées. Ce séminaire présentera et discutera les principales approches dintégration des modifications non locales, proposées dans littérature. Il considérera ensuite les approches basées sur la transformation des opérations (OT) et montrera comment utiliser les méthodes formelles (model-checking symbolique et synthèse de contrôleur) pour vérifier si une approche OT assure la consistance des données répliquées et synthétiser une approche OT qui assure la consistance des données répliquées. |
|
|
