Détail de l'auteur
Auteur LISI ENSMA EA 1232 |
Documents disponibles écrits par cet auteur (32)
Faire une suggestion Affiner la recherche
Nomination persistante dans un modèle paramétrique. identification non-ambiguë et appariement générique d'entités topologiques / Dago AGBODAN
Titre : Nomination persistante dans un modèle paramétrique. identification non-ambiguë et appariement générique d'entités topologiques Type de document : thèse Auteurs : Dago AGBODAN, Auteur ; Guy PIERRA, Directeur de thèse ; LISI ENSMA EA 1232, Commanditaire ; Abdelaziz BOURAS, Rapporteur ; Yvon GARDAN, Rapporteur ; Yves BERTRAND, Examinateur Année de publication : 2002 Importance : 199 p. Note générale : Avant-propos
Remerciements
Table des matières
Introduction
Conclusion générale
Bibliographie
Renvois
Annexes
IndexLangues : Français (fre) Catégories : Conception assistée par ordinateur
Modèles géométriques
Modélisation tridimensionnelleIndex. décimale : TH-02 Résumé : INTRODUCTION GENERALE
Motivations
Trame du mémoire
FONDEMENTS DE LA MODELISATION PARAMETRIQUE
Introduction
Modélisation géométrique
Modélisation par caractéristiques
Modélisation paramétrique
Conclusion
PS2 : UN MODELE A TROIS NIVEAUX
Introduction
Cinq points-clés pour une nomination persistante
Vue d'ensemble du modèle paramétrique PS2
Architecture du modèle paramétrique - construction
Réévaluation et appariement
Conclusion
INTEGRATION DU MODELE PS2 A UN MODELEUR GEOMETRIQUE
Introduction
Architecture paramétrique du modeleur
Description de l'interface du modeleur
Conclusion
CONCLUSION GENERALE
Travail réalisé
Perspectives
Synthèse
RENVOIS
Références Internet
IllustrationsExemplaires (1)
Code-barres Cote Support Localisation Section Disponibilité B00008125 TH-02 AGB Ouvrage BIBLIOTHÈQUE - ACCÈS RÉSERVÉ Thèses Exclu du prêt OntoDB2 : un système flexible et efficient de base de données à base ontologique pour le web sémantique et les données techniques / Chimène FANKAM
Titre : OntoDB2 : un système flexible et efficient de base de données à base ontologique pour le web sémantique et les données techniques Type de document : thèse Auteurs : Chimène FANKAM, Auteur ; Guy PIERRA, Directeur de thèse ; Ladjel BELLATRÈCHE ; LISI ENSMA EA 1232, Commanditaire ; Nadine CULLOT, Rapporteur ; Mohand-Saïd HACID, Rapporteur ; Danielle BOULANGER, Examinateur ; Jean CHARLET, Examinateur Année de publication : 2009 Importance : 223 p Note générale : NNT 2009ESMA0024
Remerciements
Table des matières
Introduction générale
Bibliographie
Annexe : le méta-schéma EXPRESS
Liste des tableaux
Table des figures
Glossaire
Résumé
Mots clésLangues : Français (fre) Catégories : Bases de données:Gestion
Bases de données:Interrogation
Ontologies (informatique)
Web sémantiqueRésumé : ETAT DE L'ART
Ontologie et formalismes d'ontologies
Bases de données à base ontologique
NOTRE PROPOSITION D'ARCHITECTURE
Description du modèle OntoDB2
Implémentation de l'architecture de BDBO OntoDB2
VALIDATION
Application : raisonnements numériques sur les ensembles partiellement ordonnées
Validation d'OntoDB2
CONCLUSION ET PERSPECTIVESEn ligne : http://tel.archives-ouvertes.fr/tel-00452533/fr/ Exemplaires (1)
Code-barres Cote Support Localisation Section Disponibilité B00008175 TH-09 FAN Ouvrage BIBLIOTHÈQUE - ACCÈS RÉSERVÉ Thèses Exclu du prêt
Titre : OntoQL, un langage d'exploitation des bases de données à base ontologique Type de document : thèse Auteurs : Stéphane JEAN ; Yamine AIT AMEUR, Directeur de thèse ; Guy PIERRA, Directeur de thèse ; LISI ENSMA EA 1232, Commanditaire ; Witold LITWIN, Rapporteur ; OUKSEL, Aris, M., Rapporteur ; Michel SCHNEIDER, Rapporteur ; Olivier CORBY, Examinateur Importance : 289 p. Note générale : NNT 2007POIT2324
Table des matières
Bibliographie
Annexes
Table des figures
Liste des tableaux
Glossaire
Résumé
Mots clésCatégories : Bases de données
Ontologies (informatique)
Parts LIBrary (PLIB)Index. décimale : TH-07 Résumé : DE LA NECESSITE D'UN NOUVEAU LANGAGE D'EXPLOITATION DES BASES DE DONNEES A BASE ONTOLOGIQUE
Ontologies et bases de données à base ontologique
Exigences pour un langage d'exploitation de BDBO
NOTRE PROPOSITION : LE LANGAGE ONTOQL
Traitements des données à base ontologique d'une BDBO
Traitements des ontologies et simultanément des ontologies et des données d'une BDBO
VALIDATION THEORIQUE ET OPERATIONNELLE DU LANGAGE ONTOQL
Sémantique formelle du langage OntoQL
Implantation du langage OntoQL sur le prototype OntoDB
CONCLUSION ET PERSPECTIVES
En ligne : http://tel.archives-ouvertes.fr/tel-00201777/fr/ Exemplaires (1)
Code-barres Cote Support Localisation Section Disponibilité B00007617 TH-07 JEA Ouvrage BIBLIOTHÈQUE - ACCÈS RÉSERVÉ Thèses Exclu du prêt Ordonnancement temps réel hors-ligne optimal à l'aide de réseaux Petri en environnement monoprocesseur et multiprocesseur / Emmanuel GROLLEAU
Titre : Ordonnancement temps réel hors-ligne optimal à l'aide de réseaux Petri en environnement monoprocesseur et multiprocesseur Type de document : thèse Auteurs : Emmanuel GROLLEAU ; Francis COTTET, Directeur de thèse ; Annie CHOQUET-GENIET, Directeur de thèse ; LISI ENSMA EA 1232, Commanditaire ; G. JUANOLE, Rapporteur ; Guy VIDAL-NAQUET, Rapporteur ; P. ESTRAILLIER, Examinateur ; Annie CHOQUET-GENIET, Examinateur ; Francis COTTET, Examinateur ; A.-M. DEPLANCHE, Examinateur Importance : 233 p. Note générale : Remerciements
Sommaire
Bibliographie
Bibliographie liée à l'étude
Annexes
Index des figuresCatégories : Informatique
Petri, Réseaux de
Temps réel (informatique)Index. décimale : TH-99 Résumé : SYSTEMES TEMPS REEL ET ORDONNANCEMENT
Introduction au temps réel
L'ordonnancement des systèmes de tâches temps réel
EXTENSIONS DES RESEAUX DE PETRI
Réseau de Pétri autonomes
ETUDE DE LA CYCLICITE DES ORDONNANCEMENTS DE TÂCHES PERIODIQUES
Etude des temps creux acycliques
Cas des systèmes de tâches indépendantes
Cas des systèmes de tâches quelconques
ETUDE DE SYTEMES TEMPS REEL A L'AIDE DE RESEAUX DE PETRI : CAS MONOPROCESSEUR
Modélisation
Etude
Complexité et taille du graphe d'accessibilité
Obtention des séquences d'ordonnancement valides
ETUDE DE SYSTEMES TEMPS REEL A L'AIDE DE RESEAUX PETRI : CAS MULTIPROCESSEUR
Hypothèses matérielles
Modélisation
Etude
APPLICATION DE L'ETUDE
Présentation de PeNSMARTS
Etude de casExemplaires (1)
Code-barres Cote Support Localisation Section Disponibilité B00006981 TH-99 GRO Ouvrage BIBLIOTHÈQUE - ACCÈS RÉSERVÉ Thèses Exclu du prêt Des priorités fixes aux priorités dynamiques en ordonnancement temps-réel : Etude comparative et calcul des priorités / Bernard CHAUVIERE
Titre : Des priorités fixes aux priorités dynamiques en ordonnancement temps-réel : Etude comparative et calcul des priorités Type de document : thèse Auteurs : Bernard CHAUVIERE ; Dominique GENIET, Directeur de thèse ; LISI ENSMA EA 1232, Commanditaire ; Ye-Qiong SONG, Rapporteur ; Patrick MARTINEAU, Rapporteur ; René SCHOTT, Examinateur ; Joël GOOSSENS, Examinateur ; Annie CHOQUET-GENIET, Examinateur Importance : 190 p. Note générale : Remerciements
Table des matières
Introduction générale
Conclusion générale
Publications
Notations
Bibliogrpahie
Résumé
Mots clésCatégories : Markov, Processus de
Multiprocesseurs
Ordonnancement (informatique)
Qualité de service (télécommunications)
Temps réel (informatique)Index. décimale : TH-07 Résumé : CONTEXTE DE L'ETUDE ET ETAT DE L'ART
Systèmes temps-réel
Politiques d'ordonnancement
CONTRIBUTIONS AU PROBLEME DE LA CYCLICITE
Préambule
Cyclicité des ordonnancements de tâches périodiques
Durée de montée en charge en priorités fixes
Intervalle d'étude pour les méthodes hors-ligne
CONTRIBUTIONS A LA PRODUCTION DE SOLUTIONS D'ORDONNANCEMENT
Production des configurations de priorités fixes valides
Configurations de priorités fixes par instances
Systèmes de tâches avec relations de précédence
CONTRIBUTIONS AU DIAGNOSTIC DES SYTEMES TEMPS-REEL
Modélisation par les chaînes de Markov
Algorithme de calcul
Etude des temps de réponseExemplaires (1)
Code-barres Cote Support Localisation Section Disponibilité B00007638 TH-07 CHA Ouvrage BIBLIOTHÈQUE - ACCÈS RÉSERVÉ Thèses Exclu du prêt Vers une approche sûre du développement des Interfaces Homme-Machine / Mickaël BARON
Titre : Vers une approche sûre du développement des Interfaces Homme-Machine Type de document : thèse Auteurs : Mickaël BARON ; Yamine AIT AMEUR, Directeur de thèse ; Patrick GIRARD, Directeur de thèse ; LISI ENSMA EA 1232, Commanditaire ; Dominique CANSELL, Rapporteur ; Bruno d' AUGSBOURG, Rapporteur ; Jean VANDERDONCKT, Rapporteur ; Yamine AIT AMEUR, Examinateur ; Patrick GIRARD, Examinateur ; Guy PIERRA, Examinateur ; Jean-Daniel FEKETE, Examinateur ; Francis JAMBON, Examinateur Importance : 253 p. Note générale : Résumé/Abstract
Table des matières
Table des figures
Liste des tableaux
Introduction générale
Conclusion et perspectives
Bibliographie
Publications liées à ce mémoire de thèse
Mots clésCatégories : Méthode B (informatique)
Méthodes formelles (informatique)
Systèmes homme-machineIndex. décimale : TH-03 Résumé : ETAT DE L'ART
Le domaine de l'interaction homme-machine
Les techniques formelles pour la conception des systèmes interactifs
Les outils de conception
Synthèse : justification du travail de thèse
MODELISATION ET VALIDATION FORMELLES DE DESCRIPTIONS DE L'INTERACTION DANS LES IHM
Rappels
Méthode B
Approche à base de modules
Approche à base d'événements
SUIDT : UNE APPROCHE EXPERIMENTALE POUR LA CONSTRUCTION D'INTERFACES UTILISATEURS SURES
Généralités sur l'approche expériementale
Intégration d'un noyau fonctionnel développé formellement dans une apprche de système basés sur modèles
Validation sur le noyau fonctionnel
Validation sur la présentation
Conclusion générale sur l'approche SUIDTExemplaires (1)
Code-barres Cote Support Localisation Section Disponibilité B00002251 TH-03 BAR Ouvrage BIBLIOTHÈQUE - ACCÈS RÉSERVÉ Thèses Exclu du prêt Vers un environnement générique d'aide au développement d'applications interactives de simulations de métamorphoses / Fabrice DEPAULIS
Titre : Vers un environnement générique d'aide au développement d'applications interactives de simulations de métamorphoses Type de document : thèse Auteurs : Fabrice DEPAULIS, Auteur ; Patrick GIRARD, Directeur de thèse ; LISI ENSMA EA 1232, Commanditaire ; Laurence NIGAY, Rapporteur ; Henry LIEBERMAN, Rapporteur ; Pascal LIENHARDT, Examinateur ; Guy PIERRA, Examinateur Année de publication : 2002 Importance : 220 p. Note générale : Remerciements
Table des matières
Introduction générale
Annexes
Index
Figures
Bibliographie
Résumé
Mots clésLangues : Français (fre) Catégories : Architecture:Bases de données
Conception technique:Informatique
Interaction homme-ordinateur
Métamorphose (animation par ordinateur)Résumé : SIMULATION D'ANIMATIONS ET DE METAMORPHOSES
Principes généraux et méthodes
Métamorphoses d'objets naturels
OUTILS POUR LA CONCEPTION DE SYSTEMES DE C.A.O. DE METAMORPHOSES
H4 : une architecture logicielle pour le dialogue structuré
Programmation interactive
UN ENVIRONNEMENT DE DEVELOPPEMENT DE SIMULATION DE METAMOPHOSES
H4
DTS Edit : un éditeur pour la boîte à outils du dialogue
Un moteur générique de simlulation de métamorphoses
CONCLUSION GENERALEExemplaires (1)
Code-barres Cote Support Localisation Section Disponibilité B00008520 TH-02 DEP Ouvrage BIBLIOTHÈQUE - ACCÈS RÉSERVÉ Thèses Exclu du prêt