ReDCAD laboratory   |  ENIS   |  University of Sfax  

Research Unit of Development and Control of
Distributed Applications (ReDCAD)

05/UR/14-03, National School of Engineering of Sfax, University of Sfax

Research
Join ReDCAD
Useful Informations
 
Publications: Masters

International Journals Articles

Books

International Conferences Papers

Technical Reports

Theses

Masters

Masters

[1] Meriam MAHJOUB. Etude et expérimentation du cloud computing pour le monitoring des applications orientées services. Master's thesis, École Nationale d'Ingénieurs de Sfax, 2011. [ BibTeX | PDF ]
[2] Mouna Ktari. Une technique de tolérance aux pannes franches dans les systèmes à base d'agents mobiles. Master's thesis, École Nationale d'Ingénieurs de Sfax, 2011. [ BibTeX | PDF ]
[3] Wafa MEKKI. Définition et validation d’une approche de monitoring et d’analyse proactive des systèmes publier/souscrire déployés sur les réseaux mobiles ad hoc. Master's thesis, École Nationale d'Ingénieurs de Sfax, 2011. [ BibTeX | PDF ]
[4] Nesrine Khabou. Définition et validation d'une approche de monitoring et d'analyse des systèmes publier/souscrire déployés sur manet. Master's thesis, École Nationale d'Ingénieurs de Sfax, 2011. [ BibTeX | PDF ]
[5] Alvine Boaye Belle. Conception et développement d'un support d'exécution pour systèmes tr2e dynamiquement reconfigurables. Master's thesis, École Nationale d'Ingénieurs de Sfax, 2011. [ BibTeX | PDF ]
[6] Wafa Gabsi. Modélisation @run.time des applications à base de composants. Master's thesis, École Nationale d'Ingénieurs de Sfax, 2011. [ BibTeX | PDF ]
[7] Fatma Abdennadher. Traitement de la forte dynamicité dans un système publier/souscrire basé dht. Master's thesis, École Nationale d'Ingénieurs de Sfax, 2011. [ BibTeX | PDF ]
[8] Sellami Wael. Une approche formelle pour la vérification des propriétés non fonctionnelles d'orchestration des services web. Master's thesis, Faculté des Sciences Économiques et de Gestion de Sfax, 2011. [ BibTeX | PDF ]
[9] Amal Gassara. Vérification formelle des propriétés non fonctionnelles des rtes dynamiquement reconfigurables. Master's thesis, École Nationale d'Ingénieurs de Sfax, 2011. [ BibTeX | PDF ]
[10] Maissa Ben Jamaa. An Experimental Study for the Performance Evaluation and Optimization of Link Quality Estimators in Wireless Sensor Networks. Master's thesis, The Faculty of Economics and Management of Sfax, 2010. [ BibTeX | PDF ]
[11] Sihem Loukil. Extension d'un langage de description d'architecture pour la programmation orientée aspect. Master's thesis, École Nationale d'Ingénieurs de Sfax, 2010. [ BibTeX | PDF ]
[12] Hatem Awadi. Exploitation des liens pour la recherche d'images dans des documents xml. Master's thesis, École Nationale d'Ingénieurs de Sfax, 2010. [ BibTeX | PDF ]
[13] Imen Tounsi. Une approche pour la modélisation et la vérification des politiques d'adaptation pour le style P/S. Master's thesis, Faculté des Sciences Économiques et de Gestion de Sfax, 2010. [ BibTeX | PDF ]
[14] Zeineb Graja. Méthode ForMAAD: vers une approche dirigée par les modèles pour la conception d'applications à base d'agents. Master's thesis, Faculté des Sciences Économiques et de Gestion de Sfax, 2009. [ BibTeX | PDF ]
[15] Afef Jmal Maâlej. Évaluation de Politiques d'Auto-Adaptabilité basées sur la Mobilité des Services Web Orchestrés. Master's thesis, École Nationale d'Ingénieurs de Sfax, 2009. [ BibTeX | PDF ]
[16] Afef Mdhaffar. Définition et validation d'une approche d'analyse des performances des services Web mobiles. Master's thesis, École Nationale d'Ingénieurs de Sfax, 2009. [ BibTeX | PDF ]
[17] Imene Lahyani. Une approche pour l'assurance des qualités de services des systèmes publier/souscrire déployés sur un réseau mobile ad-hoc. Master's thesis, École Nationale d'Ingénieurs de Sfax, Tunisie, July 2008. [ BibTeX | PDF ]
[18] Amina Chaabane. Conception d'un Service d'Évènement Distribué Basé Contenu Sécurisé. Master's thesis, École Nationale d'Ingénieurs de Sfax, Tunisie, July 2008. [ BibTeX | PDF ]
[19] Lamia Yangui Bouaziz. Une démarche de validation de spécifications formelles des architectures logicielles . Master's thesis, École Nationale d'Ingénieurs de Sfax, Tunisie, July 2007. [ BibTeX | PDF ]
[20] Nouha Baccour. Conception d'une Nouvelle Strategie de Routage Dynamique pour les Reseaux Mobiles ad hoc. Master's thesis, École Nationale d'Ingénieurs de Sfax, Tunisie, June 2006. [ BibTeX | PDF ]
[21] Kaouthar Fakhfakh. Composition de protocoles métier de services web pour le passage à l'échelle en utilisant les automates. Master's thesis, Institut national des sciences appliquées (INSA) de Lyon, 2006. [ BibTeX | PDF ]