- Monday
- April 7th, 2025
- Ajouter un cours
Sommaire: UML et model checking INTRODUCTION GENERALE CHAPITRE I : UML & GENIE LOGICIEL 1. LE GENIE LOGICIEL 1.1 DEFINITION 1.2 CRITERES DE QUALITE D’UN PRODUIT LOGICIEL 1.3 CYCLE DE VIE D’UN LOGICIEL 1.4 MODELE DE CYCLE DE VIE D’UN PRODUIT...
Sommaire: Rétro-ingénierie des modèles comportementaux d’UML II LISTE DES FIGURES INTRODUCTION PARTIE 1 : ÉTAT DE L’ART CHAPITRE 1 : RÉTRO-INGÉNIERIE 1. Introduction 2. Origine et Définition de la rétro-ingénierie 3. Apports de la rétro-ingénierie logiciel 4. Étapes de la rétro-ingénierie...
Sommaire: Résolution des problèmes multi objectifs à base de colonies de fourmi Introduction générale Présentation Organisation du mémoire Chapitre 1. Optimisation Combinatoire 1.1. Introduction 1.2. Définition (problème combinatoire) 1.4. Exemples de problèmes d'optimisation combinatoire 1.5. Résolution d’un problème d’optimisation combinatoire 1.6....
Sommaire: Spécification formelle des systèmes mobiles temps réel Notations générales Remerciements Résumé 1 Introduction 1.1 Context 1.2 Contributions 1.3 Plandudocument 2 Modèles algébriques de spécification des applications mobiles 2.1 Introductionauxalgèbresdeprocessus 2.1.1 CCS:CalculusofCommunicatingSystems 2.1.2 Algèbre de processus à synchronisation multiple :...

Introduction générale Chapitre 1: Robotique de groupe 1.1.Introduction 1.2.Intelligence en essaim 1.3.Robotique 1.3.1. Introduction 1.3.2. Architecture générale d’un robot 1.3.3. Architecture de contrôle d’un robot mobile autonome 1.3.3.1. Architecture de contrôle cognitive 1.3.3.2. Architecture de contrôle réactive 1.3.3.3. Architecture de...
Sommaire: Classification et reconnaissance d’objets en utilisant les points d’intérêt Résumé Abstract Table des matières Liste des figures Introduction et Motivations Introduction Motivations Approche proposée Contributions Plan du mémoire Chapitre I Les Principes de la Recherche par le Contenu Visuel ...
Sommaire: Pour une QoS au niveau de la couche MAC dans les réseaux sans fil Abréviations Liste des Figures Liste des Tables Résumé Abstract Introduction générale I. Les réseaux sans fil I.1. Introduction I.2. Caractéristiques des communications sans fil I.3....
Sommaire: Analyse du mouvement et suivi de cibles mobiles dans les séquences vidéo Introduction I ETAT DE L'ART PROBLEMATIQUE I.2 SEGMENTATION DES IMAGES I.2.1 Détection des contours I.2.1.1 Détection par filtrage I.2.1.2 Les opérateurs basées sur le Laplacien I.2.1.3 Autre...
Sommaire: Tatouage numérique des images couleurs RGB Introduction generale I Etat de l’art 1 Introduction aux images numeriques 1.1 Introduction 1.2 Les images numeriques et le systeme visuel humain 1.3 Numerisation des images 1.3.1 Processus de numerisation 1.3.2 Fidelite de...
Sommaire: Une approche pour l’hybridation des techniques de localisation INTRODUCTION GENERALE 1. Etat de l’art des techniques et systèmes de localisation 1.1 Introduction 1.2 Localisation et positionnement 1.3 Positionnement de personnes et d'appareils 1.4 Exemples de services de localisation 1.5...