Université du Québec en OutaouaisNouvelles de technologies de la répartition

 

Accueil
Comités
Appel à publication
Dates importantes
Soumission d'articles
Programme
Inscription
Hébergement
L'UQO et sa région

 

Programme préliminaire

 
Lundi, 29 août 2005

 
8:00 – 9:00
Inscription à la conférence et aux tutoriels
 
Petit déjeuner
 
9:00 – 10:30 Tutoriel 1 (local E0204)

Rachid Guerraoui

Introduction to Reliable Distributed Computing

Tutoriel 2  (local E0209)

Pierre de Saqui-Sannes,

Ludovic Apvrille

TURTLE: a UML 2.0 Profile and Toolkit for Real-Time and Distributed System Development
10:30 – 11:00 Pause café
11:00 – 12:30 Tutoriel 1 (local E0204)

Rachid Guerraoui

Introduction to Reliable Distributed Computing

 		 Tutoriel 2 (local E0209)

Pierre de Saqui-Sannes,

Ludovic Apvrille

TURTLE: a UML 2.0 Profile and Toolkit for Real-Time and Distributed System Development

 

12:30 – 14:00 Dîner au restaurant Palais du Vietnam
 
14:00 – 15:30 Tutoriel 3 (local E0204)

Michel Barbeau 

Réseaux Ad Hoc


 

 Tutoriel 4 (local E0209)

Eric Putrycz

Performance techniques for COTS systems / Gestion de la performance avec les produits de l’étagère


 
15:30 – 16:00 Pause café
16:00 – 17:30

Tutoriel 3 (local E0204)

Michel Barbeau

Réseaux Ad Hoc

 

 Tutoriel 4 (local E0209)

Eric Putrycz

Performance techniques for COTS systems / Gestion de la performance avec les produits de l’étagère

 
17:45– 19:00 Réception
 
 
Mardi, 30 août 2005 (local D0443)

8:00 – 8:50 Inscription à la conférence
Petit déjeuner
 
8:50 – 9:00 Ouverture de la conférence
9:00 – 10:15

Conférencier invité: Rachid Guerraoui

bullet

(Almost) All Atomic Objects are Equal in a Distributed System

 
10:15 – 10:45 Pause café
10:45 – 12:15 Session 1 : Mobilité

 

bulletVers une spécification de Mobile IP à l'aide de Mobile Z.

M. Maouche,  M. Bettaz (Philadelphia University)
 

bulletA Framework for Two Phase Reconciliation in Mobile Databases. 

M. Abdur Rahman, S. Abdala, A. El Saddik (University of Ottawa)
 

bulletDe la spécification au test de protocoles de mobilité.

Francine N. Noudem, C. Viho (IRISA)
 

 
12:15 – 13:30 Dîner au restaurant Palais du Vietnam
13:30 – 15:00 Session 2 : Composants et intergiciels

 

bulletDéploiement adaptatif des composants dans les sessions collaboratives.

E. Hammami, T. Villemur (LAAS-CNRS)
 

bullet Mécanismes de réactivité au contexte dans un intergiciel orienté composant.

N. Belhanafi, C. Taconet, G. Bernard  (GET/INT CNRS UMR SAMOVAR)
 

bullet A Message-Based Middleware for Asynchronous Operations: Issues & Experience.

A. Benssam (CIISE, Concordia Univerisity), A. Boukhtouta, (DRDC Valcartier), M. Debbabi, H. Issa, S. Ray (CIISE, Concordia Univerisity), A. Sahi (DRDC Valcartier)
 
15:00 – 15:30 Pause café
15:30 – 17:30 Session 3 : Sécurité

 

bullet ASPiC: a Tool for Symbolic Analysis of Crypto-Protocols Based on Interference Checking.

G. Bastien, J. Mullins (École Polytechnique de Montréal)
 

bullet Providing Security as a Web Service: Example and Analysis.

J. Sequeira Torreira da Silva (Concordia University), R. Glitho (Ericsson Canada), F. Khendek (Concordia University)

 

bullet Access control policies: modeling and validation.

M. Mankai, L. Logrippo (Université du Québec en Outaouais)
 

bullet Timed Secure Colored Petri Net.

