Listes des documents 004. INFORMATIQUE Titre du document Adaptation dynamique pour modèle à composant logiciel Agent coopératifs : Prise de décision basée Négociation pour une Planification de la commercialisation Algorithme du lucioles discret pour l'inpainting géométrique d'image. Analyse de la cohérence des diagrammes d'activité UML. Annotation semantique du dossier electronique d'un patient du service pneumologie du chuc Application MDA pour la transformation d'un diagramme d'état Transition mobile vers un Nested. Application Web pour la classification TNM de la tumeur de la thyroide. Apprentissage des HMMS par algorithme de lucioles pour la recnnaissance des expressions faciales. Apprentissage des HMMS par évolution différentielle pour la classification des expressions faciales. Larouk Islem Asloudj Amina Bensouici Hamza Layeb Houssem Eddine Compaoré Moctar Louar Aya Boutelaa Amina Yahi Nour El Houda Arsène SIMBABAWE LM2D/800 02 LM2D/1004 02 LM2D/910 02 LM2D/ 984 02 LM2D/846 02 LM2D/ 1000 02 LM2D/962 02 LM2D/888 02 LM2D/906 02 Approche à base d'agent pour le regroupement dynamique des véhicules dans VANETs Gouga Mohammed Nadjib LM2D/1034 02 Approche basée sur la composition des services web pour réaliser l'interopérabilité entre les services web de CHU de Constantine "cas de service pn... Approche basée sur la fédération our réaliser l'interopérabilité entre les services de l'hôpital CHU Constantine Cas du service pneumologie et card... Approche pour l'analyse de la compatibilité comportementale des services web : Application dans l'e-governement Approche pour le support de la dynamicité dans un environnement pervasif. Classification des services web à base d'ontologie Allem Leila Achour Kaoutat Nadjma Soualah Abed Med Nadjib Bouchagour Kenza LM2D/820 02 LM2D/826 LM2D/852 02 LM2D/974 02 LM2D/810 02 Page 1
Classitication des services web basée sur les automates Composition des web services application aux régimes alimentaires Conception det réalisation d'un système d'information pour la gestion en réseau local des expertises au sein de l'entreprise EXAL de Constatnine Conception et implémentation d'un cloud saas pour l'exploitaftion des ontologies Conception et réalisation d'une application mobile de guide de voyage contraintes et adaptation Conception et réalisation d'une ontologie pour le service pneumo-phtisio du CHUC et son interrogtation Conception spécification et réalisation d'une application multimédia distribuée Construction d'une ontologie gérée par un web service domaine d'application : médecine interne Couplage de contours dans l'inpainting Géometrique d'image numériques : Optimisation par PSO discret. Cryptanalyse du RSA etude comparative de deux approches DC-Maude : langage pour la Spécification et L'adaptation D'application à base de composants. Détection de communauté dans les réseaux sociaux par approche d'optimisation bi-objectif Développement d'applications dédiées cloud sécurisées et outsourcing par chiffrement entièrement homomlorphe Développement d'un environnement pour la planivication des systèmes à haut risque Heguehoug Imene Asma Hioual Hallab Khaoula Aoun Zoulikha Aliouane Anfel Achi Mohsene Bidi Faouzi Belal abir Fergani Baha Boukhezar Billel Debza Ahmed Amar Djenna Ismehène Cheurfi Rima Chennouf Kenza LM2D/878 02 LM2D/203 02 LM2D/840 02 LM2D/828 02 LM2D/1048 02 LM2D/792 02 LM2D/1044 02 LM2D/798 02 LM2D/ 938 02 LM2D/1046 02 LM2D/1042 02 LM2D/982 02 LM2D/864 02 LM2D/814 02 Développement d'un jeu flash Kadem Sofiane LM2D/886 02 Développement d'un jeu web Beddiaf Oussama LM2D/898 02 Développement d'un outil d'aide a l'évaluation de la formation Développement d'un outil d'analyze de la sureté de fonctionnement des systèmes embarqués. Développement d'une application et technologie web Développement d'une application multi plateforme Boudechiche Chems Eddine Slimani Hadjer Amina Lahnèche Zerdoumi Saber Page 2 LM2D/1032 02 LM2D/ 994 02 LM2D/830 02 LM2D/968 02
Développement d'une architecture de sécurité contre les attaques par déni de service Idrim Manel LM2D/836 02 Edition et manipulation des Mop-ECATNets Khenchoul Zineb LM2D/1036 02 Essaims de particules quantiques et apprentissage par complément pour la segmentation d'images médicales : une approche basée seuillage Etude des approches pour la découverte des web sevices sémantiques Application d'un modèle d'appariement OWLS-MX Etude et comparaison des algorithmes de réécriture de requêtes dans un conteste de médiation Evaluation des performances de protocoles de routages dans les réseaux VANET. Evaluiation des performances de modèles d'ontologies vues à l'aide d'un génératerur d'instances Exploitation des services web à travers une application mobile Formalisation de l'elasticité des services cloud computing via les bigraphes et maude Formalisation du langage WS-BPEL par le langage D-LOTOS : application à la composition des services Web. Fusion d'images Médicales / Application et évolution de trois méthodes : DCT, DWT et la FSD. Implémentation d'un algorithme de vérification de la composition de services web Implémentation d'un service web sécurisé pour la gestion de stock au niveau de la direction régionale gestion de réseau de transport du gaz d'est "... Implémentation de la sécurité dans le protocole de routage AODV contre les arttaques de type blak hole. Implémentation de la substitution des services WEB pour le tri d'un vecteur. Implémentation et expérimentation d'une approche bassée agent pour la gestion des ressources dans le cloud computig. Lamis Ghoualmi Idri Ismail Toureche Hadjer Bitat Abir Ghemmza Wafa Cherabi Med Mehdi Ahmed Taki Eddine Dib Adama Modido Diawara. Khaldi Meriem Benabbas Soraya Amrani Amel Bah Moukhtar Souleymene Boulghlimat Med El Amine Khesrani Hind Ghofrane LM2D/866 02 LM2D/834 02 LM2D/854 02 LM2D/992 02 LM2D/806 02 LM2D/844 02 LM2D/1012 02 LM2D/ 998 02 LM2D/950 02 LM2D/812 02 LM2D/796 02 LM2D/890 02 LM2D/872 02 LM2D/ 858 02 Inpainting d'images basé sur la convolution Ayad Mohamed LM2D/920 02 Intégration des processus métier dans les e-applications SidiMansour Yazid LM2D/802 02 Page 3
Intégration du temps réel dans la spécification du déploiement en utilisant RT-Maude Interrogation du LOD (Linking Open Data Cloud - Cas de DBpedia - L'apport de la logique floue dans un système biométrique multimodale d'iris et d'empreinte digitale l'empechement d'une attaque de type DDoS dans un environnement Cloud Computing. La classification des services web à base d'un algorithme bio-informatique. La découverte des biomarqueurs par une nouvelle approche << Filtre Iterative >> La programmation par contraintes pour la résolution du problème d'emploi de temps La sécurisation des systèmes groupware basés sur ajax La spécification de la composition de deux patrons temps réel Zebiri Abdeldjallil Deliba Zinelabidine Seid Bouriche Houssam Khalfallah Ibtissem Bouraoui Azzedine Zarzi Amira Hocine Ramoul Nabti Amel Benlatreche Mohammed Radhwane LM2D/1016 02 LM2D/ 862 02 LM2D/918 02 LM2D/924 02 LM2D/1050 02 LM2D/972 02 LM2D/934 02 LM2D/902 02 LM2D/1020 02 La synthese vocale a partir d'un teste Mezdad Seif Eddine LM2D/930 02 Mécanisme sécurisé de stockage réseau pur les machines virtuelles dans une laas cloud computing Méta-Programmation et stratégies maude pour l'implémentation des systèmes de tuiles Mise en oeuvre d'un datawarehouse pour la société de ciments de hamma bouziane "SCHB" Modélisation bas'e d'un ERP : Module Acha/Approvisionnement Modélisation d'un arbra de routage multicast à travers un backbone mesh sans fil Modélisation et simulation du Hand-over dans les réseaux LTE. Nouvelle approche pour la classification des document du type teste Nouvelles variantes de l'algorithme de pollinisation basées sur l'apprentissage par complément et l'initialisation chaotique de la population Optimisation multi-objectifs par Essaim de particules pour le seuillage d'image bidimensionnel.. Optimisation des requêtes dans un système de recherche d'information : Approche basée PSO Elaouesse Houssem Yacine Massai Zineb Benfoughal Rokaya Sana Benzazia Boukabache Mohamed Seif Eddinne Kaidi Essaiah Yahia Sara Zakaria Abd El Moiz Dahi Aouissi Faiza Abdelhamid Nadji LM2D/900 02 LM2D/1022 02 LM2D/832 02 LM2D/856 02 LM2D/1014 02 LM2D/ 908 02 LM2D/914 02 LM2D/932 02 LM2D/928 02 LM2D/904 02 Page 4
Optimisation dynamique par essaims multiples : Application au suivi d'objets Optimisation multi-objectif basée essaim avec Fonction de pénalité. Optimisation multi-objectif par les colonies d'abeilles artificielles : Imapact des méthodes de sélection de guides et des méthodes d'archivage Optimisation par firefly multi-objectif : Application à la segmentation d'image Boulesnane Abdennour Bounab Karima Benmahammed Sara Hamidechi Mohamed LM2D/940 02 LM2D/986 02 LM2D/956 02 LM2D/980 02 Outil de translation des Biraghes en Maude. Alliouche Meriem LM2D/1030 02 Outils d'aide pédagogique pour la formation : Czs du présentiel Prise en charge de l'accessibilité du web pour les handicapés visuels Proposition d'une architecture d'unh système honeypot basée sur le calcul organique Proposition et implémentation de solutions de géolocalisation pour AlL-MADAR PROSCAN. Réalisation d'un outil d'aide pédagogique à la formation GL et sa version sous android Réalisation d'un outil d'exécution parallèle pour des algorithmes évolutionnaires -inspirés quantique. Réalisation d'une application de réalité augmentée mobile Recherche d'information dans lzs réseaux sociaux et les blogs Recherche sur la Résolution des Problèmes d'affectation et de Réutilisation de fréquences pour les Opérateurs de la téléhponie Mobile. Référencement sématnique à BASE d'ontologie pour le WEB en langue arabe. Représentation des patrons de conception tmps réel dans le profil UML -MARTE Requete Sémantique sur les Ressources Documentaires DBLP. Bousenada Ahlem Boulebier Abdallah Okba Amirèche Hibet Errahmane Haddadi Toufik El- Mamoune Boussandel Brahim Ferifet Lamine Maouche Oussama Bourenane Oussama Boussouf Imed Khenioui Momhammed El Amine Hamla Amine Kerouaz Redouane LM2D/1010 02 LM2D/838 02 LM2D/952 02 LM2D/ 958 02 LM2D/1024 02 LM2D/ 988 02 LM2D/1054 02 LM2D/876 02 LM2D/ 870 02 LM2D/ 1038 02 LM2D/1026 02 LM2D/ 860 02 Réseaux verts Etude de cas filaire. Hosna Dounia Imen LM2D/1040 02 Résolution de problèmees combinatoires par la programmation par contrainte "Appliquée sur la planification horaire" Sécurisation des communications entre cloud computing provider et ces clients Sécurité dans les vanets : Approche par Cryptographie à CourbeElliptique. Mechati Hamza Boukous Amina Lakhal Amina LM2D/880 02 LM2D/922 02 LM2D/984 02 Page 5
Sécurité des dossiers médicaux personnels sur le Cloud Sélection des services web basée sur la qualité de service Delilache Imen Houar Yacine LM2D/808 02 LM2D/944 02 Signature numérique en XML Boudjellal Naziha LM2D/850 02 Simulation phsique dans les jeux vidéo. Latreche Imed Eddine LM2D/ 874 02 Simulation d'un environnement cloud computing Simulation et Evaluation d'un Algorihme de découverte des web services dans un réseau P2P Spécification d'un protocole de routage multichemins dans un réseau mesh sans fil. Spécification maude du protocole d'authentification NSPK Suuivi d'objets mobiles par optimisation dynamique Système de sauvegarde externalisée basé sur les SMA et inspiré d'architecture GRID. Systèmes d'aide à la décision et agents coopératifs : Planificationde la production au sein d'une semouerie Transformation de la notation BPMN vers les Réseaux de pétrie. Transformation des diagrammes UML vers les spécifications B en utilisant TGG Transformation des modèles Workflow vers LOTOS. Transtormation des chaines de processus événementielles vers les réseaux de péri Un algorithme de recherche gravitationnelle pour le seuillage multi-niveaux d'images médicales Un portail WEB pour le système Pédagogique de la faculté d'informatique Option Master. Un processus de matching à large échelle pour une intégration sémantique de l'entreprise virtuelle Un système Multi-Agents Basé Théorie du danger pour la classifacation des images. Un système Multithreading d'identification multipe en biométrie faciale. Une API pour la génération des vues et points de vue dans des bases de données à base ontologique Bouanane Hadjer Bounas Mohamed Elhadi Baiben Islem Tahli Anis Meriem Bettoum Bouza Reda Ahcene Teniou Aliouane Med El Ghazali Ayache Mohamed Diabi Med elhadi Lachetar Abderrahim Nassim Lakhdar Zebilah Raouf GuerrouI Houda Hannache Oussama Ghamousse Abdelmounaim Bouzenada Sabrina LM2D/942 02 LM2D/954 02 LM2D/1028 02 LM2D/1018 02 LM2D/970 02 LM2D/ 964 02 LM2D/966 02 LM2D/990 02 LM2D/1008 02 LM2D/946 02 LM2D/978 02 LM2D/882 02 LM2D/996 02 LM2D/804 02 LM2D/ 976 02 LM2D/ 892 02 LM2D/816 02 Page 6
Une approche à base d'ontologies pour l'amélioration de la recherche d'informations médicales sur le web Benbouzid Lokman LM2D/894 02 Une approche de sélection des services web Lallam Djallal LM2D/1052 02 Une approche de transformation de diagrammes d'activités aspectsvers les réseaux de péri colorés basée sur la transformation de graphes Une approche MDA pour la transformation d'un diagramme de classes vers code C Une approche pour améliorer le référencement des sites web SEO Une approche pour l'auto-protection de l'agent mobile Une architecture à base d'agents pour la résolution du problème de réaménagement de plan de fréquences pour les opérateurs de la téléphonie mobile Une architecture basée agent dédiée au commerce électronique Une architecture basée agent pour la réalisation d'un portail gouvernemental Une architecture pour le développement et le déploiement d'applications métiers robustes au sein du gloud Une Méthode d'optimisation par Essaim de particule Hybride pour le recalage d'images. Une nouvelle approche pour le diagnostic du cancer basée sur l'optimisation distribuée et le clustering par consensus Utilisation des marqueurs de la bibliothèque artoolkit pour la manipulation interactive d'objets virtuels Variantes de l'algorithme de lucioles pour l'amélioration des images médicales couleur et en viveaux de gris. Vérification des processus métiers avec l'outi TINA une approche basée sur la transformation de graphes Vers l'utilisation des design patterns pour la conception et réalisation des web services Louar Adnane Delimi Nadir Haioun Fatima Zahra Adjabi Meriem Loucif Chawki Bendahmane Ines Mechakel Fadila Ghazi Zineb Aouf Imene Bensehamdi Nahla Beniaiche Imnes Talbi Une approche à base d'ontologie... Benayad Zeyneb Boucellah Rokia Boussena Halima Damak Sabrine LM2D/1006 02 LM2D/912 02 LM2D/842 02 LM2D/818 02 LM2D/868 02 LM2D/822 02 LM2D/794 02 LM2D/884 02 LM2D/926 02 LM2D/916 02 LM2D/896 02 LM2D/936 02 LM2D/1002 02 LM2D/824 02 Page 7