A partir de cette page vous pouvez :
| Retourner au premier écran avec les dernières notices... |
Détail de l'auteur
Auteur LIAS ENSMA-UP EA 66315
Documents disponibles écrits par cet auteur
Faire une suggestion Affiner la recherche Interroger des sources externesApport des techniques de programmation par démonstration dans une démarche de génération automatique d'applicatifs de contrôle-commande / Olga GOUBALI
Titre : Apport des techniques de programmation par démonstration dans une démarche de génération automatique d'applicatifs de contrôle-commande Type de document : thèse Auteurs : Olga GOUBALI, Auteur ; Patrick GIRARD, Directeur de thèse ; Laurent GUITTET, Directeur de thèse ; Pascal BERRUET, Directeur de thèse ; LIAS ENSMA-UP EA 66315, Commanditaire ; Jean VANDERDONCKT, Rapporteur ; Gaëlle CALVARY, Rapporteur ; Jean-François PETIN, Examinateur ; Alain BIGNON, Examinateur ; Christophe KOLSKI, Examinateur Importance : 240 p. Note générale : NNT 2017ESMA0003
Remerciements
Sommaire
Introduction générale
Liste des figures
Liste des tableaux
Références bibliographiques
Annexes
Résumé
Mots clésCatégories : Commande, Théorie de la
Conception centrée sur l'utilisateur
Ingénierie dirigée par les modèles
Interfaces utilisateur (informatique)
Ordonnancement (informatique)
Systèmes complexesRésumé : GENERALITES SUR LA CONCEPTION DES SYSTEMES DE CONTROLE/COMMANDE
La conception des systèmes de contrôle-commande
Formalisme de spécification pour la construction des systèmes de contrôle-commande
Verrous identifiés par l'état de l'art
FACILITER LA CONCEPTION DES MODELES DE TACHES COMPLEXES
Analyse de la tâche humaine dans la conception des systèmes de contrôle-commande
La conception des modèles de tâches complexes
Analyse comparative des approches présentées
Problématique
Proposition d'une démarche de conception des modèles de tâches complexes
Bilan sur la conception des modèles de tâches complexes
SPECIFICATIONS ET GENERATION D'APPLICATIONS DE CONTROLE-COMMANDE
La génération d'IHM à partir de modèles de tâches
Faciliter la spécification fonctionnelle des systèmes complexes
Proposition d'une démarche de spécification fonctionnelle et de génération d'application de contrôle-commande
Bilan sur la spécification fonctionnelle et la génération de systèmes de contrôle-commande
MISE EN OEUVRE DES PROPOSITIONS A TRAVERS UN FLOT DE CONCEPTION
Présentation du flot de conception proposé
Choix d'outils pour la conception des systèmes de contrôle-commande
Opération d'adaptation des modèles de tâches
Opération d'adaptation EGRC
Opération d'insertion SPEC
Opération d'enregistrement-généralisation
Opération de génération d'interfaces de contrôle
Opération d'intégration des interfaces de contrôle
Opération de test, débogage et correction
Opération de génération de codes de commandes
Opération de génération d'IHM
Opération de génération de commande
Bilan
APPLICATION DE NOTRE DEMARCHE A UN CAS D'ETUDE ET VALIDATION EXPERIMENTALE
Etude de cas
Evaluations
Bilan global des évaluations
CONCLUSION ET PERSPECTIVESEn ligne : https://tel.archives-ouvertes.fr/tel-01505594 Permalink : https://bibliotheque.ensma.fr/index.php?lvl=notice_display&id=38733 Exemplaires
Code-barres Cote Support Localisation Section Disponibilité B00014274 TH-17 GOU Ouvrage BIBLIOTHEQUE - ACCES RESERVE Thèses Exclu du prêt
Titre : Cadre fondé sur les modèles pour une utilisation avancée de la théorie de l'ordonnacement dans la conception des systèmes temps réel Type de document : thèse Auteurs : Yassine OUHAMMOU, Auteur ; Emmanuel GROLLEAU, Directeur de thèse ; Pascal RICHARD, Directeur de thèse ; Mickaël RICHARD, Directeur de thèse ; LIAS ENSMA-UP EA 66315, Commanditaire ; Marco DI NATALE, Rapporteur ; Frank SINGHOFF, Rapporteur ; Yves SOREL, Rapporteur ; Jérôme HUGUES, Examinateur Importance : 214 p. Note générale : NNT 2013ESMA0029
Remerciements
Contents
Appendices
Bibliography
Abstract
Key wordsCatégories : Ingénierie dirigée par les modèles
Modèles mathématiques
Ordonnancement (informatique)
Systèmes enfouis (informatique)
Systèmes, Conception de
Temps réel (informatique)Résumé : Introduction
RESEARCH FOUNDATIONS
Real-time systems : generalities and definitions
Real-time scheduling
Technological background
CONTRIBUTIONS
Synthesis and work orientation
MoSaRT design language
MoSaRT analysis repository
MoSaRT framework
CONCLUSION AND PERSPECTIVESEn ligne : http://tel.archives-ouvertes.fr/tel-00954468 Permalink : https://bibliotheque.ensma.fr/index.php?lvl=notice_display&id=31051 Exemplaires
Code-barres Cote Support Localisation Section Disponibilité B00010379 TH-13 OUH Ouvrage BIBLIOTHEQUE - ACCES RESERVE Thèses Exclu du prêt
Titre : Conception d'un framework pour la relaxation des resuêtes SPARQL Type de document : thèse Auteurs : Géraud FOKOU PELAP, Auteur ; Allel HADJALI, Directeur de thèse ; Stéphane JEAN, Directeur de thèse ; LIAS ENSMA-UP EA 66315, Commanditaire ; Nadine CULLOT, Rapporteur ; Farouk TOUMANI, Rapporteur ; Marie-Christine ROUSSET, Examinateur ; Olivier CORBY, Examinateur ; François GOASDOUE, Examinateur Importance : 196 p. Note générale : NNT 2016ESMA0014
Remerciements
Table des matières
Introduction
Bibliographie
Annexes
Table des figures
Liste des tableaux
Glossaire
Résumé
Mots clésCatégories : :Bases de données:Interrogation
Non-réponses (enquêtes)
Ontologies (informatique)
Relaxation, Méthodes de (mathématiques)
Ressource Description Framework (informatique)
SPARQL (langage de programmation)Résumé : ONTOLOGIES : REPRESENTATIONS, STOCKAGE ET INTERROGATION
Notion d'ontologie
Langages de définition des ontologies
Base de données RDF (BD RDF)
Langage d'interrogation : SPARQL
SYNTHESE DES APPROCHES D'INTERROGATION COOPERATIVES
Suggestion de requêtes
Interrogation par l'exemple
Explication sur les réponses d'une requête
Raffinement de la requête par l'utilisateur(Users refinement)
Redéfinition des requêtes
Systèmes de recommandation
ETAT DE L'ART SUR LA RELAXATION DES REQUETES
Relaxation des requêtes relationnelles
Relaxation dans les systèmes de recommandation
Relaxation des requêtes sur les données RDF
EXTENSION DE SPARQL AVEC DES OPERATEURS DE RELAXATION
Besoin d'opérateurs de relaxation
Opérateurs de relaxation
Intégration des opérateurs dans SPARQL
QaRS : Un outil de relaxation des requêtes SPARQL
Expérimentations : contexte et résultats
RECHERCHE DES MFS ET XSS DANS LES REQUETES SPARQL
Préliminaires : rappels et définitions
Approche LBA pour la recherche des MFS et XSS
Optimisation de l'approche LBA
Approche MBA pou la recherche des MFS et XSS
Implémentation et expérimentations
STRATEGIES DE RELAXATION GUIDEES PAR LES CAUSES D'ECHEC
Modèle de relaxation considéré
Structures de données utilisées pour la relaxation
Stratégie de relaxation basée sur les MFS : MBS
Optimisation de l'algorithme MBS
Implémentation et expérimentations
CONCLUSION ET PERSPECTIVESEn ligne : https://tel.archives-ouvertes.fr/tel-01430177 Permalink : https://bibliotheque.ensma.fr/index.php?lvl=notice_display&id=37800 Exemplaires
Code-barres Cote Support Localisation Section Disponibilité B00014162 TH-16 FOK Ouvrage BIBLIOTHEQUE - ACCES RESERVE Thèses Exclu du prêt
Titre : Conception physique des bases de données à base ontologique : le cas des vues matérialisées Type de document : thèse Auteurs : Bery Leouro MBAIOSSOUM, Auteur ; Ladjel BELLATRECHE, Directeur de thèse ; Stéphane JEAN, Directeur de thèse ; LIAS ENSMA-UP EA 66315, Commanditaire ; Zohra BELLAHSENE, Rapporteur ; Nadine CULLOT, Rapporteur ; Olivier TESTE, Examinateur ; Patrick MARCEL, Examinateur Importance : 181 p. Note générale : NNT 2014ESMA0014
Remerciements
Table des matières
Introduction générale
Bibliographie
Annexes
Table des figures
Liste des tableaux
Glossaire
Résumé
Mots clésCatégories : :Architecture:Bases de données
:Bases de données:Conception
:Bases de données:Interrogation
Ontologies (informatique)Résumé : CONCEPTS FONDAMENTAUX
Ontologie et bases de données à base ontologique
Conception physique de bases de données
CONTRIBUTIONS
Etude empirique des bases de données à base ontologique
Modèles de coût pour les bases de données à base ontologique
La sélection des vues matérialisées dans les BDBO : un mode d'emploi
CONCLUSION GENERALE ET PERSPECTIVES
Conclusion
PerspectivesEn ligne : https://tel.archives-ouvertes.fr/tel-01129077 Permalink : https://bibliotheque.ensma.fr/index.php?lvl=notice_display&id=33020 Exemplaires
Code-barres Cote Support Localisation Section Disponibilité B00010795 TH-14 MBA Ouvrage BIBLIOTHEQUE - ACCES RESERVE 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 BELLATRECHE, 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 ENSMA-UP EA 66315, 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ées
Optimisation mathématiqueRé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 Permalink : https://bibliotheque.ensma.fr/index.php?lvl=notice_display&id=35261 Exemplaires
Code-barres Cote Support Localisation Section Disponibilité B00011045 TH-15 BOU Ouvrage BIBLIOTHEQUE - ACCES RESERVE 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 ENSMA-UP EA 66315, 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 Permalink : https://bibliotheque.ensma.fr/index.php?lvl=notice_display&id=33379 Exemplaires
Code-barres Cote Support Localisation Section Disponibilité B00010927 TH-14 MOH Ouvrage BIBLIOTHEQUE - ACCES RESERVE 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 BELLATRECHE, Directeur de thèse ; LIAS ENSMA-UP EA 66315, 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 Permalink : https://bibliotheque.ensma.fr/index.php?lvl=notice_display&id=28082 Exemplaires
Code-barres Cote Support Localisation Section Disponibilité B00009684 TH-12 TEG Ouvrage BIBLIOTHEQUE - ACCES RESERVE 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 BELLATRECHE, Directeur de thèse ; LIAS ENSMA-UP EA 66315, 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 [...] Permalink : https://bibliotheque.ensma.fr/index.php?lvl=notice_display&id=30323 Exemplaires
Code-barres Cote Support Localisation Section Disponibilité B00010261 TH-13 CHA Ouvrage BIBLIOTHEQUE - ACCES RESERVE Thèses Exclu du prêt
Titre : Contribution à l'étude de l'exploitation des données temporelles en présence d'imperfections Type de document : thèse Auteurs : Aymen GAMMOUDI, Auteur ; Allel HADJALI, Directeur de thèse ; Boutheina BEN YAGHLANE, Directeur de thèse ; LIAS ENSMA-UP EA 66315, Commanditaire ; Riadh FARAH, Rapporteur ; Sofian MAABOUT, Rapporteur ; Nahla BEN AMOR, Examinateur ; Daniel ROCACHER, Examinateur ; Mohamed Salah GOUIDER, Examinateur Importance : 111 p. Note générale : NNT 2017ESMA0008
Dédicace
Remerciements
Table des matières
Table des figures
Liste des tableaux
Introduction générale
Références bibliographiques
Catégories : :Architecture:Bases de données
:Bases de données:Interrogation
Bases de données spatio-temporelles
Ensembles flous
Intelligence artificielle
Logique floue
SQL (langage de programmation)Résumé : ETAT DE L'ART
Notions de base
Travaux connexes
CONTRIBUTIONS
Requêtes en présence des relations temporelles graduelles
Requêtes en présence des intervalles temporels flous
Implémentation et expériementation
CONCLUSION GENERALEPermalink : https://bibliotheque.ensma.fr/index.php?lvl=notice_display&id=39193 Exemplaires
Code-barres Cote Support Localisation Section Disponibilité B00014321 GAM Ouvrage BIBLIOTHEQUE - ACCES RESERVE 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 BELLATRECHE, Directeur de thèse ; Khaled-Walid HIDOUCI, Directeur de thèse ; LIAS ENSMA-UP EA 66315, 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 Permalink : https://bibliotheque.ensma.fr/index.php?lvl=notice_display&id=33377 Exemplaires
Code-barres Cote Support Localisation Section Disponibilité B00010944 TH-14 BEN Ouvrage BIBLIOTHEQUE - ACCES RESERVE Thèses Exclu du prêt
Titre : Evaluation et validation des systèmes distribués avioniques Type de document : thèse Auteurs : Georges Arnaud KEMAYO, Auteur ; Pascal RICHARD, Directeur de thèse ; Frédéric RIDOUARD, Directeur de thèse ; Henri BAUER, Directeur de thèse ; LIAS ENSMA-UP EA 66315, Commanditaire ; Jean-Luc SCHARBARG, Rapporteur ; Laurent GEORGE, Rapporteur ; Yvon TRINQUET, Examinateur Importance : 167 p. Note générale : NNT 2014ESMA0010
Remerciements
Table des matières
Introduction générale
Publications
Annexes
Notations
Acronymes
Résumé
Mots clésCatégories : Avionique
Certification
Systèmes à paramètres répartis
Temps réel (informatique)Résumé : ETAT DE L'ART
Introduction aux systèmes avioniques
Méthodes de validation
CONTRIBUTIONS
Analyse de la méthode des trajectoires
Nouvelle méthode d'analyse des délais de bout en bout dans l'AFDX
CONCLUSION ET PERSPECTIVESEn ligne : https://tel.archives-ouvertes.fr/tel-01127020 Permalink : https://bibliotheque.ensma.fr/index.php?lvl=notice_display&id=32570 Exemplaires
Code-barres Cote Support Localisation Section Disponibilité B00010734 TH-14 KEM Ouvrage BIBLIOTHEQUE - ACCES RESERVE 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 ENSMA-UP EA 66315, Commanditaire ; Mohand-Saïd HACID, Rapporteur ; Régine LALEAU, Rapporteur ; Yves LEDRU, Examinateur ; Ladjel BELLATRECHE, 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 enfouis (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 Permalink : https://bibliotheque.ensma.fr/index.php?lvl=notice_display&id=30910 Exemplaires
Code-barres Cote Support Localisation Section Disponibilité B00010408 TH-13 BAZ Ouvrage BIBLIOTHEQUE - ACCES RESERVE 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 ENSMA-UP EA 66315, Commanditaire ; Frédéric BONIOL, Rapporteur ; Parisa GHODOUS, Rapporteur ; Ladjel BELLATRECHE, 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 : :Informatique:Groupes de travail
Aéronautique
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/ Permalink : https://bibliotheque.ensma.fr/index.php?lvl=notice_display&id=27061 Exemplaires
Code-barres Cote Support Localisation Section Disponibilité B00009484 TH-12 SIM Ouvrage BIBLIOTHEQUE - ACCES RESERVE Thèses Exclu du prêt
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 BELLATRECHE, Directeur de thèse ; LIAS ENSMA-UP EA 66315, 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 Permalink : https://bibliotheque.ensma.fr/index.php?lvl=notice_display&id=38511 Exemplaires
Code-barres Cote Support Localisation Section Disponibilité B00014171 TH-16 BOU Ouvrage BIBLIOTHEQUE - ACCES RESERVE Thèses Exclu du prêt
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 ENSMA-UP EA 66315, 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 Permalink : https://bibliotheque.ensma.fr/index.php?lvl=notice_display&id=26505 Exemplaires
Code-barres Cote Support Localisation Section Disponibilité B00009301 TH-12 FOT Ouvrage BIBLIOTHEQUE - ACCES RESERVE 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 BELLATRECHE, Directeur de thèse ; Stéphane JEAN, Directeur de thèse ; LIAS ENSMA-UP EA 66315, 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 Permalink : https://bibliotheque.ensma.fr/index.php?lvl=notice_display&id=30936 Exemplaires
Code-barres Cote Support Localisation Section Disponibilité B00010414 TH-14 BOU Ouvrage BIBLIOTHEQUE - ACCES RESERVE Thèses Exclu du prêt
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 BELLATRECHE, Directeur de thèse ; Dominique GENIET, Directeur de thèse ; LIAS ENSMA-UP EA 66315, 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:Conception
:Bases de données:Interrogation
Bases de données relationnelles
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 Permalink : https://bibliotheque.ensma.fr/index.php?lvl=notice_display&id=31055 Exemplaires
Code-barres Cote Support Localisation Section Disponibilité B00010434 TH-13 KER Ouvrage BIBLIOTHEQUE - ACCES RESERVE 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 ENSMA-UP EA 66315, 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 Permalink : https://bibliotheque.ensma.fr/index.php?lvl=notice_display&id=32571 Exemplaires
Code-barres Cote Support Localisation Section Disponibilité B00010733 TH-14 BIK Ouvrage BIBLIOTHEQUE - ACCES RESERVE 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 BELLATRECHE, Directeur de thèse ; Abdessamad IMINE, Directeur de thèse ; LIAS ENSMA-UP EA 66315, 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 Permalink : https://bibliotheque.ensma.fr/index.php?lvl=notice_display&id=37860 Exemplaires
Code-barres Cote Support Localisation Section Disponibilité B000014168 TH-16 GUE Ouvrage BIBLIOTHEQUE - ACCES RESERVE 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 ENSMA-UP EA 66315, 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 Permalink : https://bibliotheque.ensma.fr/index.php?lvl=notice_display&id=31025 Exemplaires
Code-barres Cote Support Localisation Section Disponibilité B00010427 TH-13 MAI Ouvrage BIBLIOTHEQUE - ACCES RESERVE 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 ENSMA-UP EA 66315, Commanditaire ; Refik MOLVA, Rapporteur ; Mohand-Saïd HACID, Rapporteur ; Radu STATE, Examinateur ; Ladjel BELLATRECHE, 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 : :Entreprises:Réseaux d'ordinateurs
:Ordinateurs:Accès:Contrôle
:Systèmes informatiques:Mesures de sûreté
Boole, Algèbre de
Coupe-feu (sécurité informatique)
Exploration de données
Langages d'interrogationRé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 Permalink : https://bibliotheque.ensma.fr/index.php?lvl=notice_display&id=33017 Exemplaires
Code-barres Cote Support Localisation Section Disponibilité B00010796 TH-14 HAC Ouvrage BIBLIOTHEQUE - ACCES RESERVE 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 BELLATRECHE, Directeur de thèse ; Yamine AIT AMEUR, Directeur de thèse ; LIAS ENSMA-UP EA 66315, 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 : :Bases de données:Conception
Acquisition automatique des données
Analyse des données
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 Permalink : https://bibliotheque.ensma.fr/index.php?lvl=notice_display&id=38734 Exemplaires
Code-barres Cote Support Localisation Section Disponibilité B00014262 TH-17 BAR Ouvrage BIBLIOTHEQUE - ACCES RESERVE Thèses Exclu du prêt
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 BELLATRECHE, Directeur de thèse ; Stéphane JEAN, Directeur de thèse ; LIAS ENSMA-UP EA 66315, 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 : :Bases de données:Conception
:Bases de données:Interrogation
:Ordinateurs:Alimentation en énergie
Analyse des données
Entrepôts de données
Génie logiciel
Lignes de produits
Optimisation mathématique
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 Permalink : https://bibliotheque.ensma.fr/index.php?lvl=notice_display&id=38344 Exemplaires
Code-barres Cote Support Localisation Section Disponibilité B00014146 TH-16 BOU Ouvrage BIBLIOTHEQUE - ACCES RESERVE Thèses Exclu du prêt
Titre : Vers une description et une modélisation des entrées des modèles de coût mathématiques pour l'optimisation des entrepôts de données Type de document : thèse Auteurs : Cheik SALMI, Auteur ; Ladjel BELLATRECHE, Directeur de thèse ; Jalil BOUKHOBZA, Directeur de thèse ; LIAS ENSMA-UP EA 66315, Commanditaire ; Claude GODARD, Rapporteur ; Kokou YETONGNON, Rapporteur ; Djamal BENSLIMANE, Examinateur ; Mohamed MEZGHICHE, Examinateur ; Béatrice MARKHOFF, Examinateur Importance : 165 p. Note générale : NNT 2017ESMA0006
Remerciements
Table des matières
Bibliographie
Annexes
Table des figures
Liste des tableaux
Glossaire
Résumé
Mots clésCatégories : :Bases de données:Conception
:Bases de données:Gestion
:Bases de données:Interrogation
:Ordinateurs:Mémoires tampons
Analyse des données
Entrepôts de données
Ingénierie dirigée par les modèles
Mémoires flash
Ontologies (informatique)Résumé : 29 SEPTEMBRE 2017 Permalink : https://bibliotheque.ensma.fr/index.php?lvl=notice_display&id=38957 Exemplaires
Code-barres Cote Support Localisation Section Disponibilité B00014304 TH-17 SAL Ouvrage BIBLIOTHEQUE - ACCES RESERVE Thèses Exclu du prêt
Titre : Vers un entrepôt de données et des processus : le cas de la mobilité électrique chez EDF Type de document : thèse Auteurs : Kevin ROYER, Auteur ; Ladjel BELLATRECHE, Directeur de thèse ; LIAS ENSMA-UP EA 66315, Commanditaire ; Chantal REYNAUD, Rapporteur ; Claude GODART, Rapporteur ; Salima BENBERNOU, Examinateur ; Anne MONCEAUX, Examinateur ; Frédérick GARCIA, Examinateur ; François de SOUSA LOPES, Examinateur Importance : 190 p. Note générale : NNT 2015ESMA0001
Remerciements
Table des matières
Introduction générale
Bibliographie
Table des figures
Liste des tableaux
Glossaire
Résumé
Mots clésCatégories : :Sémantique selon la théorie des jeux:Applications industrielles
Entrepôts de données
Exploration de données
Ontologies (informatique)
Véhicules électriquesRésumé : ETATS DE L'ART
Etat de l'art sur les ontologies
Etat de l'art sur les entrepôts de données
CONTRIBUTIONS
Construction d'une ontologie modulaire
Entrepôt de données à base ontologique
Gestion de la connaissance et processus métiers
CAS D'ETUDE ET CONCLUSIONS
Cas d'étude EDF
Conclusions et perspectivesEn ligne : https://tel.archives-ouvertes.fr/tel-01151120 Permalink : https://bibliotheque.ensma.fr/index.php?lvl=notice_display&id=33885 Exemplaires
Code-barres Cote Support Localisation Section Disponibilité B00010924 TH-15 ROY Ouvrage BIBLIOTHEQUE - ACCES RESERVE Thèses Exclu du prêt
