Détail de l'auteur
Auteur LIAS UR 20299 UP-ENSIP / ISAE-ENSMA |
Documents disponibles écrits par cet auteur (43)
Faire une suggestion Affiner la recherche
Extension des systèmes de métamodélisation persistant avec la sémantique comportementale/Handling behavioral semantics in persistent metamodeling systems / Youness BAZHAR
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 Un framework d’aide au déploiement et à la personnalisation des systèmes temps réel : application aux autopilotes de drones / Soulimane KAMNI
Titre : Un framework d’aide au déploiement et à la personnalisation des systèmes temps réel : application aux autopilotes de drones Type de document : thèse Auteurs : Soulimane KAMNI, Auteur ; Emmanuel GROLLEAU, Directeur de thèse ; Yassine OUHAMMOU, Directeur de thèse ; Antoine BERTOUT, Directeur de thèse ; LIAS UR 20299 UP-ENSIP / ISAE-ENSMA, Commanditaire ; Jean-Philippe BABAU, Rapporteur ; Jean HLADIK, Rapporteur ; Annie CHOQUET-GENIET, Examinateur ; Jérôme ERMONT, Auteur Importance : 145 p. Note générale : NNT 2023ESMA0014
Résumé
Mots clés
Remerciements
Table des matières
Liste des figures
Liste des tableaux
Liste des abréviations
Liste des symboles
Bibliographie
Résumé
Mots clésCatégories : Drones
Durée de vie (ingénierie)
Ingénierie dirigée par les modèles
Ordonnancement (informatique)
Systèmes embarqués (informatique)
Systèmes, Conception de
Temps réel (informatique)Résumé : INTRODUCTION GÉNÉRALE
Contexte et motivations
Objectifs de la thèse
Organisation de la thèse
Publications scientifiques
SYSTÈMES EMBARQUÉS TEMPS RÉEL ET CONCEPTION À BASE DES MODÈLES
Introduction
Système embarqué temps réel
Cycle de vie de développement des systèmes temps réel
Méthodologies et langages de conception standardisés
Conception des systèmes temps réel
Conclusion
ORDONNANCEMENT ET VALIDATION DES SYSTÈMES TEMPS RÉEL
Introduction
Modèles de tâche
Orodonnancement monoprocesseur
Orodonnancement multiprocesseur
Analyse d'ordonnançabilité et validation
Outils d'analyse basés sur les modèles
État de l'art sur les méthodes de déploiement des systèmes temps réel
Conclusion
RYM : UNE APPROCHE BASÉE SUR LES RYTHMES POUR LE PRÉ-DÉPLOIEMENT DES RTES CRITIQUES
Introduction
Principe général
Étude de cas
Comparaison
Outil
Conclusion
PERSONNALISATION DU LOGICIEL D'AUTOPULOTES DE DRONES À TRAVERS UN GFRAMEWORK DE RÉTRO-INGÉNIERIE
Introduction
État de l'art sur la visualisation logicielle et la rétro-ingénierie
Conception des autopilotes des UAV
Architecture logicielle abstraite d'un autopilote
Exemple motivationnel
Architecture de Paparazzi
Concepts spécifiques dans l'architecture logicielle des autopilotes
Implémentaiton du framework
État de l'art sur les systèmes à décalage libre (offset-free)
Application
Conclusion
CONCLUSION GÉNÉRALE
En ligne : https://theses.hal.science/tel-04399687 Exemplaires (1)
Code-barres Cote Support Localisation Section Disponibilité TH-23 KAM KAM 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 Gestion et exploitation de données capteurs : une approche basée sur la réduction de données / Khedidja BOULANOUAR
Titre : Gestion et exploitation de données capteurs : une approche basée sur la réduction de données Type de document : thèse Auteurs : Khedidja BOULANOUAR, Auteur ; Allel HADJALI, Directeur de thèse ; Mohand LAGHA, Directeur de thèse ; LIAS UR 20299 UP-ENSIP / ISAE-ENSMA, Commanditaire ; Karima AKLI-ASTOUATI, Rapporteur ; Sofian MAABOUT, Rapporteur ; Salah BOUKRAA, Examinateur ; Daniela GRIGORI, Examinateur Importance : 110 p. Note générale : NNT 2021ESMA0011
Remerciements
Table des matières
Liste des figures
Liste des tableaux
Introduction générale
Bibliographie
Acronymes
Résumé
Mots clés
Catégories : Algorithmes génétiques
Analyse des données
Bases de données:Gestion
Intelligence computationnelle
Quantificateurs (logique mathématique)
Séries chronologiquesRésumé : PRÉLIMINAIRES ET ÉTAT DE L'ART
Notions de base
Travaux connexes : techniques de réduction des données
CONTRIBUTIONS
Construction de résumés de données : approches fondées sur l'intelligence computationnelle
Résumés linguistiques dans le contexte des séries temporelles
Algorithmes génétiques multiobjectif au service des résumés linguistiques
CONCLUSION GÉNÉRALEEn ligne : https://tel.archives-ouvertes.fr/tel-03483342 Exemplaires (1)
Code-barres Cote Support Localisation Section Disponibilité TH-21 BOU BOU Numérique Thèses ISAE-ENSMA en ligne Thèses Exclu du prêt Gestion et exploitation de larges bases de connaissances en présence de données incomplètes et incertaines / Ibrahim DELLAL
Titre : Gestion et exploitation de larges bases de connaissances en présence de données incomplètes et incertaines Type de document : thèse Auteurs : Ibrahim DELLAL, Auteur ; Allel HADJALI, Directeur de thèse ; Stéphane JEAN, Directeur de thèse ; Brice CHARDIN, Directeur de thèse ; LIAS UR 20299 UP-ENSIP / ISAE-ENSMA, Commanditaire ; Nadine CULLOT, Rapporteur ; Guy DE TRÉ, Rapporteur ; François GOASDOUE, Examinateur ; Béatrice MARKHOFF, Examinateur Importance : 125 p. Note générale : NNT 2019ESMA0016
Remerciements
Table des matières
Liste des figures
Liste des tableaux
Introduction
Bibliographie
Résumé
Mots clés
Catégories : Bases de données:Gestion
Bases de données:Interrogation
Conception centrée sur l'utilisateur
Incertitude (théorie de l'information)
Questions et réponses, Systèmes de
Resource Description Framework (informatique)
Web sémantiqueRésumé : MODÉLISATION ET INTERROGATION DES BASES DE CONNAISSANCES INCERTAINES
Introduction
Notions de base
Langages de modélisation des bases de connaissances
Interrogation des bases de connaissance avec SPARQL
Prise en compte de la confiance
Bases de connaissances existantes et systèmes de gestion
Conclusion
APPROCHES DE TRAITEMENT COOPÉRATIF : UN PANORAMA
Introduction
Typologie des problèmes : Why Empty? Why so Many? Why Not? Why Answers?
Approches coopératives pour le problème des réponses vides (Why Empty)
Approches coopératives pour le problème des réponses pléthoriques (Why so Many)
Conclusion
TRAITEMENT DE REQUÊTES RDF INCERTAINES À RÉPONSES VIDES
Introduction
Notions de αMFS et αXSS
Calculs des αMFS et αXSS
Évaluation expérimentale
Conclusion
DÉCOUVERTE DE αMFS et αXSS MULTI-SEUILS POUR LE PROBLÈME DES RÉPONSES VIDES
Introduction
Motivation de la problématique
Approche ascendante
Approche descendante
Approche hybride
Analyse de la complexité des algorithmes proposés
Évaluation expérimentale
Conclusion
TRAITEMENT DE REQUÊTES RDF AUX RÉPONSES PLÉTHORIQUES
Introduction
Notions de MFIS et XSS
Approche naïve pour trouver les MFIS et XSS
Approche basée sur les cardinalités
Implémentation et expérimentations
Conclusion
CONCLUSIONEn ligne : https://tel.archives-ouvertes.fr/tel-02452333 Exemplaires (1)
Code-barres Cote Support Localisation Section Disponibilité TH-19 DEL DEL 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 Hypergraphs in the Service of Very Large Scale Query Optimization. Application: Data Warehousing / Ahcène BOUKORCA
Titre : Hypergraphs in the Service of Very Large Scale Query Optimization. Application: Data Warehousing Titre original : Les hypergraphes au service de l'optimisation de requêtes à très large échelle. Application : Entrepôt de données Type de document : thèse Auteurs : Ahcène BOUKORCA, Auteur ; Ladjel BELLATRÈCHE, Directeur de thèse ; LIAS UR 20299 UP-ENSIP / ISAE-ENSMA, Commanditaire ; Yannis MANOLOPOULOS, Rapporteur ; Sofian MAABOUT, Rapporteur ; Omar BOUSSAID, Examinateur ; Arnaud GIACOMETTI, Examinateur ; Sid-Ahmed BenAli SENOUCI, Examinateur Année de publication : 2016 Importance : 216 p. Note générale : NNT 2016ESMA0026
Acknowledgement
Dedication
Contents
Introduction
Relational Algebra
Résumé
Related Publications
List of Figures
List of Tables
Glossary
References
Résumé
Mots clésCatégories : Bases de données:Conception
Bases de données:Gestion
Bases de données:Interrogation
Données massives
Entrepôts de données
Hypergraphes
Optimisation combinatoireRésumé : BACKGROUNDS
Introduction
The Data Warehousing Technology
Factors Impacting Query Processing and Optimization
Data Structures and Access Algorithms
Conclusion
MODELING QUERY INTERACTION USING HYPERGRAPHS
Introduction
Hypergraphs and Their Usages
Analogy between UQP and EDA
Hypergraph as a solution of scalability
Complexity of the Algorithms
Performance Evaluation
Conclusion
WHAT-IF UQP ANALYSIS
Introduction
A New Approach for Selecting OS
Application of OS-Oriented UQP
Experimental Evaluation and Analysis
Conclusion
QUERY INTERACTION SERVING THE DEPLOYMENT PHASE
Introduction
Parallel Database Design Alternatives
Motivating Example
UQP As a Service for Designing PRDW
Experimental Evaluation and Analysis
Conclusion
BIG-QUERIES FRAMEWORK
Introduction
System Architecture
System Modules
Implementation
Conclusion
CONCLUSION AND PERSPECTIVESEn ligne : https://tel.archives-ouvertes.fr/tel-01488961 Exemplaires (2)
Code-barres Cote Support Localisation Section Disponibilité B00014171 TH-16 BOU Ouvrage BIBLIOTHÈQUE - ACCÈS RÉSERVÉ Thèses Exclu du prêt TH-16 BOU BOU Numérique Thèses ISAE-ENSMA en ligne Thèses Exclu du prêt
Titre : Imperfect RDF Databases: From Modelling to Querying Type de document : thèse Auteurs : Amna ABIDI, Auteur ; Allel HADJALI, Directeur de thèse ; Boutheina BEN YAGHLANE, Directeur de thèse ; LIAS UR 20299 UP-ENSIP / ISAE-ENSMA, Commanditaire ; Djamal BENSLIMANE, Rapporteur ; Hajer BAAZAOUI, Rapporteur ; Juliette DIBIE BARTHELEMY, Examinateur ; Salah BEN ABDALLAH, Examinateur ; Mohamed Anis BACH TOBJI, Examinateur Importance : 138 p. Note générale : NNT 2019ESMA0008
Abstract
Résumé
Guide de lecture
Acknowledgements
Dédicace
Table of Contents
List of Figures
List of Tables
Nomenclature
Introduction
Appendices
Bibliography
Résumé
Mots clésCatégories : Bases de données:Interrogation
Conception centrée sur l'utilisateur
Incertitude (théorie de l'information)
Opérateur Skyline
Possibilités, Théorie des
Resource Description Framework (informatique)
SPARQL (langage de programmation)
Web sémantiqueRésumé : PRELIMINARIES
RDF Formalism
Background on Possibility Theory and Skyline Queries
CONTRIBUTIONS
Trust Skyline Model: Semantics Experimentations
Possibilistic RDF Data
CONCLUSIONEn ligne : https://tel.archives-ouvertes.fr/tel-02171934 Exemplaires (1)
Code-barres Cote Support Localisation Section Disponibilité TH-ABI ABI Numérique Thèses ISAE-ENSMA en ligne Thèses Exclu du prêt Intégration d'éléments sémantiques dans l'analyse d'ordonnançabilité des applications temps-réel / Christian FOTSING TAKOUTSI
Titre : Intégration d'éléments sémantiques dans l'analyse d'ordonnançabilité des applications temps-réel Type de document : thèse Auteurs : Christian FOTSING TAKOUTSI, Auteur ; Annie CHOQUET-GENIET, Directeur de thèse ; Guy VIDAL-NAQUET, Directeur de thèse ; LIAS UR 20299 UP-ENSIP / ISAE-ENSMA, Commanditaire ; Franck POMMEREAU, Rapporteur ; Frank SINGHOFF, Rapporteur ; Emmanuel GROLLEAU, Examinateur ; Christophe AUSSAGUES, Examinateur Année de publication : 2012 Importance : 226 p. Note générale : NNT 2012ESMA0003
Remerciements
Table des matières
Table des figures
Annexe
Bibliographie liée à la thèse
Bibliographie
IndexLangues : Français (fre) Catégories : Logiciels:Validation
Méthodes formelles (informatique)
Ordonnancement (informatique)
Petri, Réseaux de
Simulation, Méthodes de
Temps réel (informatique)Résumé : INTRODUCTION GENERALE
Les systèmes temps-réel
La problématique
Objectifs et intérêts du travail
Contribution : méthodologie globale
Plan et contenu de la présentation
ETAT DE L'ART
Synthèse de quelques travaux connexes
Validation par les réseaux de Pétri
CONTRIBUTION
Modélisation d'une tâche
Modélisation de l'application
Les arbres d’ordonnancement
Ordonnancement linéaire versus ordonnancement arborescent
Mise en œuvre avec les réseaux de Pétri
CONCLUSTION GENERALE
Conclusion
PerspectivesEn ligne : http://tel.archives-ouvertes.fr/tel-00684788 Exemplaires (2)
Code-barres Cote Support Localisation Section Disponibilité B00009301 TH-12 FOT Ouvrage BIBLIOTHÈQUE - ACCÈS RÉSERVÉ Thèses Exclu du prêt TH-12 FOT FOT Numérique Thèses ISAE-ENSMA en ligne Thèses Exclu du prêt Intégration et exploitation de besoins en entreprise étendue fondées sur la sémantique / Ilyès BOUKHARI
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 L'interaction au service de l'optimisation à grande échelle des entrepôts de données relationnels / Amira KERKAD
Titre : L'interaction au service de l'optimisation à grande échelle des entrepôts de données relationnels Type de document : thèse Auteurs : Amira KERKAD, Auteur ; Ladjel BELLATRÈCHE, Directeur de thèse ; Dominique GENIET, Directeur de thèse ; LIAS UR 20299 UP-ENSIP / ISAE-ENSMA, Commanditaire ; Christine COLLET, Rapporteur ; Bruno DEFUDE, Rapporteur ; Pedro FURTADO, Rapporteur ; René SCHOTT, Examinateur Importance : 189 p. Note générale : NNT 2013ESMA0027
Remerciements
Table des matières
Bibliographie
Annexes
Table des figures
Liste des tableaux
Glossaire
Résumé
Mots clésCatégories : Bases de données relationnelles
Bases de données:Conception
Bases de données:Interrogation
Entrepôts de donnéesRésumé : LA TECHNOLOGIE DE BASES DE DONNEES A-T-ELLE DONNE LE MEILLEUR D'ELLE-MÊME ?
Problématique
Objectifs et contributions
Organisation de la thèse
ETAT DE L'ART
Introduction
La conception physique
Sélection isolée des structures d'optimisation
Sélection multiple des structures d'optimisation
Bilan et discussion
Nouvelle vision
Positionnement et contributions
INTERACTION DES COMPOSANTS SUPPORT ET REQUETES
Introduction
La gestion du buffer et l'ordonnancement des requêtes dans les EDR
Démarche de la gestion du buffer et d'ordonnancement des requêtes dans les EDR
Problème de la gestion du buffer et d'ordonnancement des requêtes hors-ligne
Algorithmes de résolution hors-ligne
Evluation des performances des algorithmes
Conclusion
CONTRIBUTION DE L'INTERACTION SUR LA FRAGMENTATION HORIZONTALE
Introduction
Problème de la fragmentation horizontale dans les entrepôts de données
Fragmentation horizontale par exploitation de l'interaction des requêtes
Combinaison de la FH avec la GBOR
Démarche de résolution du problème combiné
Evaluation des performances des algorithmes
Conclusion
L'ASPECT DYNAMIQUE DE LA CONCEPTION PHYSIQUE
Introduction
L'optimisation en-ligne dans les entrepôts de données relationnels
Problème de la gestion du buffer et d'ordonnancement des requêtes en-ligne dans les EDR
Algorithme d'optimisation en-ligne
Evaluation des performances des algorithmes
Conclusion
OUTIL D'AIDE A LA CONCEPTION PHYSIQUE
Introduction
Difficultés et besoins des administrateurs
Architecture fonctionnelle de l'outil de simulation
Simulations
Validation des résultats sous Oracle11g
Conclusion
CONCLUSION GENERALE ET PERSPECTIVES
Conclusion
Perspectives
EpilogueEn ligne : http://tel.archives-ouvertes.fr/tel-00954469 Exemplaires (2)
Code-barres Cote Support Localisation Section Disponibilité B00010434 TH-13 KER Ouvrage BIBLIOTHÈQUE - ACCÈS RÉSERVÉ Thèses Exclu du prêt TH-13 KER KER Numérique Thèses ISAE-ENSMA en ligne 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èles de conception pour des applications collaboratives mobiles dans le cloud Type de document : thèse Auteurs : Nadir GUETMI, Auteur ; Ladjel BELLATRÈCHE, Directeur de thèse ; Abdessamad IMINE, Directeur de thèse ; LIAS UR 20299 UP-ENSIP / ISAE-ENSMA, Commanditaire ; Sophie CHABRIDON, Rapporteur ; Daniela GRIGORI, Rapporteur ; Mirian HALFELD FERRARI ALVES, Examinateur ; Mohamed Yacine GHAMRI-DOUDANE, Examinateur Importance : 175 p. Note générale : NNT 2016ESMA0016
Remerciements
Table des matières
Introduction générale
Bibliographie
Table des figures
Liste des tableaux
Listings
Glossaire
Résumé
Mots clésCatégories : Applications mobiles
Design patterns
Informatique dans les nuages
Informatique mobile
Logiciels médiateurs
Systèmes de communication sans fil
Systèmes virtuels (informatique)Résumé : CONTEXTE ET ETAT DE L'ART
Contexte de recherche
Etat de l'art
CONTRIBUTIONS
Des "patrons de clou" pour les applications collaboratives mobiles
MidBox : un middleware de déploiement
Service d'édition collaborative pour des graphes RDF
CONCLUSION GENERALEEn ligne : https://tel.archives-ouvertes.fr/tel-01430151 Exemplaires (2)
Code-barres Cote Support Localisation Section Disponibilité B000014168 TH-16 GUE Ouvrage BIBLIOTHÈQUE - ACCÈS RÉSERVÉ Thèses Exclu du prêt TH-16 GUE GUE Numérique Thèses ISAE-ENSMA en ligne Thèses Exclu du prêt
Titre : Modeling and Querying Evidential Databases Type de document : thèse Auteurs : Fatma Ezzahra BOUSNINA, Auteur ; Allel HADJALI, Directeur de thèse ; Boutheina BEN YAGHLANE, Directeur de thèse ; LIAS UR 20299 UP-ENSIP / ISAE-ENSMA, Commanditaire ; Arnaud MARTIN, Rapporteur ; Sadok BEN YAHIA, Rapporteur ; Ons Chirine GHEDIRA GUEGAN, Examinateur ; Salah BEN ABDALLAH, Examinateur ; Mohamed Anis BACH TOBJI, Examinateur Importance : 154 p. Note générale : NNT 2019ESMA0007
Résumé
Abstract
Acknowledgements
Contents
List of Tables
List of Figures
Introduction
BibliographyCatégories : Bases de données:Gestion
Bases de données:Interrogation
Mondes possibles
Théorie de Dempster-ShaferRésumé : BACKGROUND MATERIAL
Imperfect Databases: General Context
Theory of Evidence
EVIDENTIAL DATABASE MODELS
Evidential Databases: The Compact Form
Evidential Databases: The Possible Worlds' Form
Evidential Conditional Databases
CONCLUSIONEn ligne : https://tel.archives-ouvertes.fr/tel-02162105 Exemplaires (1)
Code-barres Cote Support Localisation Section Disponibilité TH-19 BOU BOU Numérique Thèses ISAE-ENSMA en ligne Thèses Exclu du prêt Modélisation des dépendances fonctionnelles pour l'analyse des risques de niveau avion / Sébastien MAITREHENRY
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 Optimisation basée sur les graphes pour une évaluation efficace et scalable des requêtes / Ishaq ZOUAGHI
Titre : Optimisation basée sur les graphes pour une évaluation efficace et scalable des requêtes Type de document : thèse Auteurs : Ishaq ZOUAGHI, Auteur ; Taoufik AGUILI, Directeur de thèse ; Ladjel BELLATRÈCHE, Directeur de thèse ; Amin MESMOUDI, Directeur de thèse ; LIAS UR 20299 UP-ENSIP / ISAE-ENSMA, Commanditaire ; Sofian MAABOUT, Rapporteur ; Asma BEN LETAIFA, Rapporteur ; Azza OULED ZAID, Examinateur ; Daniela GRIGORI, Examinateur Année de publication : 2022 Importance : 195 p. Note générale : NNT 2022ESMA0017
Dédicace
Remerciements
Table des matières
Liste des figures
Liste des tableaux
Introduction générale
Bibliographie
Annexes
Résumé
Mots clés
Catégories : Bases de données:Conception
Bases de données:Gestion
Bases de données:Interrogation
Coût
Hypergraphes
Multiplicité (mathématiques)
Resource Description Framework (informatique)
Scalabilité (informatique)
SPARQL (langage de programmation)
Web sémantiqueRésumé : ANALYSE DE LA LITTÉRATURE
Préliminaire
État de l'art
Le Triplestore RDF_QDAG
L'APPROCHE GOFAST
L'approche GoFast : Optimisation des requêtes à base de graphes
L'approche GoFast : Validation expérimentale
CONCLUSION GÉNÉRALE ET PERSPECTIVESExemplaires (1)
Code-barres Cote Support Localisation Section Disponibilité TH-22 ZOU ZOU Numérique Thèses ISAE-ENSMA en ligne 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 Réseau social anonyme de confiance dédié aux applications communautaires du futur : une approche guidée par le capital social / Chayma SELLAMI
Titre : Réseau social anonyme de confiance dédié aux applications communautaires du futur : une approche guidée par le capital social Type de document : thèse Auteurs : Chayma SELLAMI, Auteur ; Allel HADJALI, Directeur de thèse ; Mickaël BARON, Directeur de thèse ; Mounir BECHCHI, Directeur de thèse ; Stéphane JEAN, Directeur de thèse ; LIAS UR 20299 UP-ENSIP / ISAE-ENSMA, Commanditaire ; Salima BENBERNOU, Rapporteur ; Richard CHBEIR, Rapporteur ; Djamal BENSLIMANE, Examinateur Importance : 168 p. Note générale : NNT 2022ESMA0024
Remerciements
Table des matières
Liste des figures
Liste des tableaux
Introduction générale
Bibliographie
Résumé
Mots clés
Catégories : Apprentissage par renforcement (intelligence artificielle)
Confiance numérique
Identité numérique
Intelligence computationnelle
Logique floue
Processus décisionnels de Markov relationnels
Réseaux anonymes (informatique)
Réseaux sociaux (internet)
Statistique bayésienne
Systèmes de recommandation (informatique)Résumé : ÉTAT DE L'ART
Réseaux sociaux et anonymat
Confiance : modélisation, typologie et calcul
Systèmes de recommandation : un aperçu
CONTRIBUTIONS
Un modèle basé sur l'apprentissage hybride pour la recommandation
Un cadre unifié pour la gestion de la confiance
Recommandation du modèle computationnel de confiance : une approche guidée par les besoins métiers
CONCLUSION GÉNÉRALEEn ligne : https://tel.archives-ouvertes.fr/tel-03967427 Exemplaires (1)
Code-barres Cote Support Localisation Section Disponibilité TH-22 SEL SEL Numérique Thèses ISAE-ENSMA en ligne Thèses Exclu du prêt
Titre : Revisiting Data Partitioning for Scalable RDF Graph Processing Titre original : Revisiter le partitionnement des données pour le traitement scalable des graphes RDF Type de document : thèse Auteurs : Jorge Armando GALICIA AUYÓN, Auteur ; Ladjel BELLATRÈCHE, Directeur de thèse ; Amin MESMOUDI, Directeur de thèse ; LIAS UR 20299 UP-ENSIP / ISAE-ENSMA, Commanditaire ; Yannis MANALOPOULOS, Rapporteur ; Farouk TOUMANI, Rapporteur ; Emmanuel GROLLEAU, Examinateur ; Genoveva VARGAS-SOLAR, Examinateur ; Carlos ORDONEZ, Examinateur ; Patrick VALDURIEZ, Examinateur Importance : 204 p. Note générale : NNT 2021ESMA0001
Acknowledgements
Table of Contents
Introduction
Résumé
References
Appendices
List of Figures
List of Tables
Résumé
Mots clés
Catégories : Bases de données:Conception
Bases de données:Gestion
Partitionnement de graphes
Resource Description Framework (informatique)
SPARQL (langage de programmation)
Structure logique
Systèmes experts (informatique)
Théorie des graphesRésumé : DATA PARTITIONING FOUNDATIONS
Introduction
Data Partitioning Fundamentals
Partitioning Dimensions
Partitioning Approaches
Partitioning in Large-Scale Platforms
Conclusion
GRAPH DATA: REPRESENTATION AND PROCESSING
Introduction
Graph Database Models
Resource Description Framework
Conclusion
LOGICAL RDF PARTITIONING
Introduction
RDF Partitioning Design Process
Graph Fragments
From Logical Fragments to Physical Structures
allocation Problem
RDF Partitioning Example
Dealing with Large Fragments
Conclusion
RDF PartSuite IN ACTION
Introduction
RDF_QDAG
Loading Costs
Evaluation of the Fragment Strategies
Evaluation of the Allocation Strategies
Partitioning Language
RDF Partitioning Advisor
Conclusion
CONCLUSIONS AND PERSPECTIVESEn ligne : https://tel.archives-ouvertes.fr/tel-03167657 Exemplaires (1)
Code-barres Cote Support Localisation Section Disponibilité TH-21 GAL GAL Numérique Thèses ISAE-ENSMA en ligne Thèses Exclu du prêt Robustesse des applications temps-réel multicoeurs : techniques de construction d'un ordonnancement équitable tolérant aux pannes matérielles / Yves Marcellin MOUAFO TCHINDA
Titre : Robustesse des applications temps-réel multicoeurs : techniques de construction d'un ordonnancement équitable tolérant aux pannes matérielles Type de document : thèse Auteurs : Yves Marcellin MOUAFO TCHINDA, Auteur ; Annie CHOQUET-GENIET, Directeur de thèse ; Gaëlle LARGETEAU-SKAPIN, Directeur de thèse ; LIAS UR 20299 UP-ENSIP / ISAE-ENSMA, Commanditaire ; Maryline CHETTO, Rapporteur ; Claire PAGETTI, Rapporteur ; Julien FORGET, Examinateur ; Emmanuel GROLLEAU, Examinateur Importance : 203 p. Note générale : NNT 2017ESMA0015
Dédicace
Remerciements
Table des matières
Introduction générale
Annexes
Table des figures
Liste des tableaux
Bibliographie
Résumé
Mots clésCatégories : Analyse Pire Cas
Commande de processus
Microprocesseurs multi-coeurs
Systèmes embarqués (informatique)
Systèmes informatiques:Pannes
Temps réel (informatique)
Tolérance aux fautes (informatique)Résumé : ETAT DE L'ART
L'ordonnacement équitable
Tolérance aux pannes des systèmes temps-réel
Systèmes à criticités multiples et changements de mode
CONTRIBUTIONS
Ordonnancement sans reprise
Ordonnancement avec reprise
Possibilités d'extension
CONCLUSION ET PERSPECTIVES
Conclusion générale
PerspectivesEn ligne : https://tel.archives-ouvertes.fr/tel-01685276 Exemplaires (1)
Code-barres Cote Support Localisation Section Disponibilité TH-17 MOU MOU Numérique Thèses ISAE-ENSMA en ligne Thèses Exclu du prêt
Titre : Système réparti d'aide à la prise de décision distribuée et collective Type de document : thèse Auteurs : Sana NADOURI, Auteur ; Allel HADJALI, Directeur de thèse ; Zaidi SAHNOUN, Directeur de thèse ; LIAS UR 20299 UP-ENSIP / ISAE-ENSMA, Commanditaire ; Ons Chirine GHEDIRA GUEGAN, Rapporteur ; Samir AKHROUF, Rapporteur ; Ramdane MAAMRI, Examinateur ; Christophe MARSALA, Examinateur ; Allaoua CHAOUI, Examinateur Importance : 97 p. Note générale : NNT 2022ESMA0019
Remerciements
Table des matières
Liste des figures
Liste des tableaux
Introduction générale
Bibliographie
Résumé
Mots clés
Catégories : Décision de groupe
Intelligence artificielle répartie
Logique floue
Opérateur Skyline
Optimisation combinatoire
Systèmes d'aide à la décision
Traitement répartiRésumé : PRÉLIMINAIRES ET ÉTAT DE L'ART
Fondements des systèmes d'aide à la prise de décision (DSS)
Paradigme Skyline
CONTRIBUTIONS
Approche SMA pour la modélisation DDSS
Approche distribuée et raffinée du modèle à base de SMA
CONCLUSION GÉNÉRALEEn ligne : https://tel.archives-ouvertes.fr/tel-03999063 Exemplaires (1)
Code-barres Cote Support Localisation Section Disponibilité TH-22 NAD NAD Numérique Thèses ISAE-ENSMA en ligne Thèses Exclu du prêt Techniques coopératives pour l’exploitation des bases de connaissances et passage à l’échelle / Louise PARKIN
Titre : Techniques coopératives pour l’exploitation des bases de connaissances et passage à l’échelle Type de document : thèse Auteurs : Louise PARKIN, Auteur ; Brice CHARDIN, Directeur de thèse ; Allel HADJALI, Directeur de thèse ; Stéphane JEAN, Directeur de thèse ; LIAS UR 20299 UP-ENSIP / ISAE-ENSMA, Commanditaire ; Guy DE TRÉ, Rapporteur ; Frédérique LAFOREST, Rapporteur ; Hala SKAF-MOLLI, Examinateur ; Anne LAURENT, Examinateur Importance : 163 p. Note générale : NNT 2022ESMA0020
Remerciements
Table des matières
Introduction
Bibliographie
Annexe
Table des figures
Liste des tableaux
Résumé
Mots clésCatégories : Bases de données:Interrogation
Optimisation mathématique
Questions et réponses, Systèmes de
Resource Description Framework (informatique)
SPARQL (langage de programmation)
Systèmes experts (informatique)
Systèmes, Analyse deRésumé : CONCEPTS FONDAMENTAUX DES BASES DE CONNAISSANCES
Introduction
Notion de base de connaissances
Modélisation des bases de connaissances
Requête SPARQL
Raisonnement
Systèmes de gestion des bases de connaissances
Conclusion
ÉTAT DE L'ART SUR LE TRAITEMENT DES RÉPONSES INSATISFAISANTES
Introduction
Typologie des réponses non satisfaisantes
Méthodes coopératives
Approches orientées données
Approches orientées requêtes
Conclusion
TRAITEMENT DES RÉPONSES PLÉTHORIQUES
Introduction
Causes d'échec pour les réponses pléthoriques
Énumération des causes d'échec
Choix d'implémentation
Évaluation des algorithmes
Conclusion
EXTENSION AUX SPÉCIFICITÉS DE SPARQL
Introduction
Utilisation des cardinalités des prédicats
Effets des opérateurs SPARQL
Expérimentation
Conclusion
MÉTHODE UNIFIÉE POUR LES RÉPONSES INSATISFAISANTES
Introduction
Liens entre les problèmes de réponses insatisfaisantes
Combinaison de conditions d'échec
Implémentation et évaluation expérimentale
Conclusion
CONCLUSIONEn ligne : https://theses.hal.science/tel-03934427 Exemplaires (1)
Code-barres Cote Support Localisation Section Disponibilité TH-22 PAR PAR Numérique Thèses ISAE-ENSMA en ligne Thèses Exclu du prêt Towards a Safe and Modular Architecture for Autonomous Drone Autopilots / Matheus LADEIRA BOECHAT LEMOS
Titre : Towards a Safe and Modular Architecture for Autonomous Drone Autopilots Titre original : Vers une conception modulaire et sûre des autopilotes des drones autonomes Type de document : thèse Auteurs : Matheus LADEIRA BOECHAT LEMOS, Auteur ; Emmanuel GROLLEAU, Directeur de thèse ; Yassine OUHAMMOU, Directeur de thèse ; LIAS UR 20299 UP-ENSIP / ISAE-ENSMA, Commanditaire ; Sanjoy BARUAH, Rapporteur ; Chokri MRAIDHA, Rapporteur ; Joël GOOSSENS, Examinateur ; Liliana CUCU-GROSJEAN, Examinateur Importance : 167 p. Note générale : NNT 2023ESMA0011
Acknowledgements
Contents
List of Figures
List of Tables
Table of Acronyms
Appendices
Bibliography
Abstract
KeywordsCatégories : Drones
Fiabilité
Ingénierie dirigée par les modèles
ROS (système d 'exploitation des ordinateurs)
Systèmes embarqués (informatique)
Temps réel (informatique)Résumé : Introduction
PROCESSOR AND BANDWIDTH OVERLOAD MITIGATION
Background on Real-Time Programming
GCD+: Scheduling Heuristics
GCD#: Network Scheduling
MODEL-DRIVEN ENGINEERING FOR DRONES
Background: Model-Driven Engineering and Software Architectures
RoBMEX
CONCLUSION
Conclusion and Perspectives
En ligne : https://theses.hal.science/tel-04311816 Exemplaires (1)
Code-barres Cote Support Localisation Section Disponibilité TH-23 LAD LAD Numérique Thèses ISAE-ENSMA en ligne Thèses Exclu du prêt Utilisation conjointe des ontologies et du contexte pour la conception des systèmes de stockage de données / Okba BARKAT
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 Vers une conception logique et physique des bases de données avancées dirigée par la variabilité / Selma BOUARAR
Titre : Vers une conception logique et physique des bases de données avancées dirigée par la variabilité Type de document : thèse Auteurs : Selma BOUARAR, Auteur ; Ladjel BELLATRÈCHE, Directeur de thèse ; Stéphane JEAN, Directeur de thèse ; LIAS UR 20299 UP-ENSIP / ISAE-ENSMA, Commanditaire ; Isabelle COMYN-WATTIAU, Rapporteur ; Esteban ZIMANYI, Rapporteur ; Xavier BLANC, Examinateur ; Parisa GHODOUS, Examinateur Importance : 227 p. Note générale : NNT 2016ESMA0024
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
Bases de données:Interrogation
Entrepôts de données
Génie logiciel
Lignes de produits
Ordinateurs:Alimentation en énergie
Structure logique
Théorie de la pertinence (linguistique)
Théorie des modèlesRésumé : DE LA NECESSITE D'UNE GESTION EXPLICITE DE LA VARIABILITE POUR LA CONCEPTION DES BASES DE DONNEES
Evolution du cycle de la conception des bases de données
Gestion de la variabilité de la conception des bases de données
APPROCHE PAR ETAPES POUR LA GESTION DE LA VARIABILITE AU SEIN DE LA CONCEPTION DES BASES DE DONNEES
La conception des bases de données comme une ligne de produits
Impact de la variabilité sur l'optimisation logique
Impact de la variabilité sur l'optimisation physique
CONCLUSION ET PERSPECTIVESEn ligne : https://tel.archives-ouvertes.fr/tel-01470445 Exemplaires (1)
Code-barres Cote Support Localisation Section Disponibilité B00014146 TH-16 BOU Ouvrage BIBLIOTHÈQUE - ACCÈS RÉSERVÉ Thèses Exclu du prêt