Détail de l'auteur
Auteur Yamine AIT AMEUR |
Documents disponibles écrits par cet auteur (26)
Faire une suggestion Affiner la rechercheUn cadre formal générique pour la modélisation d'IHM Multi-modales. Cas de la multi-modalité en entrée / Nadjet KAMEL
Titre : Un cadre formal générique pour la modélisation d'IHM Multi-modales. Cas de la multi-modalité en entrée Type de document : thèse Auteurs : Nadjet KAMEL ; Yamine AIT AMEUR, Directeur de thèse ; Patrick GIRARD, Directeur de thèse ; LISI ENSMA EA 1232, Commanditaire ; Laurence NIGAY, Rapporteur ; Christophe KOLSKI, Rapporteur ; Habiba DRIAS, Examinateur ; Yamine AIT AMEUR, Examinateur ; Patrick GIRARD, Examinateur ; Zoheir ZEMERLI, Examinateur Importance : 170 p. Note générale : Table des matières
Résumé
Table des figures
Liste des tableaux
Introduction générale
BibliographieIndex. décimale : TH-06 Résumé : LES INTERFACES HOMME-MACHINE MULTIMODALES
Concepts de base
Classes de systèmes multimodaux
Modèles de développement des systèmes intéractifs
Modèles d'architectures pour les systèmes intéractifs
Modèles de taches pour le systèmes intéractifs
Propriétés des HIM
Le système multimodal Matis : étude de cas
DEVELOPPEMENTS FORMELS DE SYSTEMES INTERACTIFS
Modélisation formelle
Vérification formelle
Modèles formels
Démarche de conception
Utilisation des méthodes formelles pour les IHM
Méthodologie et hétérogéniété
Conclusion
Notre proposition
UN MODELE CONCEPTUEL FORMEL GENERIQUE POUR LES SYSTEMES INTERACTIFS MULTIMODAUX. CAS DE LA MODALITE EN ENTREE
Modélisation de l'intéraction en entrée dans IHM multimodales
Application à l'étude de cas
Modèle formel pour les propriétés CARE
MISE NE OEUVRE DU MODELE GENERIQUE DANS LA TECHNIQUE DE MODEL-CHECKING
Mise en oeuvre avec SMV
Mise en oeuvre avec Promela/Spin
Utilisation de vérificateurs sur modèle pour les IHM3
MISE NE OEUVRE DU MODELE GENERIQUE DANS UNE TECHNIQUE DE PREUVE AVEC B
Méthode de spécification B
Principes de représentation du modèle générique formel en B événementielExemplaires (1)
Code-barres Cote Support Localisation Section Disponibilité B00007210 TH-06 KAM Ouvrage BIBLIOTHÈQUE - ACCÈS RÉSERVÉ Thèses Exclu du prêt
Titre : Conception physique statique et dynamique des entrepôts de données Type de document : thèse Auteurs : Rima BOUCHAKRI, Auteur ; Ladjel BELLATRÈCHE, Directeur de thèse ; Khaled-Walid HIDOUCI, Directeur de thèse ; Karima BENATCHEBA, Examinateur ; Mohamed MEZGHICHE, Examinateur ; Mohand-Saïd HACID, Examinateur ; Yamine AIT AMEUR, Examinateur ; LIAS UR 20299 UP-ENSIP / ISAE-ENSMA, Commanditaire Importance : 243 p. Note générale : NNT 2015ESMA0012
Remerciements
Table des matières
Table des figures
Introduction générale
Annexes
Glossaire
Bibliographie
Résumé Mots clésCatégories : Bases de données:Conception
Bases de données:Interrogation
Entrepôts de donnéesRésumé : ETAT DE L'ART
Sélection mono-objectif des techniques d'optimisation
Optimisation multi-objectifs pour les entrepôts de données
CONTRIBUTIONS
Sélection incrémentale isolée de IJB
Sélection incrémentale isolée de la FH
Sélection incrémentale jointe des IJB simples et multiples
Sélection incrémentale jointe des IJB et de la FH
Sélection incrémentale multi-objectifs de la FH
AdminInc : Outil pour la conception physique et dynamique
CONCLUSION ET PERSPECTIVESEn ligne : https://tel.archives-ouvertes.fr/tel-01244700 Exemplaires (2)
Code-barres Cote Support Localisation Section Disponibilité B00011045 TH-15 BOU Ouvrage BIBLIOTHÈQUE - ACCÈS RÉSERVÉ Thèses Exclu du prêt TH-15 BOU BOU Numérique Thèses ISAE-ENSMA en ligne Thèses Exclu du prêt 
Titre : Conception et vérification formelles des interfaces homme-machine multimodales : application à la multimodalité en sortie Type de document : thèse Auteurs : Linda MOHAND-OUSSAÏD, Auteur ; Yamine AIT AMEUR, Directeur de thèse ; Idir AIT SADOUNE, Directeur de thèse ; LIAS UR 20299 UP-ENSIP / ISAE-ENSMA, Commanditaire ; Christophe KOLSKI, Rapporteur ; Hassan MOUNTASSIR, Rapporteur ; Patrick GIRARD, Examinateur ; Christian ATTIOGBE, Examinateur Importance : 184 p. Note générale : NNT 2014ESMA0022
Remerciements
Table des matières
Table des figures
Liste des tableaux
Introduction générale
Bibliographie
Résumé
Mots clésCatégories : Interaction homme-ordinateur
Interfaces utilisateur (informatique)
Méthode B (informatique)
Systèmes, Analyse de
Systèmes, Conception deRésumé : LES INTERFACES HOMME-MACHINE MULTIMODALES
Introduction
Interaction homme-machine
Systèmes interactifs
Concepts de base
Interfaces homme-machine multimodales
Développement des interfaces homme-machine
Les modèles de description du dialogue
Propriétés des interfaces homme-machine
Conception des IHM multimodales
Les systèmes multimodaux
Conclusion
DEVELOPPEMENTS FORMELS DES SYSTEMES INTERACTIFS
Introduction
Les modèles formels
La conception formelle
Les méthodes de spécification formelles
Vérification formelle
Utilisation des méthodes formelles pour le développement des IHM
Synthèse et proposition
UN MODELE FORMEL GENERIQUE POUR LES INTERFACES HOMME-MACHINE MULTIMODALES EN SORTIE
Introduction
Démarche générale de modélisation
Modèle formel de conception des interfaces homme-machine multimodales en sortie
Conclusion
MODELISATION DES INTERFACES HOMME-MACHINE MULTIMODALES EN SORTIE DANS B EVENEMENTIEL
Introduction
La méthode B événementiel
Démarche de modélisation avec B événementiel
Les modèles génériques de développement B événementiel
Conclusion
MODELISATION DE LA FISSION SEMANTIQUE AVEC B EVENEMENTIEL : GENERALISATION
Introduction
Démarche de modélisation avec B événementiel
Le modèle de fission sémantique
Bilan des obligations de preuve
Intanciation du modèle B événementiel de fission sémantique
Application à l'étude de cas
Conclusion
MODELISATION DE L'ALLOCATION AVEC B EVENEMENTIEL : GENERALISATION
Introduction
Démarche de modélisation avec B événementiel
Le modèle de combinaison des présentations
Le modèle de décomposition des présentations
Le modèle d'affectation
Bilan des obligations de preuve
Instanciation du modèle B événementiel d'allocation
Application à l'étude de cas
Vérification des propriétés
Conclusion
CONCLUSION GENERALE ET PERSPECTIVESEn ligne : https://tel.archives-ouvertes.fr/tel-01127547 Exemplaires (2)
Code-barres Cote Support Localisation Section Disponibilité B00010927 TH-14 MOH Ouvrage BIBLIOTHÈQUE - ACCÈS RÉSERVÉ Thèses Exclu du prêt TH-14 MOH MOH Numérique Thèses ISAE-ENSMA en ligne Thèses Exclu du prêt
Titre : Construction d'ontologies à partir de textes : une approche basée sur les transformations de modèles Type de document : thèse Auteurs : Henry Valéry TEGUIAK, Auteur ; Guy PIERRA, Directeur de thèse ; Yamine AIT AMEUR, Directeur de thèse ; Ladjel BELLATRÈCHE, Directeur de thèse ; LIAS UR 20299 UP-ENSIP / ISAE-ENSMA, Commanditaire ; Djamal BENSLIMANE, Rapporteur ; Sylvie DESPRES, Rapporteur ; Jean CHARLET, Examinateur ; Eric SARDET, Examinateur Année de publication : 2012 Importance : 182 p. Note générale : NNT 2012ESMA0027
Merci à
Epigraphe
Table des matières
Résumé
Introduction générale
Bibliographie
Publications
Annexe
Table des figures
Liste des tableaux
GlossaireCatégories : Bases de données
Langages d'interrogation
Ontologies (informatique)
Web sémantiqueRésumé : ETAT DE L'ART
Construction d'ontologies
Transformation de modèles
CONTRIBUTION
Modélisation
Transformation en environnement persistant
MQL, un langage d'exploitation des mappings
La plateforme DaFOE
CONCLUSION ET PERSPECTIVESEn ligne : http://tel.archives-ouvertes.fr/tel-00786260 Exemplaires (2)
Code-barres Cote Support Localisation Section Disponibilité B00009684 TH-12 TEG Ouvrage BIBLIOTHÈQUE - ACCÈS RÉSERVÉ Thèses Exclu du prêt TH-12 TEG TEG Numérique Thèses ISAE-ENSMA en ligne Thèses Exclu du prêt
Titre : Contribution à la définition d'une méthode de conception de bases de données à base ontologique Type de document : thèse Auteurs : Chedlia CHAKROUN, Auteur ; Yamine AIT AMEUR, Directeur de thèse ; Ladjel BELLATRÈCHE, Directeur de thèse ; LIAS UR 20299 UP-ENSIP / ISAE-ENSMA, Commanditaire ; Djamal BENSLIMANE, Rapporteur ; Arnaud GIACOMETTI, Rapporteur ; Claude GODART, Examinateur ; Sofian MAABOUT, Examinateur Importance : 204 p. Note générale : NNT 2013ESMA0010
Merci à
Dédicace
Table des matières
Introduction générale
Bibliographie
Publications
Table des figures
Liste des tableaux
Glossaire
Résumé
Mots clésCatégories : Bases de données:Conception
Bases de données:Gestion
Ontologies (informatique)
Structures de données (informatique)Résumé : ETAT DE L'ART
Introduction aux ontologies : genèse
Les bases de données à base ontologique
CONTRIBUTIONS
Ontologies et relations de dépendance
Dépendances fonctionnelles entre propriétés ontologiques et conception des BDBO
Dépendances entre les classes et conception des bases de données à base ontologique
Approche de conception et de déploiement de bases de données à base ontologique
Prototype de validation
CONCLUSION ET PERSPECTIVESEn ligne : http://tel.archives-ouvertes.fr/index.php?halsid=gmm1o4dpmr0c875o7ooemc6eg4&view [...] Exemplaires (2)
Code-barres Cote Support Localisation Section Disponibilité B00010261 TH-13 CHA Ouvrage BIBLIOTHÈQUE - ACCÈS RÉSERVÉ Thèses Exclu du prêt TH-13 CHA CHA Numérique Thèses ISAE-ENSMA en ligne Thèses Exclu du prêt
Titre : Contribution à la modélisation explicite et à la représentation des données de composants industriels : application au modèle PLIB Type de document : thèse Auteurs : Mourad EL HADJ MIMOUNE ; Guy PIERRA, Directeur de thèse ; Yamine AIT AMEUR, Directeur de thèse ; LISI ENSMA EA 1232, Commanditaire ; Anne-Françoise CUTTING-DECELLE, Rapporteur ; Parisa GHODOUS, Rapporteur ; Yves BERTRAND, Examinateur ; Danielle BOULANGER, Examinateur ; Yamine AIT AMEUR, Examinateur ; Guy PIERRA, Examinateur Importance : 194 p. Note générale : Remerciements
Table des matières
Glossaire
Introduction générale
Conclusion générale
Bibliographie
Liste des figures
Liste des tableaux
Annexe : Le langage EXPRESS
Résumé
Mots clésCatégories : Bases de données
Parts LIBrary (PLIB)
PostgreSQL (système informatique)
Systèmes de gestion de données techniquesIndex. décimale : TH-04 Résumé : MODELISATION ET GESTION DE DONNEES DE PRODUITS ET DE COMPOSANTS
Introduction
Modélisation de produits basée sur des représentations
Modélisation des données de produit basée sur les propriétés
Le modèle de données de composants PLIB
Intégration des données de produit et de données de composant
Conclusion
REPRESENTATION IMPLICITE DES DONNEES DE COMPOSANTS : MODELE ET IMPLEMENTATION
Introduction
Première approche de modélisation du contenu des bibliothèques de composants : modèle implicite de PLIB
Implémentation du modèle implicite de PLIB dans un SGBD
IMPLEMENTATION DU MODELE IMPLICITE EN SUIVANT L'APPROCHE HYBRIDE : CONVERSION DES INSTANCES DE CE MODELE EN N-UPLETS
Introduction
Schéma global de la base de données
Approche détaillée de l'implémentation du modèle implicite
Conversion du modèle implicite de PLIB en modèle explicite
Gestionnaire de bibliothèques de composants PLIB sur un SGBD
Conclusion
REPRESENTATION EXPLICITE DES DONNEES DE COMPOSANTS : MODELE ET IMPLEMENTATION
Introduction
Nouvelle approche de représentation des données de composants : la représentation explicite
Implémentation du modèle explicite de PLIB dans une base de données cible
Détails de l'implémentation : application de la programmation événementielle au modèle PLIB
Gestionnaire de données de composants basé sur le modèle explicite de PLIB
Conclusion
UN EXEMPLE DE MISE EN OEUVRE : IMPLEMENTATION DE PLIB DANS LE SGBDRO POSTGRESQL
Introduction
Choix du SGBD
Représentation de concepts EXPRESS dans le SGBD POSTGRESQL
Représentation des instance du niveau contenu dans POSTGRESQL
Connexion avec un SGDT
ConclusionExemplaires (1)
Code-barres Cote Support Localisation Section Disponibilité B00002282 TH-04 ELH Ouvrage BIBLIOTHÈQUE - ACCÈS RÉSERVÉ Thèses Exclu du prêt
Titre : Contributions à la conception à base de modèles des systèmes temps réel en vue de leur analyse de performance temporelle Type de document : thèse Auteurs : Anh Toan BUI LONG, Auteur ; Emmanuel GROLLEAU, Directeur de thèse ; Yassine OUHAMMOU, Directeur de thèse ; LIAS UR 20299 UP-ENSIP / ISAE-ENSMA, Commanditaire ; Yamine AIT AMEUR, Examinateur ; Christian ATTIOGBE, Rapporteur ; Jérôme HUGUES, Rapporteur ; Liliana CUCU-GROSJEAN, Examinateur Importance : 146 p. Note générale : NNT 2018ESMA0020
Remerciements
Table des matières
Liste des figures
Liste des tableaux
Introduction générale
Bibliographie
Liste des acronymes
Liste des symboles
Résumé
Mots clésCatégories : Analyse temporelle
Ingénierie dirigée par les modèles
Modélisation des données (informatique)
Ordonnancement dynamique
Systèmes à paramètres répartis
Systèmes, Analyse de
Systèmes, Conception de
Temps réel (informatique)
Tolérance aux fautes (informatique)Résumé : ÉTAT DE L'ART
Ordonnancement temps-réel
Conception dirigée par les modèles des systèmes temps réel
CONTRIBUTIONS
Adaptation conservative des cas pratiques à l'analyse
Les réseaux dans les analyses temps réel
Extraction conservative et patrons de modèles d'analyses
CONCLUSIONS
Conclusions et perspectives
En ligne : https://tel.archives-ouvertes.fr/tel-02080119 Exemplaires (1)
Code-barres Cote Support Localisation Section Disponibilité TH-18 BUI BUI Numérique Thèses ISAE-ENSMA en ligne Thèses Exclu du prêt
Titre : Définition et réalisation d'une boîte à outils générique dédiée à la programmation sur exemple Type de document : thèse Auteurs : Loé SANOU ; Patrick GIRARD, Directeur de thèse ; Laurent GUITTET, Directeur de thèse ; LISI ENSMA EA 1232, Commanditaire ; Christophe KOLSKI, Rapporteur ; Franck POIRIER, Rapporteur ; Yamine AIT AMEUR, Examinateur ; Mesmin DANDJINOU, Examinateur Importance : 174 p. Note générale : 2008POIT2309
Remerciements
Merci à
Résumé
Table des matières
Liste des figures
Liste des tableaux
Liste des exemples de code
Liste des abréviations et des sigles
Bibliographie
Mots clésCatégories : Systèmes homme-machine Index. décimale : TH-08 Résumé : INTRODUCTION GENERALE
Définitions de la PSE
Historique de la programmation sur exemple
Contexte et motivation de la thèse
Organisation du mémoire
PROGRAMMATION SUR EXEMPLE : PRINCIPES ET CLASSIFICATION
Etude des principes de la PSE
Classification des systèmes de la PSE
INTEGRATION DE LA PROGRAMMATION SUR EXEMPLE DANS UNE APPLICATION INTERACTIVE
Adaptabilité des applications
Outils pour la PSE
Cahier des charges pour un outil
UNE BOITE A OUTILS POUR LA PROGRAMMATION SUR EXEMPLE : PRINCIPES ET MISE EN OEUVRE
Vers une solution "boîte à outils"
Implémentation fr PBDTOOLKIT
Exemple d'illustration ; un convertisseur de devises
EXTENSION DE PBDTOOLKIT POUR L'AUTOMATISATION DE TESTS D'INTERFACES GRAPHIQUES
Les tests
Tests d'IHM
Vers une automatisation des tests d'IHM à l'aide de la PSE
CONCLUSION GENERALE
Bilan
Perspectives
En ligne : http://tel.archives-ouvertes.fr/tel-00369484/fr/ Exemplaires (1)
Code-barres Cote Support Localisation Section Disponibilité B00007932 TH-08 SAN Ouvrage BIBLIOTHÈQUE - ACCÈS RÉSERVÉ Thèses Exclu du prêt
Titre : Le déploiement, une phase à part entière dans le cycle de vie des entrepôts de données : application aux plateformes parallèles Type de document : thèse Auteurs : Soumia BENKRID, Auteur ; Ladjel BELLATRÈCHE, Directeur de thèse ; Khaled-Walid HIDOUCI, Directeur de thèse ; LIAS UR 20299 UP-ENSIP / ISAE-ENSMA, Commanditaire ; Arnaud GIACOMETTI, Rapporteur ; Mahmoud BOUFAIDA, Rapporteur ; Djamel Eddine ZEGOUR, Examinateur ; Yamine AIT AMEUR, Examinateur ; Karima BENATCHEBA, Examinateur ; Pascal LIENHARDT, Examinateur Importance : 192 p. Note générale : NNT 2014ESMA0027
Remerciements
Table des matières
Table des figures
Liste des tableaux
Liste de algorithmes
Glossaire
Introduction générale
Annexes
Bibliographie
Résumé
Mots clésCatégories : Bases de données:Conception
Entrepôts de données
Logique floue
OLAP (informatique)
Parallélisme (informatique)Résumé : ETAT DE L'ART
Les entrepôts de données relationnels : Etat de l'art
Cycle de déploiement des entrepôts de données parallèles
NOS PROPOSITIONS
Notre modèle de coût
Notre approche pas à pas de déploiement
Evaluation théorique et réelle sur Teradata
CONLUSION ET PERSPECTIVESEn ligne : https://tel.archives-ouvertes.fr/tel-01127551 Exemplaires (2)
Code-barres Cote Support Localisation Section Disponibilité B00010944 TH-14 BEN Ouvrage BIBLIOTHÈQUE - ACCÈS RÉSERVÉ Thèses Exclu du prêt TH-14 BEN BEN Numérique Thèses ISAE-ENSMA en ligne Thèses Exclu du prêt
Titre : Donner une autre vie à vos besoins fonctionnels : une approche dirigée par l'entreposage et l'analyse en ligne Type de document : thèse Auteurs : Zouhir DJILANI, Auteur ; Ladjel BELLATRÈCHE, Directeur de thèse ; Selma KHOURI, Directeur de thèse ; LIAS UR 20299 UP-ENSIP / ISAE-ENSMA, Commanditaire ; Dominique MERY, Rapporteur ; Parisa GHODOUS, Rapporteur ; Yamine AIT AMEUR, Examinateur ; Abderrafiaa KOUKAM, Examinateur Importance : 242 p. Note générale : NNT 2017ESMA0012
Remerciements
Table des matières
Introduction générale
Bibliographie
Annexes
Table des figures
Liste des tableaux
Glossaire
Résumé
Mots clésCatégories : Analyse des données
Bases de données:Conception
Entrepôts de données
Ingénierie des exigences
Intégration de données (informatique)
Ontologies (informatique)
UML (informatique)Résumé : BACKGROUND & ETAT DES L'ART
Notions de base
Etat de l'art sur l'unification, la gestion et l'exploitation des besoins utilisateurs
CONTRIBUTIONS : CONSTRUCTION D'UN ENTREPOT SEMANTIQUE DE BESOINS FONCTIONNELS
Construction de l'ontologie intégrante
Un modèle multidimensionnel pour l'entrepôt des besoins fonctionnels
Un processus ETL pour les besoins fonctionnels
Déploiement de l'entrepôt sémantique de besoins fonctionnels
CONCLUSION ET PERSPECTIVESEn ligne : https://tel.archives-ouvertes.fr/tel-01591845 Exemplaires (2)
Code-barres Cote Support Localisation Section Disponibilité B00014260 TH-17 DJI Ouvrage BIBLIOTHÈQUE - ACCÈS RÉSERVÉ Thèses Exclu du prêt TH-17 DJI DJI Numérique Thèses ISAE-ENSMA en ligne Thèses Exclu du prêt
Titre : Extension des systèmes de métamodélisation persistant avec la sémantique comportementale/Handling behavioral semantics in persistent metamodeling systems Type de document : thèse Auteurs : Youness BAZHAR, Auteur ; Yamine AIT AMEUR, Directeur de thèse ; Stéphane JEAN, Directeur de thèse ; LIAS UR 20299 UP-ENSIP / ISAE-ENSMA, Commanditaire ; Mohand-Saïd HACID, Rapporteur ; Régine LALEAU, Rapporteur ; Yves LEDRU, Examinateur ; Ladjel BELLATRÈCHE, Examinateur ; Patrick FARAIL, Examinateur ; Oscar PASTOR, Examinateur Importance : 157 p. Note générale : NNT 2013ESMA00019
Contents
Introduction
Bibliography
List of figures
List of tables
Relted publications
Résumé étendu
Mots clésCatégories : Bases de données:Conception
Ingénierie dirigée par les modèles
Ontologies (informatique)
Systèmes embarqués (informatique)
Temps réel (informatique)Résumé : STATE OF THE ART
METAMODELING AND MODEL MANAGEMENT
Introduction
Background on MDE
Metamodeling
Model management
Conclusion
PERSISTENT SOLUTIONS FOR METAMODELING AND MODEL MANAGEMENT
Introduction
Model repositories and their exploitation languages
Persistent metamodeling and model management systems
The OntoDB/OntoQL PMMS
Conclusion
CONTRIBUTIONS
REQUIREMENTS FOR COMPLETE PERSISTENT METAMODELING SYSTEMS
Introduction
Requirements for complete PMMS
Synthesis and discussion
Objectives
Conclusion
BeMoRe: MODELING AND FORMAL REPRESENTATION
Introduction
Conceptual extension
Logical extension
Formalization of the conceptual extension
Extension of the algebra of the PMMS exploitation language
Conclusion
BeMoRe: EXTENSION OF THE ESPLOITATION LANGUAGE AND PROTOTYPING
Introduction
Extension of the OntoQL language
The BeMoRe prototype
A preliminary performance evaluation
Conclusion
APPLICATIONS
MANAGING NON CANONICAL CONCEPTS IN ONTOLOGY-BASED DATABASES
Introduction
Background on ontologies
Ontology-based databases (OBDBs)
Encoding the structural semantics of the OWL language
Encoding operations for computing OWL non canonical concepts
Conclusion
ENHANCING A METHOD TO DESIGN ONTOLOGY-BASED DATABASES
Introduction
The considered OBDB design methodology
Enhancing the OBDB design methodology
Conclusion
MODEL TRANSFORMATION AND MODEL ANALYSIS
Introduction
Motivating example
Supporting AADL and MARTE in PMMS
Transforming models within PMMS
Using operations for model analysis
Conclusion
CONCLUSIONS AND PERSPECTIVESEn ligne : http://tel.archives-ouvertes.fr/tel-00939900 Exemplaires (2)
Code-barres Cote Support Localisation Section Disponibilité B00010408 TH-13 BAZ Ouvrage BIBLIOTHÈQUE - ACCÈS RÉSERVÉ Thèses Exclu du prêt TH-13 BAZ BAZ Numérique Thèses ISAE-ENSMA en ligne Thèses Exclu du prêt
Titre : A framework for the management of heterogeneous models in systems engineering Type de document : thèse Auteurs : David SIMON ZAYAS, Auteur ; Yamine AIT AMEUR, Directeur de thèse ; Anne MONCEAUX, Directeur de thèse ; LIAS UR 20299 UP-ENSIP / ISAE-ENSMA, Commanditaire ; Frédéric BONIOL, Rapporteur ; Parisa GHODOUS, Rapporteur ; Ladjel BELLATRÈCHE, Examinateur ; Mourad OUSSALAH, Examinateur ; Romaric REDON, Examinateur Année de publication : 2012 Importance : 245 p. Note générale : NNT 2012ESMA0007
Remerciements
Introduction
Résumé
Summary
Introduction
Context
Current practices
Our proposal
Structure of the document
References
Appendices
Table of figures
Summary
KeywordsLangues : Français (fre) Catégories : Aéronautique
Informatique:Groupes de travail
Ontologies (informatique)
Systèmes informatiquesRésumé : HETEROGENEITY OF MODELS IN SYSEMS ENGINEERING DOMAIN
Introduction
System modelling
Systems engineering
Inter-model relations
Heterogeneity
Current approaches to handle with heterogeneity
Conclusion
KNOWLEDGE MODELS TO INTEGRATE AND VALIDATE HETEROGENEOUS MODELS
Implicit knowledge
Formalization of knowledge
Ontologies and annotation of models
Validation of inter-model properties
EXPRESS modelling language
Conclusion
CURRENT PROACTICES IN AIRCRAFT SYSTEMS ENGINEERING
Introduction
Aircraft systems modelling
Current MBSE applications
From document to models
MBSE and development process
Management of heterogeneous modelling in aircraft systems engineering
Expected benefuts of the proposed approach
Conclusion
KNOWLEDGE-BASED INTER-MODEL CONSTRAINT VERIFICATION
Introduction
The proposed general integrated models representation
Manipulated models
The resources
The modelling process activities
Conclusion
APPROACH VALIDATION
Introduction
Exportation of SysML and CORE models
Annotation using implicit knowledge
Model integration using equivalences
General constraint definition with first order logic expressions
Implementation with ECCO toolkit
Conclusion
INDUSTRIAL EVALUATION
Introduction
Water and waste system model
Hydraulic and engine system model
Ram air turbine models
Conclusion
PROPOTYPING TOOL
A prototype to support the method
Actors and use cases
Selected technology and architecture
Current HCI (Human Computer Interface)
Conclusion
DEPLOYMENT IN INDUSTRY
Industrialization requirements
Needed technology enhancements
Conclusion
CONCLUSION AND PERSPECTIVES
Contributions
Perspectives
En ligne : http://tel.archives-ouvertes.fr/tel-00740161/ Exemplaires (2)
Code-barres Cote Support Localisation Section Disponibilité B00009484 TH-12 SIM Ouvrage BIBLIOTHÈQUE - ACCÈS RÉSERVÉ Thèses Exclu du prêt TH-12 SIM SIM Numérique Thèses ISAE-ENSMA en ligne Thèses Exclu du prêt
Titre : A Generic Model for Handling Preferences in Ontology Based Databases Type de document : thèse Auteurs : Dilek TAPUCU, Auteur ; Yamine AIT AMEUR, Directeur de thèse ; Murat Osman UNALIR, Directeur de thèse ; LISI ENSMA EA 1232, Commanditaire ; Djamal BENSLIMANE, Rapporteur ; Ismail Sitki AYTAC, Rapporteur ; Oguz DIKENELLI, Examinateur ; Chihab HANACHI, Examinateur Année de publication : 2010 Importance : 139 p. Note générale : NNT 2010ESMA0009
Thanks
Table of contents
Résumé
Bibliography
Appendices
List of figures
List of tables
Abstract
KeywordsLangues : Anglais (eng) Catégories : Bases de données
Diffusion sélective (réseaux d'ordinateurs)
Ontologies (informatique)
Web sémantiqueRésumé : INTRODUCTION
Research context
Our proposal
Thesis structure
CONTEXT OF THE STUDY
Preference driven personalization approaches
The EXPRESS modeling language
Ontology based databases : OBDB
OUR PROPOSAL : HANDLING PREFERENCES AT THE ONTOLOGY LEVEL
Proposed model of preferences
Extending ontology based databases with preferences
Case studies
CONCLUSION AND FUTURE WORKS
En ligne : http://tel.archives-ouvertes.fr/tel-00518476/fr/ Exemplaires (2)
Code-barres Cote Support Localisation Section Disponibilité B00008513 TH-10 TAP Ouvrage BIBLIOTHÈQUE - ACCÈS RÉSERVÉ Thèses Exclu du prêt TH-10 TAP TAP Numérique Thèses ISAE-ENSMA en ligne Thèses Exclu du prêt
Titre : Gestion et optimisation des données massives issues du Web Type de document : thèse Auteurs : Addallah KHELIL, Auteur ; Ladjel BELLATRÈCHE, Directeur de thèse ; Mohamed SENOUCI, Directeur de thèse ; Amin MESMOUDI, Directeur de thèse ; LIAS UR 20299 UP-ENSIP / ISAE-ENSMA, Commanditaire ; Fatima DEBBAT, Rapporteur ; Djamal BENSLIMANE, Rapporteur ; Yamine AIT AMEUR, Examinateur ; Ghalem BELALEM, Examinateur Année de publication : 2020 Importance : 175 p. Note générale : NNT 2020ESMA0009
Remerciements
Table des matières
Liste des figures
Liste des tableaux
Introduction générale
Bibliographie
Annexe
Résumé
Mots clés
Catégories : Bases de données:Interrogation
Données massives
Exploration de graphes
Gestion des données (systèmes d'information)
Resource Description Framework (informatique)
SPARQL (langage de programmation)Résumé : LE MONDE DES DONNÉES OUVERTES LIÉES
Le Web sémantique
Données ouvertes liées
Le modèle de données RDF
Langages de requêtes RDF
Conclusion
PANORAMA DES SYSTÈMES DE STOCKAGE ET DE TRAITEMENT DES LOD
Évolution de la gestion de données
Stockage des données RDF
Systèmes RDF distribués
Évaluation des systèmes de gestion des LOD
Évaluation expérimentale des systèmes existants
Conclusion
L'APPROCHE RDF_QDAG : BASES THÉORIQUES, MISES EN ŒUVRE ET OPTIMISATION
Bases théoriques de l'évaluation de requêtes
Mise en œuvre et optimisation
Conclusion
L'APPROCHE RDF_QDAG : VALIDATION EXPÉRIMENTALE
Introduction
Environnement d'expérimentations
Évaluation du pré-traitement
Performances des requêtes
RDF_QDAG vs les systèmes parallèles
Conclusion
CONCLUSION ET PERSPECTIVES
Conclusion
Perspectives
En ligne : https://tel.archives-ouvertes.fr/tel-03079086 Exemplaires (1)
Code-barres Cote Support Localisation Section Disponibilité TH-20 KHE KHE Numérique Thèses ISAE-ENSMA en ligne Thèses Exclu du prêt
Titre : Intégration des approches modélisation conceptuelle et structuration documentaire pour la saisie, la représentation, l'échange et l'exploitation d'informations. Application aux catalogues de composants industriels Type de document : thèse Auteurs : Eric SARDET ; Guy PIERRA, Directeur de thèse ; Yamine AIT AMEUR, Directeur de thèse ; Jean-Claude POTIER, Directeur de thèse ; LISI ENSMA EA 1232, Commanditaire ; H. HABRIAS, Rapporteur ; M. NANARD, Rapporteur ; Yamine AIT AMEUR, Examinateur ; X. CASTELLANI, Examinateur ; Guy PIERRA, Examinateur ; Jean-Claude POTIER, Examinateur ; P. TCHOUNIKINE, Examinateur Importance : 189 p. Note générale : Merci à
Table des matières
Introduction
Conclusion
Bibliographie
Liste des figures
Liste des tableauxCatégories : Logiciels
Logiciels:Modèles de conception
ProgrammationIndex. décimale : TH-99 Résumé : MODELISATION, STRUCTURATION ET PRESENTATION DE L'INFORMATION
Modélisation de l'information
Structuration de l'information
Présentation de l'information
MODELISATION ET META-MODELISATION DES CATALOGUES DE COMPOSANTS INDUSTRIELS
Modélisation des bibliothèques de composants
Méta-Modélisation des bibliothèques de composants
Une première approche pour la saisie de bibliothèques PLib
INTEGRATION DES APPROCHES DOCUMENTAIRE ET MODELE DE DONNEES
Approches existantes
Donner une représentation structurée à un modèle de données
Séparer la structure de représentation de la structure de présentation
Application à PLib
INTEGRATION DES OUTILS DOCUMENTAIRES ET DES OUTILS DE MODELISATION
Coopération d'outils documentaires et d'outils de modélisation
Un éditeur de documents sémantiques
Extension de l'outil
Exploitation du document résultatExemplaires (1)
Code-barres Cote Support Localisation Section Disponibilité B00006927 TH-99 SAR Ouvrage BIBLIOTHÈQUE - ACCÈS RÉSERVÉ Thèses Exclu du prêt
Titre : Intégration de bases de données hétérogènes par articulation a priori d'ontologies : Application aux catalogues de composants industriels Type de document : thèse Auteurs : Dung NGUYEN XUAN ; Ladjel BELLATRÈCHE, Directeur de thèse ; Guy PIERRA, Directeur de thèse ; LISI ENSMA EA 1232, Commanditaire ; Anne DOUCET, Rapporteur ; Chantal REYNAUD, Rapporteur ; Yamine AIT AMEUR, Examinateur ; Marie-Christine LAFAYE, Examinateur ; Michel SCHNEIDER, Examinateur Importance : 188 p. Note générale : Remerciements
Table des matières
Table des figures
Liste des tableaux
Bibliographie
Résumé
Mots clésCatégories : Parts LIBrary (PLIB) Index. décimale : TH-06 Résumé : INTRODUCTION GENERALE
ETAT DE L'ART
Problématique de l'intégration de données
Classification des approches d'intégration
Ontologie conceptuelle
Ontologie conceptuelle et intégration des données
Positionnement de notre approche
MODELE PLIB ET BASE DE DONNEES A BASE ONTOLOGIQUE
Modèle PLIB
Base de données à base ontologique
Langage EXPRESS
Outil PLIBEditor
INTEGRATION AUTOMATIQUE DES BDBOS PAR ARTICULATION A PRIORI D'ONTOLOGIES
Problématique
Architecture du système d'intégration de BDBOs
FragmentOnto
ProjOnto
ExtendOnto
Mise en oeuvre
GESTION DE L'EVOLUTION ASYNCHRONE D'UN SYSTEME D'INTEGRATION A BASE ONTOLOGIQUE
Travaux antérieurs sur les évolutions de données
Gestion des évolutions des ontologies
Gestion de l'évolution des instances
Mise en oeuvre de notre modèle
REIFICATION DES CORRESPONDANCES ENTRE ONTOLOGIES POUR L'INTEGRATION DES BDBOS
Problématique et correspondances entre ontologies
Formalisation de la projection entre BDBOs et une ontologie
Algorithme de projection
Représentation "mapping" eb tant que modèle
Mise en oeuvre
CONCLUSION ET PERSPECTIVESExemplaires (1)
Code-barres Cote Support Localisation Section Disponibilité B00007156 TH-06 NGU Ouvrage BIBLIOTHÈQUE - ACCÈS RÉSERVÉ Thèses Exclu du prêt
Titre : Intégration et exploitation de besoins en entreprise étendue fondées sur la sémantique Type de document : thèse Auteurs : Ilyès BOUKHARI, Auteur ; Ladjel BELLATRÈCHE, Directeur de thèse ; Stéphane JEAN, Directeur de thèse ; LIAS UR 20299 UP-ENSIP / ISAE-ENSMA, Commanditaire ; Bernard ESPINASSE, Rapporteur ; Jérôme GENSEL, Rapporteur ; Yamine AIT AMEUR, Examinateur ; Omar BOUSSAID, Examinateur ; Hendrik DECKER, Examinateur ; Dominique MERY, Examinateur Importance : 161 p. Note générale : NNT 2014ESMA0001
Remerciements
Table des matières
Bibliographie
Annexes
Table des figures
Liste des tableaux
GlossaireCatégories : Bases de données
Entrepôts de données
Ingénierie des exigences
Ingénierie dirigée par les modèles
Ontologies (informatique)Résumé : Introduction générale
ETAT DE L'ART
L'expression des besoins : un état de l'art
Les ontologies au service de l'ingénierie des besoins
CONTRIBUTIONS
Unification des vocabulaires et de langages de modélisation des besoins
Vers une fusion de méta-modèles des langages de modélisation des besoins
Exploitation des besoins pour la conception physique
Prototype de validation
CONCLUSION GENERALEEn ligne : http://tel.archives-ouvertes.fr/tel-00942081 Exemplaires (2)
Code-barres Cote Support Localisation Section Disponibilité B00010414 TH-14 BOU Ouvrage BIBLIOTHÈQUE - ACCÈS RÉSERVÉ Thèses Exclu du prêt TH-14 BOU BOU Numérique Thèses ISAE-ENSMA en ligne Thèses Exclu du prêt
Titre : Intégration du modèle d'ontologies PLIB et des services web dans les échanges inter-entreprises (Application au Business to Business) Type de document : thèse Auteurs : Youcef AKLOUF ; Guy PIERRA, Directeur de thèse ; Yamine AIT AMEUR, Directeur de thèse ; LISI ENSMA EA 1232, Commanditaire ; Anne-Françoise CUTTING-DECELLE, Rapporteur ; Habiba DRIAS, Rapporteur ; George LOUIS, Examinateur ; Abdelaziz BOURAS, Examinateur Importance : 205 p. Note générale : Remerciements
Résumé
Table des matières
Table des figures
Introduction générale
BibliographieCatégories : Business
WebIndex. décimale : TH-07 Résumé : ETAT DE L'ART
Caractérisation de produits et catalogues de composants
Le commerce B2B et le e-procurement
LA CONTRIBUTION DE LA THESE
Approche fondée sur l'orthogonalité
Intégration d'ontologies dans un modèle d'échange B2B
VALIDATION DE L'APPROCHE PROPOSEE
Validation opérationnelle de l'approche à base de service webExemplaires (1)
Code-barres Cote Support Localisation Section Disponibilité B00007356 TH-07 AKL Ouvrage BIBLIOTHÈQUE - ACCÈS RÉSERVÉ Thèses Exclu du prêt
Titre : Mise en oeuvre applicative de séquences d'ordonnancement hors-ligne Type de document : thèse Auteurs : Moustapha BIKIENGA, Auteur ; Annie CHOQUET-GENIET, Directeur de thèse ; Dominique GENIET, Directeur de thèse ; LIAS UR 20299 UP-ENSIP / ISAE-ENSMA, Auteur ; Maryline CHETTO, Rapporteur ; Frank SINGHOFF, Rapporteur ; Gaëlle LARGETEAU-SKAPIN, Examinateur ; Yamine AIT AMEUR, Examinateur Importance : 180 p. Note générale : NNT 2014ESMA0011
Remerciements
Table des matières
Introduction générale
Annexes
Notations
Acronymes
Bibliographie
Résumé
Mots clésCatégories : Ingénierie dirigée par les modèles
Ordonnancement (informatique)
POSIX (norme)
Temps réel (informatique)Résumé : ETAT DE L'ART
Systèmes temps réel
Systèmes d'exploitation temps réel
Applications temps réel
Ordonnacement
Mise en oeuvre applicative d'ordonnancement hors-ligne
Conclusion
CONTEXTE, METHODOLOGIE ET MODELISATION
Problématique
Hypothèses de base
Méthodologie
Politiques de mise en oeuvre de séquences d'ordonnancement hors-ligne
Démarche
Modèle de coûts des mises en oeuvre
Conclusion
ALGORITHMES DE MISE EN OEUVRE
Mise en oeuvre d'ordonnancement sans préemption
Mise en oeuvre d'ordonnancement avec préemption
Prise en compte des ressources critiques et des contraintes de précédence
Conclusion
MISE EN OEUVRE POSIX
Mise en oeuvre POSIX
Automatisation de mise en oeuvre POSIX
Mise en oeuvre POSIX sur Xenomai
Observation et analyse de scénarios d'exécution
Conclusion
ETUDE DE CAS : APPLICATION DE GESTION DE MINE SOUTERRAINE
Description du cas pratique : gestion de la sécurité d'une mine
Mise en oeuvre du scénario d'exécution
Conclusion
CONCLUSION ET PERSPECTIVESEn ligne : https://tel.archives-ouvertes.fr/tel-01080218 Exemplaires (2)
Code-barres Cote Support Localisation Section Disponibilité B00010733 TH-14 BIK Ouvrage BIBLIOTHÈQUE - ACCÈS RÉSERVÉ Thèses Exclu du prêt TH-14 BIK BIK Numérique Thèses ISAE-ENSMA en ligne Thèses Exclu du prêt
Titre : Modélisation des dépendances fonctionnelles pour l'analyse des risques de niveau avion Type de document : thèse Auteurs : Sébastien MAITREHENRY, Auteur ; Yamine AIT AMEUR, Directeur de thèse ; LIAS UR 20299 UP-ENSIP / ISAE-ENSMA, Commanditaire ; Nicole LEVY, Rapporteur ; Philippe PALANQUE, Rapporteur ; Pierre BIEBER, Examinateur ; Sylvain METGE, Examinateur ; Jérémy GUIOCHET, Examinateur ; Patrick GIRARD, Examinateur Importance : 254 p. Note générale : NNT 2013ESMA0025
Remerciements
Table des matières
Introduction
Bibliographie
Annexes
Index des figures
Index des tables
Glossaire
Résumé
Mots clésCatégories : Aéronautique
Analyse fonctionnelle
Fiabilité
Ingénierie dirigée par les modèles
Méthodes formelles (informatique)Résumé : VERS DES ANALYSES DE SECURITE ASSISTEES PAR LES MODELES
La sûreté de fonctionnement dans l'aéronautique
Intérêts des modèles et de l'ingénierie des modèles
Objectifs et approche de nos travaux
DEFINITION ET SYNTHESE DE MODELES POUR L'ANALYSE DES RISQUES
Définition des modèles conceptuels pour la sécurité
Mise en oeuvre de l'analyse des risques avec AltaRica
La transformation de modèle
Déploiement sur un cas industriel
Extension des modèles à l'étude des facteurs humains
CONCLUSIONEn ligne : http://tel.archives-ouvertes.fr/tel-00954467 Exemplaires (2)
Code-barres Cote Support Localisation Section Disponibilité B00010427 TH-13 MAI Ouvrage BIBLIOTHÈQUE - ACCÈS RÉSERVÉ Thèses Exclu du prêt TH-13 MAI MAI Numérique Thèses ISAE-ENSMA en ligne Thèses Exclu du prêt
Titre : Modélisation de services et de workflows sémantiques à base d'ontologies de services et d'indexations. Application à la modélisation géologique Type de document : thèse Auteurs : Nabil BELAID, Auteur ; Yamine AIT AMEUR, Directeur de thèse ; Jean-François RAINAUD, Directeur de thèse ; LISI ENSMA EA 1232, Commanditaire ; Marianne HUCHARD, Rapporteur ; Flavio OQUENDO, Rapporteur ; Nicole LEVY, Examinateur ; Ladjel BELLATRÈCHE, Examinateur ; Stéphane JEAN, Examinateur ; Daniel RAHON, Examinateur Année de publication : 2011 Importance : 215 p. Note générale : NNT 2011ESMA0007
Remerciements
Table des matières
Introduction générale
Bibliographie
table des figures
Liste des tableaux
Glossaire
Résumé
Mots clésLangues : Français (fre) Catégories : Bases de données
Langages de programmation
Ontologies (informatique)Résumé : ETAT DE L'ART
Ontologies et bases de données à base ontologique
Les workflows en ingénierie
Modélisation géologique
NOTRE PROPOSITION
Un modèle conceptuel pour une gestion sémantique de services et de workflows
Modélisation logique de notre approche sur OntoDB
APPLICATION A LA MODELISATION GEOLOGIQUE
Application de notre proposition à la modélisation géologique
Implémentation de notre approche sur l'interprétation sismique
Geological Workflow Editor (GWE)
CONCLUSION GENERALE ET PERSPECTIVESEn ligne : http://tel.archives-ouvertes.fr/tel-00605153/fr/ Exemplaires (1)
Code-barres Cote Support Localisation Section Disponibilité B00009058 TH-11 BEL Ouvrage BIBLIOTHÈQUE - ACCÈS RÉSERVÉ Thèses Exclu du prêt
Titre : Modélisation et vérification formelles de compositions de services. Une approche fondée sur le raffinement et la preuve Type de document : thèse Auteurs : Idir AIT SADOUNE, Auteur ; Yamine AIT AMEUR, Directeur de thèse ; LISI ENSMA EA 1232, Commanditaire ; Jacques JULLIAND, Rapporteur ; Michael LEUSCHEL, Rapporteur ; Dominique MERY, Rapporteur ; Egon BÖRGER, Examinateur ; Régine LALEAU, Examinateur ; Virginie WIELS, Examinateur Année de publication : 2010 Importance : 211 p. Note générale : NNT 2010ESMA0016
Table des matières
Introduction générale
Bibliographie
Annexes
Table des figures
Liste des tableaux
Résumé
Mots clésLangues : Français (fre) Catégories : Services Web
SOARésumé : CONTEXTE
Contexte de l'étude : les architecture SOA
Approches formelles de vérification de composition de services Web : Etat de l'art
CONTRIBUTION
Origine de nos travaux
Expression de composition de services BPEL par des modèles B événementiel
Méthodologie de conception de services Web avec B événementiel
Vérification des propriétés de services Web
IMPLEMENTATION
BPEL2B : un outil d'aide à la vérification de la composition de services Web
CONCLUSION ET PERSPECTIVESExemplaires (1)
Code-barres Cote Support Localisation Section Disponibilité B00008583 TH-10 AIT Ouvrage BIBLIOTHÈQUE - ACCÈS RÉSERVÉ Thèses Exclu du prêt
Titre : OntoQL, un langage d'exploitation des bases de données à base ontologique Type de document : thèse Auteurs : Stéphane JEAN ; Yamine AIT AMEUR, Directeur de thèse ; Guy PIERRA, Directeur de thèse ; LISI ENSMA EA 1232, Commanditaire ; Witold LITWIN, Rapporteur ; OUKSEL, Aris, M., Rapporteur ; Michel SCHNEIDER, Rapporteur ; Olivier CORBY, Examinateur Importance : 289 p. Note générale : NNT 2007POIT2324
Table des matières
Bibliographie
Annexes
Table des figures
Liste des tableaux
Glossaire
Résumé
Mots clésCatégories : Bases de données
Ontologies (informatique)
Parts LIBrary (PLIB)Index. décimale : TH-07 Résumé : DE LA NECESSITE D'UN NOUVEAU LANGAGE D'EXPLOITATION DES BASES DE DONNEES A BASE ONTOLOGIQUE
Ontologies et bases de données à base ontologique
Exigences pour un langage d'exploitation de BDBO
NOTRE PROPOSITION : LE LANGAGE ONTOQL
Traitements des données à base ontologique d'une BDBO
Traitements des ontologies et simultanément des ontologies et des données d'une BDBO
VALIDATION THEORIQUE ET OPERATIONNELLE DU LANGAGE ONTOQL
Sémantique formelle du langage OntoQL
Implantation du langage OntoQL sur le prototype OntoDB
CONCLUSION ET PERSPECTIVES
En ligne : http://tel.archives-ouvertes.fr/tel-00201777/fr/ Exemplaires (1)
Code-barres Cote Support Localisation Section Disponibilité B00007617 TH-07 JEA Ouvrage BIBLIOTHÈQUE - ACCÈS RÉSERVÉ Thèses Exclu du prêt
Titre : Policy Mining: a Bottom-Up Approach for Network Security Management Type de document : thèse Auteurs : Safaà HACHANA, Auteur ; Yamine AIT AMEUR, Directeur de thèse ; Frédéric CUPPENS, Directeur de thèse ; Nora CUPPENS-BOULAHIA, Directeur de thèse ; LIAS UR 20299 UP-ENSIP / ISAE-ENSMA, Commanditaire ; Refik MOLVA, Rapporteur ; Mohand-Saïd HACID, Rapporteur ; Radu STATE, Examinateur ; Ladjel BELLATRÈCHE, Examinateur ; Stéphane MORUCCI, Examinateur Importance : 122 p. + suppl. 46 p. Note générale : NNT 2014ESMA0017
Abstract
Résumé
Contents
List of figures
List of tables
List of algorithms
Bibliography
List of publications
AppendixLangues : Anglais (eng) Catégories : Boole, Algèbre de
Coupe-feu (sécurité informatique)
Entreprises:Réseaux d'ordinateurs
Exploration de données
Langages d'interrogation
Ordinateurs:Accès:Contrôle
Systèmes informatiques:Mesures de sûretéRésumé : INTRODUCTION
Contribution
Outline of the thesis
TOWARD A MODEL BASED APPROACH FOR NETWORK ACCESS CONTROL MANAGEMENT
Firewall management approaches in literature
Top-down and bottom-up framework for a model driven network security policy management
Conclusion and key unhandled issues
ROLE MINING
Overview of role mining process
Preprocessing stage
Role mining processing: extracting roles
Assessment and enforcement
Synthesis and discussion
Conclusion and key unhandled issues
FIREWALL POLICY MINING
Formalization of the approach proposed
Policy mining solution
Example
Conclusion and perspectives
MINING A HIGH LEVEL ACCESS CONTROL POLICY IN A ANETWORK WITH MULTIPLE FIREWALLS
A bottom-up framework to mine a model based network security policy
Integrating abstract entities
Integrating abstract rules
Example
Conclusion and perspectives
ROLE SET COMPARISON ANALYSIS
Motivation
Role set comparison problem
Role set comparison solution
Conclusion and perspectives
SHADOWED ROLES DETECTION
Correlation between shadowed roles and role set comparison results
Definition of shadowed roles
Shadowed roles retection algorithm
Conclusion
EXPERIMENTAL EVALUATION
Platform of test
Experiments with role set comparison algorithm
Experiments with shadowed roles detection algorithm
Experiments with policy minig algorithm
Multiple firewalls policy mining experiments
Conclusion
CONCLUSION AND PERSPECTIVESEn ligne : https://tel.archives-ouvertes.fr/tel-01129078 Exemplaires (1)
Code-barres Cote Support Localisation Section Disponibilité B00010796 TH-14 HAC Ouvrage BIBLIOTHÈQUE - ACCÈS RÉSERVÉ Thèses Exclu du prêt
Titre : Utilisation conjointe des ontologies et du contexte pour la conception des systèmes de stockage de données Type de document : thèse Auteurs : Okba BARKAT, Auteur ; Ladjel BELLATRÈCHE, Directeur de thèse ; Yamine AIT AMEUR, Directeur de thèse ; LIAS UR 20299 UP-ENSIP / ISAE-ENSMA, Commanditaire ; Djamal BENSLIMANE, Rapporteur ; Laurent D'ORAZIO, Rapporteur ; Mirian HALFELD FERRARI ALVES, Examinateur ; Dalila TAMZALIT, Examinateur Importance : 196 p. Note générale : NNT 2017ESMA0001
Remerciements
Table des matières
Introduction générale
Bibliographie
Annexes
Table des figures
Liste des tableaux
Glossaire
Résumé
Mots clésCatégories : Acquisition automatique des données
Analyse des données
Bases de données:Conception
Entrepôts de données
Ontologies (informatique)Résumé : EXPLICITATION ET PERSISTANCE DE LA DONNEE SEMANTIQUE
Introduction
De la donnée à la donnée sémantique
Des bases de données aux bases de données sémantiques
Des entrepôts de données aux entrepôts de données sémantiques
Conclusion
EXPLICITATION ET PERSISTANCE DU CONTEXTE
Introduction
Comprendre la notion de contexte
Couplage entre le contexte et l'ontologie
Contexte et systèmes de stockage
Conclusion
MODELISATION ET EXPLICITATION DU CONTEXTE : UNE APPROCHE D'EXTERNALISATION
Introduction
Fondements théoriques
Notion de contexte
Notre approche de modélisation de contexte
Conclusion
VERS UNE CONTEXTUALISATION DES BASES DE DONNEES SEMANTIQUES
Introduction
Fondements théoriques
Persistance du contexte dans les BDS : l'exemple d'OntoDB
Prise en charge du contexte dans les requêtes : extension du langage OntoQL
Validation : étude de cas
Conclusion
PROJECTION DU CONTEXTE SUR LES PHASES CONCEPTUELLES DE L'ENTREPOT DE DONNEES SEMANTIQUES
Introduction
Nos hypothèses
Formalisation des entrées de notre approche
Notre approche de conception des EDS contextuels
Validation : expérimentation et prototype
Conclusion
CONCLUSIONEn ligne : https://tel.archives-ouvertes.fr/tel-01508494 Exemplaires (1)
Code-barres Cote Support Localisation Section Disponibilité B00014262 TH-17 BAR Ouvrage BIBLIOTHÈQUE - ACCÈS RÉSERVÉ Thèses Exclu du prêt
