Search:
By Type:
Masters Thesis
| 2012 | |
| [24] | , Extension et adaptation d'un langage d'aspect pour les systèmes temps réel, Master's thesis, École Nationale d'Ingénieurs de Sfax, 2012. [bibtex] |
| 2011 | |
| [23] | , 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] |
| [22] | , 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] |
| [21] | , Modélisation @Run.Time des Applications à Base de Composants, Master's thesis, École Nationale d'Ingénieurs de Sfax, 2011. [bibtex] |
| [20] | , 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] |
| [19] | , 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] |
| [18] | , 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] |
| [17] | , 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] |
| [16] | , Conception et Développement d'un Support d'Exécution pour systèmes TR\up2E dynamiquement reconfigurables, Master's thesis, École Nationale d'Ingénieurs de Sfax, 2011. [bibtex] |
| [15] | , 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] |
| 2010 | |
| [14] | , Exploitation des liens pour la recherche d'images dans des documents XML, Master's thesis, École Nationale d'Ingénieurs de Sfax, 2010. [bibtex] |
| [13] | , 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] |
| [12] | , 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] |
| [11] | , 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] |
| 2009 | |
| [10] | , 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] |
| [9] | , É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] |
| [8] | , 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] |
| 2008 | |
| [7] | , Conception d'un Service d'Évènement Distribué Basé Contenu Sécurisé, Master's thesis, École Nationale d'Ingénieurs de Sfax, Tunisie, 2008. [bibtex] |
| [6] | , Modélisation et Raffinement du Déploiement Dynamique des Architectures Logicielles Distribuées, Master's thesis, Ecole Nationale d'Ingenieurs de Sfax, University de Sfax, Tunisie, 2008. [bibtex] |
| [5] | , 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, 2008. [bibtex] |
| 2007 | |
| [4] | , Une démarche de validation de spécifications formelles des architectures logicielles , Master's thesis, École Nationale d'Ingénieurs de Sfax, Tunisie, 2007. [bibtex] |
| 2006 | |
| [3] | , 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, 2006. [bibtex] |
| 2005 | |
| [2] | , Spécification et Vérification Formelles d’une Solution Multi-Agent pour la Résolution de Conflits Aériens, Master's thesis, École Nationale d'Ingénieurs de Sfax, Tunisie, 2005. [bibtex] |
| 2002 | |
| [1] | , Rationalité et composition d’automate multiplicités, Master's thesis, Faculté des Sciences et Techniques, Université de Rouen, France, 2002. [bibtex] |
ReDCAD
National School of Engineering of Sfax
www.enis.rnu.tn
University of Sfax, Tunisia
www.uss.rnu.tn
Contact
Prof. Dr. Eng. Mohamed Jmaiel
Research Center for Computer Science, Multimedia and Digital Data Processing of Sfax, Send an EmailPhone: +216 74 666 578
Address
National School of Engineers of Sfax
Department of Computer Science and Applied Mathematics
ReDCAD Laboratory
B.P. 1173, 3038 Sfax, Tunisia