H. Rakkay, H. Boucheneb (Ecole Polytechnique de Montréal)
 
19:00 – Souper du Comité de Programme
 
Mercredi, 31 août 2005 (local D0443)

8:30 – 9:00 Petit déjeuner
 
9:00 – 10:15 Conférencier invité: Nicolas D. Georganas

 

bulletDistributed and Collaborative Virtual Environments: Applications, Standards and Performance Issues.

 
10:15 – 10:45 Pause café
10:45 – 12:15 Session 4 : Technologies Web


 
bullet Une architecture de serveurs web distribuée avec qualité de service.

A. Preti, A. Benslimane, R. Elazouzi (Université d'Avignon) P. Gomez (LogicielNet)
 

bullet JRegistry : An Extensible UDDI Registry.

H. Mili, R. Ben Tamrout, A. Obaid (Université du Québec à Montréal)

 

bulletWeb sémantique et gestion par politiques

M. Chamoun, R. Kilany (Université Saint Joseph, Liban), A. Serhrouchni (École Nationale Supérieure de Télécommunication, Paris)
 

 
12:15 – 13:30 Dîner servi sur place
 
13:30 – 15:30 Session 5 : Test et vérification

 

bullet

Une méthode de génération de tests à partir d'UML. Applications aux services d'enseignement à distance.

A. Cavalli, S. Maag (GET/INT), F. Zaidi (Université Paris Sud)

 
bullet

Une architecture multi-observateur pour l'observation des services web composés

A. Benharref, M. Adel Serhani (Concordia University)
Roch Glitho (Ericsson), Rachida Dssouli (Concordia University)
 

bullet Propositional Scopes in Linear Temporal Logic.

M. Haydar, S. Boroday, A. Petrenko (Centre de recherche informatique de Montréal), H. Sahraoui (Université de Montréal)
 

bullet Contributions to Automated Testing of Network Service Interactions.

R. Deca, O. Mahrez, O. Cherkaoui (Université du Québec à Montréal), Y. Savaria (École Polytechnique de Montréal), D. Slone (Cisco Systems)
 

 
15:30 – 15:45

Pause café
17:00 -19:00 Visite du Parc de la Gatineau
19:00 -
 		 Banquet au restaurant L'Orée du Bois
 
 
Jeudi, 1er septembre 2005 (local D0443)

8:30 – 9:00 Petit déjeuner
 
9:00 – 10:30 Session 6 : Aspects implémentation

 

bulletTechniques d'aspect pour la gestion de la mémoire répartie dans un environnement scientifique fondé sur CORBA en C++

T. Soueid (Université de Paris 6), N. Yahiaoui, (Université de Versailles St Quentin), L. Seinturier (Université de Paris 6),
B. Traverson (EDF R&D)
 

bullet LEICA: Un environnement faiblement couplé pour l’intégration d’applications coopératives.

R. L. Gomes, G. de J. Hoyos-Rivera, J. P. Courtiat (LAAS-CNRS)
 

bullet Gestion dynamique de groupe dans un environnement de contrôle de visioconférence.

M. Ouzzif (ESTC), M. Erradi (ENSIAS),  J-P. Courtiat (LAAS)
 

 
10:30 – 11:00 Pause café
11:00 – 12:30 Session 7 : Modélisation

 

bullet Une méthodologie de conception des systèmes distribués basée sur UML.

L. Apvrille (GET/ENST), P. de Saqui-Sannes (ENSICA & LAAS-CNRS), A. Apvrille
 
bullet jUCMNav: une nouvelle plateforme ouverte pour l'édition et l'analyse de modèles UCM.

J. Kealey, E. Tremblay, J. P. Daigle, J. McManus, O. Clift-Noël, D. Amyot (Université d'Ottawa)
 

bulletProcessus d’affaire pour le marché électrique : de la conception à l’exécution

J. Bellec (Université de Versailles St Quentin), O. Boudeville (EDF R&D), C. Darragi (Université de Versailles St Quentin),
B. Traverson (EDF R&D)
 
12:30 – 12:45 Mot de la fin
 
12:45 – 14:00 Dîner servi sur place

 

 

 


Copyright © 2005 NOTERE'2005
Dernière modification : 3 août 2005