Mémoire Online: UML et model checking

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...

Mémoire Online: Rétro-ingénierie des modèles comportementaux d’UML II

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...

Mémoire Online: Résolution des problèmes multi objectifs à base de colonies de fourmi

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....

Mémoire Online: Spécification formelle des systèmes mobiles temps réel

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 :...

Routage adaptatif dans les réseaux de robots mobiles autonomes

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...

Mémoire Online: Classification et reconnaissance d’objets en utilisant les points d’intérêt

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 ...

Mémoire Online: Pour une QoS au niveau de la couche MAC dans les réseaux sans fil

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....

Mémoire Online: Analyse du mouvement et suivi de cibles mobiles dans les séquences vidéo

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...

Mémoire Online: Tatouage numérique des images couleurs RGB

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...

Mémoire Online: Une approche pour l’hybridation des techniques de localisation

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...