Relevant bibliographies by topics / Interopérabilité des systèmes de preuve / Dissertations / Theses
To see the other types of publications on this topic, follow the link: Interopérabilité des systèmes de preuve.

Dissertations / Theses on the topic 'Interopérabilité des systèmes de preuve'

Author: Grafiati
Published: 26 October 2024
Last updated: 31 July 2025

Create a spot-on reference in APA, MLA, Chicago, Harvard, and other styles

Select a source type:

Consult the top 50 dissertations / theses for your research on the topic 'Interopérabilité des systèmes de preuve.'

Next to every source in the list of references, there is an 'Add to bibliography' button. Press on it, and we will generate automatically the bibliographic reference to the chosen work in the citation style you need: APA, MLA, Harvard, Chicago, Vancouver, etc.

You can also download the full text of the academic publication as pdf and read online its abstract whenever available in the metadata.

Browse dissertations / theses on a wide variety of disciplines and organise your bibliography correctly.

1

Cauderlier, Raphaël. "Object-Oriented Mechanisms for Interoperability Between Proof Systems." Thesis, Paris, CNAM, 2016. http://www.theses.fr/2016CNAM1065/document.

Full text
Abstract:
Dedukti est un cadre logique résultant de la combinaison du typage dépendant et de la réécriture. Il permet d'encoder de nombreux systèmes logiques au moyen de plongements superficiels qui préservent la notion de réduction. Ces traductions de systèmes logiques dans un format commun sont une première étape nécessaire à l'échange de preuves entre ces systèmes. Cet objectif d'interopérabilité des systèmes de preuve est la motivation principale de cette thèse. Pour y parvenir, nous nous inspirons du monde des langages de programmation et plus particulièrement des langages orientés-objet parce qu'i
APA, Harvard, Vancouver, ISO, and other styles
2

Grienenberger, Emilie. "Combining computational theories." Electronic Thesis or Diss., université Paris-Saclay, 2025. http://www.theses.fr/2025UPASG011.

Full text
Abstract:
Les vérificateurs et assistants de preuve sont utilisés pour formaliser des théorèmes mathématiques et la vérification logicielle, notamment de systèmes critiques tels que des sytèmes médicaux, industriels ou de transport. La diversité des systèmes de preuves soulève la question de leur interopérabilité : comment revérifier ou réutiliser des preuves d'un système dans un autre ? Des cadres logiques tels que le lambdaPi-calcul modulo théorie procurent un formalisme commun dans lequel peuvent être exprimées divers systèmes logiques et théories mathématiques. Des outils de transformation de preuve
APA, Harvard, Vancouver, ISO, and other styles
3

Cauderlier, Raphaël. "Object-Oriented Mechanisms for Interoperability Between Proof Systems." Electronic Thesis or Diss., Paris, CNAM, 2016. http://www.theses.fr/2016CNAM1065.

Full text
Abstract:
Dedukti est un cadre logique résultant de la combinaison du typage dépendant et de la réécriture. Il permet d'encoder de nombreux systèmes logiques au moyen de plongements superficiels qui préservent la notion de réduction. Ces traductions de systèmes logiques dans un format commun sont une première étape nécessaire à l'échange de preuves entre ces systèmes. Cet objectif d'interopérabilité des systèmes de preuve est la motivation principale de cette thèse. Pour y parvenir, nous nous inspirons du monde des langages de programmation et plus particulièrement des langages orientés-objet parce qu'i
APA, Harvard, Vancouver, ISO, and other styles
4

Hondet, Gabriel. "Expressing predicate subtyping in computational logical frameworks." Electronic Thesis or Diss., université Paris-Saclay, 2022. http://www.theses.fr/2022UPASG070.

Full text
Abstract:
Le typage permet d'apporter de la sûreté dans la programmation, et il est utilisé au coeur de la majorité des systèmes de preuve. Plus un système de types est expressif, plus il est aisé d'y encoder des invariantsqui seront vérifiés mécaniquement lors du typage. Les types dépendants sont une extension des types simples dans laquelle les types peuvent dépendre de valeurs. Ils permettent par exemple de définir les vecteurs paramétrés par leur longueur. Le sous-typage par prédicat est une autre extension des types simples, dans laquelle les types peuvent être définis par des prédicats. Un sous-ty
APA, Harvard, Vancouver, ISO, and other styles
5

Felicissimo, Thiago. "Generic bidirectional typing in a logical framework for dependent type theories." Electronic Thesis or Diss., université Paris-Saclay, 2024. http://www.theses.fr/2024UPASG049.

Full text
Abstract:
Les théories des types dépendants sont des systèmes formels qui peuvent être utilisés à la fois comme langages de programmation et pour la formalisation des mathématiques, et constituent la base de plusieurs assistants de preuve tels que Coq et Agda. Afin d'unifier leur étude, les Logical Frameworks (LFs) fournissent un méta-langage unifié permettant de définir ces théories, dans lequel diverses notions universelles sont intégrées par défaut et où des méta-théorèmes génériques peuvent être prouvés. Cette thèse se concentre sur les LFs conçus pour être implémentés, avec pour objectif de fournir
APA, Harvard, Vancouver, ISO, and other styles
6

Besançon, Léo. "Interopérabilité des Systèmes Blockchains." Thesis, Lyon, 2021. https://tel.archives-ouvertes.fr/tel-03789639.

Full text
Abstract:
La Blockchain est une technologie disruptive. Elle s'intègre dans un écosystème décentralisé d’applications aux propriétés intéressantes : la transparence des transactions, l’auditabilité des applications, ou encore la résistance à la censure. Les domaines d'application sont variés, de la finance à la santé ou au jeu vidéo. La technologie a évolué depuis sa création en 2008 et possède de nombreuses perspectives. Néanmoins, le domaine rencontre de nombreux défis. Chaque Blockchain utilisant ses propres standards et modèles économiques, il subit notamment un manque d’interopérabilité à différent
APA, Harvard, Vancouver, ISO, and other styles
7

Kirchner, Florent. "Systèmes de preuve interopérables." Phd thesis, Ecole Polytechnique X, 2007. http://pastel.archives-ouvertes.fr/pastel-00003192.

Full text
Abstract:
Les developpements de specifications et des preuves formelles ont pris de l'ampleur durant les dernieres decennies, elabores au sein d'une diversite de canevas, de systemes et de communautes. Cependant l'heterogeneite de ces environnements gene quelques-unes des etapes fondamentales du processus de reflexion scientifique : le partage et la reutilisation des resultats. Cette dissertation propose une methode de distribution du meme developpement formel entre de divers systemes de preuve, augmentant ainsi eur interoperabilite. es chapitres 1 et 2 presentent le cadre logique qui est employe pour cent
APA, Harvard, Vancouver, ISO, and other styles
8

Seyrat, Claude. "L' interopérabilité dans les systèmes d'indexation multimédia." Paris 6, 2003. http://www.theses.fr/2003PA066307.

Full text
APA, Harvard, Vancouver, ISO, and other styles
9

Nowak, David. "Spécification et preuve de systèmes réactifs." Rennes 1, 1999. http://www.theses.fr/1999REN10094.

Full text
Abstract:
Ces dernieres annees, la verification des systemes informatiques critiques est devenue un sujet de recherche important en raison du developpement croissant de logiciels pour la medecine, les moyens de transports ou les centrales nucleaires. Dans ces domaines, une erreur de programmation peut couter tres cher financierement ou en vies humaines. Dans ce cadre, les informaticiens ont ete amenes a developper des langages dits synchrones dedies a la programmation des systemes reactifs. Un systeme reactif est un systeme qui reagit continument avec son environnement a un vitesse imposee par son envir
APA, Harvard, Vancouver, ISO, and other styles
10

Cuggia, Marc. "Interopérabilité des systèmes d'information en santé et aspects sémantiques." Rennes 1, 2008. http://www.theses.fr/2008REN1B116.

Full text
Abstract:
L'interopérabilité des systèmes d'information en santé est un enjeu majeur, puisque ces systèmes sont hétérogènes tant sur leurs domaines de couvertures, leurs structures et leurs contenus. L'objectif de ce travail est d'explorer certains aspects de l'interopérabilité, en particulier sémantique. La thèse contient trois parties. (i) Un état des lieux des systèmes d'information en santé, ainsi que sur la place des normes et standards d'interopérabilité en santé. (ii) Une modélisation et mise en œuvre expérimentale d'un système d'information en santé pour un réseau de soins ville hôpitaux. (iii)
APA, Harvard, Vancouver, ISO, and other styles
11

Malet, Emmanuel. "Interopérabilité des systèmes d'IAO : les services de prototypage rapide." Reims, 2003. http://theses.univ-reims.fr/sciences/2003REIMS020.pdf.

Full text
Abstract:
Résumé : Dans le contexte de l'ingénierie collaborative et de l'entreprise étendue, la collaboration des différents acteurs passe par l'interopérabilité des systèmes d'IAO(Ingénierie Assistée par Ordinateur), celle-ci devant être fondée sur des solutions technologiques normalisées. Cantonnée aux échanges de fichiers suivant différents formats (IGES, SET, VDA etc. ), l'interopérabilité des systèmes CAO (Conception Assistée par Ordinateur) s'est longtemps heurtée et se heurte encore aujourd'hui à l'hétérogénéité des représentations utilisées. AU Milieu des années quatre vingts, le projet STEP (S
APA, Harvard, Vancouver, ISO, and other styles
12

Bah, Abdramane. "Interopérabilité et sécurité des systèmes d'information : application aux systèmes de gestion de l'éducation." Thesis, Nantes, 2020. http://www.theses.fr/2020NANT4028.

Full text
Abstract:
Le contrôle d’accès des services partagés est une exigence essentielle pour une fédération de services de différents domaines. Dans cette thèse, nous nous sommes attaqués à deux problèmes de contrôle d’accès : l’autorisation des utilisateurs et la délégation de l’authentification des utilisateurs à leurs propres domaines. Pour répondre à ces problèmes, nous avons proposé une méthode d’autorisation des utilisateurs basée sur la technique de mapping d’attributs et un mécanisme de contrôle d’accès fédéré pour mettre en oeuvre cette méthode d’autorisation. Nous avons proposé une méthode de fédérat
APA, Harvard, Vancouver, ISO, and other styles
13

Mornet, Marie-Noëlle. "La preuve par vidéosurveillance." Université Robert Schuman (Strasbourg) (1971-2008), 2003. http://www.theses.fr/2003STR30007.

Full text
Abstract:
L'étude porte sur la recherche de la preuve et sa mise en œuvre dans un litige. Elle conduit à déterminer la réglementation de la vidéosurveillance et sa pertinence. Des critères sont communs à une utilisation licite du procédé: celui de l'information des personnes nécessaires mais insuffisant et celui de la proportionnalité permettant d'adapter l'atteinte aux droits des personnes à la nécessité de la surveillance vidéo. La divergence de jurisprudence quant à l'admissibilité de l'enregistrement vidéo et l'évaluation variable de sa force probante s'opposent au principe d'équité du procès. Des a
APA, Harvard, Vancouver, ISO, and other styles
14

Melliti, Tarek. "Interopérabilité des services Web Complexes : Application aux systèmes multi-agents." Paris 9, 2004. https://portail.bu.dauphine.fr/fileviewer/index.php?doc=2004PA090024.

Full text
Abstract:
Ce travail porte sur la formalisation de l'interopérabilité opérationnelle entre deux systèmes communicants et plus particulièrement entre les services Web composites. La formalisation retranscrit la possibilité d'une interaction correcte entre deux systèmes communicant utilisant des spécifications différentes. Cette formalisation se matérialise en trois étapes: Premièrement, nous définissons l'observabilité comme référence d'abstraction pour exprimer la sémantique de différentes spécifications. Ensuite, nous proposons une relation de conformité sur les états de deux systèmes qui retranscrit l
APA, Harvard, Vancouver, ISO, and other styles
15

Diagne, Fama. "Preuve de propriétés dynamiques en B." Phd thesis, Institut National des Télécommunications, 2013. http://tel.archives-ouvertes.fr/tel-00939071.

Full text
Abstract:
Les propriétés que l'on souhaite exprimer sur les applications système d'information ne peuvent se restreindre aux propriétés statiques, dites propriétés d'invariance, qui portent sur des états du système pris au même moment. En effet, certaines propriétés, dites propriétés dynamiques, peuvent faire référence à l'état passé ou futur du système. Les travaux existants sur la vérification de telles propriétés utilisent généralement le model checking dont l'efficacité pour le domaine des systèmes d'information est plutôt réduite à cause de l'explosion combinatoire de l'espace des états. Aussi, les
APA, Harvard, Vancouver, ISO, and other styles
16

Abakar, Kerima Saleh. "Interopérabilité et mutualisation des ressources pour les systèmes communicants hybrides orientés Smart-City." Electronic Thesis or Diss., Mulhouse, 2024. http://www.theses.fr/2024MULH7120.

Full text
Abstract:
Le LPWAN, ou Low Power Wide Area Network, est un type de réseau de communication sans fil à faible débit, de large couverture avec une consommation minimale d’énergie. La variante LoRaWAN, Long Range Wide Area Network permet de connecter un grand nombre d'appareils sur de vastes zones. Cependant, ces réseaux présentent des limites en termes de qualité de service (QoS). Ce travail propose des solutions d'optimisation susceptibles de permettre à ce réseau de répondre aux exigences de la connectivité des villes intelligentes. Nos recherches ont permis de détecter l’impact du facteur charge utile
APA, Harvard, Vancouver, ISO, and other styles
17

Baïna, Salah. "Interopérabilité dirigée par les modèles : une Approche Orientée Produit pour l'interopérabilité des systèmes d'entreprise." Nancy 1, 2006. https://tel.archives-ouvertes.fr/tel-00123271.

Full text
Abstract:
L’intégration des systèmes consiste à assembler les différentes parties d’un système tout en assurant la compatibilité de l’assemblage ainsi que le bon fonctionnement du système complet. Dans ce cadre, l’interopérabilité des systèmes est un moyen pour obtenir l’intégration fondée sur un couplage faible des parties du système, basé sur la capacité des parties à des parties à communiquer entre elles pour accéder et faire appel à leur fonctionnalités. Plus récemment, une nouvelle approche d’ingénierie logicielle a été élaborée «l’ingénierie dirigée par les modèles». Dans cette nouvelle approche l
APA, Harvard, Vancouver, ISO, and other styles
18

Lick, Anthony. "Logique de requêtes à la XPath : systèmes de preuve et pertinence pratique." Thesis, Université Paris-Saclay (ComUE), 2019. http://www.theses.fr/2019SACLN016/document.

Full text
Abstract:
Motivées par de nombreuses applications allant du traitement XML à lavérification d'exécution de programmes, de nombreuses logiques sur les arbresde données et les flux de données ont été développées dans la littérature.Celles-ci offrent divers compromis entre expressivité et complexitéalgorithmique ; leur problème de satisfiabilité a souvent une complexité nonélémentaire ou peut même être indécidable.De plus, leur étude à travers des approches de théories des modèles ou dethéorie des automates peuvent être algorithmiquement impraticables ou manquerde modularité.Dans une première partie, nous
APA, Harvard, Vancouver, ISO, and other styles
19

Sioud, Esma. "Contribution à l'évaluation de l'interopérabilité sémantique entre systèmes d'information d'entreprises : application aux systèmes d'information de pilotage de la production." Thesis, Nancy 1, 2011. http://www.theses.fr/2011NAN10049/document.

Full text
Abstract:
Les travaux présentés dans ce mémoire s'inscrivent dans le contexte de systèmes d'entreprises collaboratives. Nous défendons l'intérêt d'évaluer l'interopérabilité étant donné que la question de l'interopérabilité voire plutôt celle de la non-interopérabilité pose de nombreuses problématiques pour les industriels. En effet, la non-interopérabilité engendre des coûts non négligeables dus principalement au temps et aux ressources mises en place pour développer des interfaces d'échange des informations. Ceci influe sur la performance globale des entreprises et précisément sur les coûts et les dél
APA, Harvard, Vancouver, ISO, and other styles
20

Yahia, Esma. "Contribution à l'évaluation de l'interopérabilité sémantique entre systèmes d'information d'entreprise : Application aux systèmes d'information de pilotage de la production." Phd thesis, Université Henri Poincaré - Nancy I, 2011. http://tel.archives-ouvertes.fr/tel-00630118.

Full text
Abstract:
Les travaux présentés dans ce mémoire s'inscrivent dans le contexte de systèmes d'entreprises collaboratives. Nous défendons l'intérêt d'évaluer l'interopérabilité étant donné que la question de l'interopérabilité voire plutôt celle de la non-interopérabilité pose de nombreuses problématiques pour les industriels. En effet, la non-interopérabilité engendre des coûts non négligeables dus principalement au temps et aux ressources mises en place pour développer des interfaces d'échange des informations. Ceci influe sur la performance globale des entreprises et précisément sur les coûts et les dél
APA, Harvard, Vancouver, ISO, and other styles
21

François, Axel. "Interopérabilité des modèles géométriques pour les Systèmes d'Information Géographique : applications de la norme ISO 19107." Thesis, Aix-Marseille 2, 2011. http://www.theses.fr/2011AIX22078/document.

Full text
Abstract:
Le contexte économique actuel montre que la représentation et l'analyse des données dans l'espace 3D croît de plus en plus dans les Systèmes d'Information Géographique (SIG). Le nombre d'applications SIG est en constante augmentation dans de nombreux secteurs d'activités comme par exemple la Défense, l'Aménagement du Territoire ou la Sécurité Civile. Cependant, nous voyons l'émergence d'une forte demande pour l'analyse 3D dans les SIG. Ces développements nécessitent une standardisation des structures de données et d'échanges. Cette démarche est réalisée par l'Open Geospatial Consortium (OGC) e
APA, Harvard, Vancouver, ISO, and other styles
22

Bondé, Lossan. "Transformations de modèles et interopérabilité dans la conception de systèmes hétérogènes sur puce à base d'IP." Lille 1, 2006. https://pepite-depot.univ-lille.fr/LIBRE/Th_Num/2006/50376-2006-Bonde.pdf.

Full text
Abstract:
Un système sur puce (SoC, pour« System on Chip ») est un circuit intégré qui comporte un ensemble de composants matériels (microprocesseurs, DSP, entrées/sorties. . . ) connectés entre eux par des bus de communication et une couche logicielle (système d'exploitation temps réel et applicatif). La conception de tels systèmes repose de plus en plus sur la réutilisation de composants virtuels (IP, pour Intellectual property). Le concepteur utilise des IPs très souvent d'origines diverses ayant des modèles hétérogènes (différents niveaux d'abstraction : comportemental, RTL, etc. ). Cette approche a
APA, Harvard, Vancouver, ISO, and other styles
23

Nguyen, Quang Huy. "Calcul de réécriture et automatisation du raisonnement dans les assistants de preuve." Nancy 1, 2002. http://www.theses.fr/2002NAN10144.

Full text
Abstract:
Nous étudions dans cette thèse une coopération entre la réécriture du premier ordre et la théorie constructive des types pour automatiser les preuves assistées par l'ordinateur. Nous cherchons par ce travail à mettre en oeuvre la réécriture de manière automatique, sûre et efficace dans l'assistant de preuve Coq à l'aide d'un environnement de programmation externe (ELAN). Deux approches différentes sont étudiées. Dans l'approche mixte, ELAN est utilisé comme un moteur de réécriture externe pour la normalisation des termes dans une tactique réflexive de réécriture en Coq. La trace générée par EL
APA, Harvard, Vancouver, ISO, and other styles
24

Choquer, Marie-Anne. "Preuve de formules conditionnelles dans des spécifications algébriques conditionnelles." Paris 11, 1986. http://www.theses.fr/1986PA112335.

Full text
Abstract:
Dans cette thèse, différentes méthodes de preuve automatique de théorèmes, définies dans le contexte des spécifications algébriques, sont résumées. Il est montré comment étendre une de ces méthodes, (la méthode par récurrence-surréduction) à la preuve de formules conditionnelles dans des spécifications algébriques conditionnelles. Cette méthode s'applique uniquement sur des spécifications satisfaisant la propriété de complétude suffisante par rapport aux constructeurs. Cette propriété est donc étudiée pour le cas des spécifications conditionnelles<br>In this thesis, different proof methods in
APA, Harvard, Vancouver, ISO, and other styles
25

Gaaloul, Sana. "Interopérabilité basée sur les standards Modelica et composant logiciel pour la simulation énergétique des systèmes de bâtiment." Phd thesis, Université de Grenoble, 2012. http://tel.archives-ouvertes.fr/tel-00782540.

Full text
Abstract:
Pour mieux maîtriser ses flux énergétiques et respecter les diverses restrictions mises en place dans ce secteur énergivore, le bâtiment devient un système de plus en plus complexe incluant divers technologies innovantes comme les systèmes de gestion énergétiques (SGEB), une isolation performante et intégrant les énergies renouvelables. Cette complexité exige un changement dans les techniques et paradigmes actuels de simulation du bâtiment pour la prise en compte de ses diverses évolutions. Une modélisation globale des différents composants de ce système et une simulation efficace de ses sous-
APA, Harvard, Vancouver, ISO, and other styles
26

Baïna, Salah. "INTEROPERABILITE DIRIGEE PAR LES MODELES :Une Approche Orientée Produit pour l'interopérabilité dessystèmes d'entreprise." Phd thesis, Université Henri Poincaré - Nancy I, 2006. http://tel.archives-ouvertes.fr/tel-00123271.

Full text
Abstract:
Les travaux de la thèse présentent une approche pour l'interopérabilité entre les différents<br />modèles de produit, nous appellerons cette approche « l'interopérabilité orientée produit ».<br />Nous proposons ainsi un meta-modèle dont les instances jouent le rôle de passerelle de<br />communication entre différentes applications d'entreprise pour assurer l'interopérabilité des<br />parties de systèmes concernant le produit.<br />Nous nous sommes intéressés à formaliser un meta-modèle pour la définition du concept de<br />produit comme l'agrégation d'une partie physique représentant les éléme
APA, Harvard, Vancouver, ISO, and other styles
27

Jomaa, Narjes. "Le co-design d’un noyau de système d’exploitation et de sa preuve formelle d’isolation." Thesis, Lille 1, 2018. http://www.theses.fr/2018LIL1I075/document.

Full text
Abstract:
Dans cette thèse nous proposons un nouveau concept de noyau adapté à la preuve que nous avons appelé « proto-noyau ». Il s’agit d’un noyau de système d’exploitation minimal où la minimisation de sa taille est principalement motivée par la réduction du coût de la preuve mais aussi de la surface d’attaque. Ceci nous amène à définir une nouvelle stratégie de « co-design » du noyau et de sa preuve. Elle est fondée principalement sur les feedbacks entre les différentes phases de développement du noyau, allant de la définition des besoins jusqu’à la vérification formelle de ses propriétés. Ainsi, da
APA, Harvard, Vancouver, ISO, and other styles
28

Xu, Yigang. "Une architecture de médiation basée sur des composants génériques pour l'intégration des systèmes d'information de santé." Paris 6, 2002. http://www.theses.fr/2002PA066376.

Full text
APA, Harvard, Vancouver, ISO, and other styles
29

Diebold, Morgane. "Systèmes composites organogélateurs/polymères semi-conducteurs : de la preuve conceptuelle aux matériaux nanostructurés pour l'électronique plastique." Thesis, Strasbourg, 2018. http://www.theses.fr/2018STRAE002.

Full text
Abstract:
L’amélioration des performances des dispositifs photovoltaïques organiques passe par le contrôle de la morphologie de leurs couches actives. Nous avons cherché à préparer une hétérojonction volumique donneur-accepteur nanostructurée en utilisant la nucléation hétérogène du poly (3-hexylthiophène) (P3HT, donneur) par des fibres d’organogélateurs à base de naphthalène diimide (NDI, accepteur). La première partie de ce travail présente l’étude des propriétés d’auto-assemblage d’organogélateurs à cœur NDI substitué par des groupements amides et des dendrons trialkoxyphényles. Nous avons évalué l’i
APA, Harvard, Vancouver, ISO, and other styles
30

Sioud, Esma. "Contribution à l'évaluation de l'interopérabilité sémantique entre systèmes d'information d'entreprises : application aux systèmes d'information de pilotage de la production." Electronic Thesis or Diss., Nancy 1, 2011. http://www.theses.fr/2011NAN10049.

Full text
Abstract:
Les travaux présentés dans ce mémoire s'inscrivent dans le contexte de systèmes d'entreprises collaboratives. Nous défendons l'intérêt d'évaluer l'interopérabilité étant donné que la question de l'interopérabilité voire plutôt celle de la non-interopérabilité pose de nombreuses problématiques pour les industriels. En effet, la non-interopérabilité engendre des coûts non négligeables dus principalement au temps et aux ressources mises en place pour développer des interfaces d'échange des informations. Ceci influe sur la performance globale des entreprises et précisément sur les coûts et les dél
APA, Harvard, Vancouver, ISO, and other styles
31

Liao, Yongxin. "Annotations sémantiques pour l'intéropérabilité des systèmes dans un environnement PLM." Thesis, Université de Lorraine, 2013. http://www.theses.fr/2013LORR0135/document.

Full text
Abstract:
Dans l'industrie l'approche de gestion du cycle de vie du produit (PLM) a été considérée comme une solution essentielle pour améliorer la compétitivité des produits. Elle vise à fournir une plate-forme commune qui rassemble les différents systèmes de l'entreprise à chaque étape du cycle de vie du produit dans ou à travers les entreprises. Bien que les principaux éditeurs de logiciels fassent des efforts pour créer des outils offrant un ensemble complet et intégré de systèmes, la plupart d' entre eux n'intègrent pas l'ensemble des systèmes. Enfin, ils ne fournissent pas une intégration cohérent
APA, Harvard, Vancouver, ISO, and other styles
32

Belghaouti, Fethi. "Interopérabilité des systèmes distribués produisant des flux de données sémantiques au profit de l'aide à la prise de décision." Thesis, Université Paris-Saclay (ComUE), 2017. http://www.theses.fr/2017SACLL003.

Full text
Abstract:
Internet est une source infinie de données émanant de sources telles que les réseaux sociaux ou les capteurs (domotique, ville intelligente, véhicule autonome, etc.). Ces données hétérogènes et de plus en plus volumineuses, peuvent être gérées grâce au web sémantique, qui propose de les homogénéiser et de les lier et de raisonner dessus, et aux systèmes de gestion de flux de données, qui abordent essentiellement les problèmes liés au volume, à la volatilité et à l’interrogation continue. L’alliance de ces deux disciplines a vu l’essor des systèmes de gestion de flux de données sémantiques RSP
APA, Harvard, Vancouver, ISO, and other styles
33

Belghaouti, Fethi. "Interopérabilité des systèmes distribués produisant des flux de données sémantiques au profit de l'aide à la prise de décision." Electronic Thesis or Diss., Université Paris-Saclay (ComUE), 2017. http://www.theses.fr/2017SACLL003.

Full text
Abstract:
Internet est une source infinie de données émanant de sources telles que les réseaux sociaux ou les capteurs (domotique, ville intelligente, véhicule autonome, etc.). Ces données hétérogènes et de plus en plus volumineuses, peuvent être gérées grâce au web sémantique, qui propose de les homogénéiser et de les lier et de raisonner dessus, et aux systèmes de gestion de flux de données, qui abordent essentiellement les problèmes liés au volume, à la volatilité et à l’interrogation continue. L’alliance de ces deux disciplines a vu l’essor des systèmes de gestion de flux de données sémantiques RSP
APA, Harvard, Vancouver, ISO, and other styles
34

Azami, Ikram El. "Ingéniérie des Systèmes d'Information Coopératifs, Application aux Systèmes d'Information Hospitaliers." Thesis, Valenciennes, 2012. http://www.theses.fr/2012VALE0013.

Full text
Abstract:
Dans cette thèse, nous traitons les systèmes d’information hospitaliers (SIH), nous analysons leurs problématiques de conception, d’interopérabilité et de communication, dans l’objectif de contribuer à la conception d’un SIH canonique, coopératif, et communicant, ainsi de modéliser les échanges entre ses composants et également avec les autres systèmes impliqués dans la prise en charge du patient dans un réseau de soin. Nous proposons une structure et un modèle de conception d’un SIH canonique en se basant sur trois concepts principaux responsables de la production de l’information médicale, à
APA, Harvard, Vancouver, ISO, and other styles
35

Cerqueus, Thomas. "Contributions au problème d’hétérogénéité sémantique dans les systèmes pair-à-pair : application à la recherche d’information." Nantes, 2012. http://archive.bu.univ-nantes.fr/pollux/show.action?id=c40274d8-21a2-4f4a-9892-1367fd993b9c.

Full text
Abstract:
Nous considérons des systèmes pair-à-pair (P2P) pour le partage de données dans lesquels chaque pair est libre de choisir l’ontologie qui correspond le mieux à ses besoins pour représenter ses données. Nous parlons alors d’hétérogénéité sémantique. Cette situation est un frein important à l’interopérabilité car les requêtes émises par les pairs peuvent être incomprises par d’autres. Dans un premier temps nous nous focalisons sur la notion d’hétérogénéité sémantique. Nous définissons un ensemble de mesures permettant de caractériser finement l’hétérogénéité d’un système suivant différentes face
APA, Harvard, Vancouver, ISO, and other styles
36

Panetto, Hervé. "Meta-modèles et modèles pour l'intégration et l'interopérabilité des applications d'entreprises de production." Habilitation à diriger des recherches, Université Henri Poincaré - Nancy I, 2006. http://tel.archives-ouvertes.fr/tel-00119423.

Full text
Abstract:
L'intégration des systèmes consiste à assembler les différentes parties d'un système tout en assurant la compatibilité de l'assemblage ainsi que le bon fonctionnement du système complet. Depuis les années quatre-vingt-dix, l'intégration des systèmes d'entreprise a fait l'objet d'une attention croissante ; elle est ainsi devenue un thème de recherche développé dans plusieurs équipes universitaires et industrielles dans le monde autant que a suscité de nombreux travaux au sein des organisations scientifiques internationales, notamment IFAC et IFIP, et de normalisation, particulièrement IEC, ISO
APA, Harvard, Vancouver, ISO, and other styles
37

Labéjof, Jonathan. "R-*, Réflexion au Service de l'Évolution des Systèmes de Systèmes." Phd thesis, Université des Sciences et Technologie de Lille - Lille I, 2012. http://tel.archives-ouvertes.fr/tel-00768568.

Full text
Abstract:
Dans un monde de plus en plus connecté, le besoin d'interconnecter des systèmes hétérogènes apparait de plus en plus présent. Les Systèmes de Systèmes (SoS) sont une approche de supervision et de contrôle global où les systèmes constituants sont caractérisés comme des sous-systèmes du SoS. Certains de ces sous-systèmes peuvent être sujets à un environnement dynamique leur demandant d'évoluer pour répondre à de nouvelles exigences, voire de s'adapter s'ils doivent répondre à un besoin de disponibilité. La principale difficulté dans la gestion des évolutions possibles est qu'elles peuvent impact
APA, Harvard, Vancouver, ISO, and other styles
38

Tursi, Angela. "Ontology-based approach for product-driven interoperability of enterprise production systems." Thesis, Nancy 1, 2009. http://www.theses.fr/2009NAN10086/document.

Full text
Abstract:
L'interopérabilité des applications est devenue le leitmotiv des développeurs et concepteurs en ingénierie système. La plupart des approches pour l'interopérabilité existant dans l'entreprise ont pour objectif principal l'ajustement et l'adaptation des types et structures de données nécessaire à la mise en œuvre de collaboration entre entreprises. Dans le domaine des entreprises manufacturières, le produit est une composante centrale. Des travaux scientifiques proposent des solutions pour la prise en compte des systèmes d'information issus des produits, tout au long de leur cycle de vie. Mais
APA, Harvard, Vancouver, ISO, and other styles
39

Bergougnoux, Quentin. "Co-design et implémentation d’un noyau minimal orienté par sa preuve, et évolution vers les architectures multi-coeur." Thesis, Lille 1, 2019. http://www.theses.fr/2019LIL1I029/document.

Full text
Abstract:
Avec la croissance majeure de l’Internet des Objets et du Cloud Computing, la sécurité dans ces systèmes est devenue un problème majeur. Plusieurs attaques ont eu lieu dans les dernières années, mettant en avant la nécessité de garanties de sécurité fortes sur ces systèmes. La plupart du temps, une vulnérabilité dans le noyau ou un de ses modules est suffisante pour compromettre l’intégralité du système. Établir et prouver des propriétés de sécurité par le biais d’assistants de preuve semble être un grand pas en avant vers l’apport de garanties de sécurité. Cela repose sur l’utilisation de mod
APA, Harvard, Vancouver, ISO, and other styles
40

Rouvoy, Romain. "Une démarche à granularité extrêmement fine pour la construction de canevas intergiciels hautement adaptables : applications aux services de transactions." Lille 1, 2006. https://ori-nuxeo.univ-lille1.fr/nuxeo/site/esupversions/7959a934-a6e5-48b2-866f-2bbc36e3159b.

Full text
Abstract:
Cette thèse adresse la problématique de la construction des intergiciels hautement adaptables. Ces intergiciels se caractérisent par une grande diversité des fonctionnalités fournies. Dans le domaine du transactionnel, cette diversité concerne non seulement les modèles de transactions, les protocoles de contrôle de concurrence et de reprise après défaillance, mais aussi les normes et les standards d'intégration. Notre proposition consiste à définir un canevas intergiciel capitalisant la diversité du domaine transactionnel, et permettant de construire des services de transactions hautement adap
APA, Harvard, Vancouver, ISO, and other styles
41

Belaud, Jean-Pierre. "Architecture et technologies des systèmes logiciels ouverts : CAPE-OPEN, un standard pour l'interopérabilité et l'intégration des composants logiciels de l'ingénierie des procédés." Toulouse, INPT, 2002. http://www.theses.fr/2002INPT026G.

Full text
Abstract:
Les progiciels de l'ingénierie des procédés sont spécifiques à chaque éditeur. Ceci conduit à une hétérogénéité des solutions qui limite l'intégration des savoir-faire tiers. Le syst-me cape-open (CO) propose des interfaces de programmation standartisées. Il définit une architecture ouverte permettant l'interopérabilité et l'intégration des composants logiciels pour la simultation des procédés. Ce système est caractérisé par une architecture technique des spécifications d'interface et des spécifications d'implémentation. L'architecture technique repose sur une approche orientée-objet/composant
APA, Harvard, Vancouver, ISO, and other styles
42

Rezgui, Abir. "Interopérabilité de modèles dans le cycle de conception des systèmes électromagnétiques via des supports complémentaires : VHDL-AMS et composants logiciels ICAr." Phd thesis, Université de Grenoble, 2012. http://tel.archives-ouvertes.fr/tel-00858315.

Full text
Abstract:
Cette thèse aborde les formalismes pour la modélisation multi-physique en support au cycle en V deconception. Ce travail a été réalisé dans le cadre du projet ANR-MoCoSyMec, selon la méthodologie duprototypage virtuel fonctionnel (PVF) et illustré sur des systèmes électromagnétiques.Nous nous sommes principalement intéressés au langage VHDL-AMS, en tant que support aux différentsniveaux de modélisation apparaissant dans le cycle en V de conception. Cela nous a conduits à traiter laportabilité et l'interopérabilité en VHDL-AMS de diverses méthodes et outils de modélisation. Nous avonsproposé et
APA, Harvard, Vancouver, ISO, and other styles
43

Viard, Louis. "Méthodes et outils pour la programmation des systèmes cyber-physiques." Electronic Thesis or Diss., Université de Lorraine, 2021. http://www.theses.fr/2021LORR0105.

Full text
Abstract:
La conception de systèmes cyber-physiques est une discipline émergente à l'interface de nombreux domaines d'ingénierie. Ces systèmes se caractérisent notamment par une identité double, liant le monde des contrôleurs, discret, à celui du matériel, continu. Les errements d'un contrôleur, qu'ils soient dus à un programme erroné ou à la manifestation d'un aléa de l'environnement, sont susceptibles de produire des conséquences désastreuses. Une attention particulière doit donc être apportée à leur programmation. Le travail présenté dans cet ouvrage est une réponse à ce défi. Nous proposons un langa
APA, Harvard, Vancouver, ISO, and other styles
44

Régis-Gianas, Yann. "Des types aux assertions logiques : preuve automatique ou assistée de propriétés sur les programmes fonctionnels." Paris 7, 2007. http://www.theses.fr/2007PA077155.

Full text
Abstract:
Cette thèse étudie deux approches pour augmenter la sûreté de fonctionnement des programmes informatiques par analyse statique. La première approche est l'utilisation du typage qui permet de prouver automatiquement qu'un programme s'évalue sans échouer. Le langage fonctionnel ML possède un système de type très riche et un algorithme effectuant une synthèse automatique des types. On s'intéresse à son adaptation aux types algébriques généralisés (GADT). Dans ce cadre, le calcul efficace d'un type plus général est impossible. On propose une stratification du langage qui maintient les caractéristi
APA, Harvard, Vancouver, ISO, and other styles
45

Motie, Yassine. "Interopérabilité entre dispositifs hétérogènes en environnement ouvert pour la mise en oeuvre de co-simulation." Thesis, Toulouse 3, 2019. http://www.theses.fr/2019TOU30102.

Full text
Abstract:
Le grand nombre de fonctionnalités d'appareils électroniques qu'on utilise quotidiennement entraîne le passage d'une vision centrée sur des anciennes machines multifonctions vers des appareils variées en interaction distribués et éparpillés dans l'environnement. Sachant qu'un système est un ensemble intégré d'éléments (produits, personnels, processus) connectés et reliés entre eux, en vue de satisfaire, dans un environnement donné, un ou plusieurs objectifs définis et ayant des caractéristiques comme les composants qui le constituent, les relations entre ces composants, son environnement, les
APA, Harvard, Vancouver, ISO, and other styles
46

El, Hami Norelislam. "Contribution aux méthodes hybrides d'optimisation heuristique : Distribution et application à l'interopérabilité des systèmes d'information." Phd thesis, INSA de Rouen, 2012. http://tel.archives-ouvertes.fr/tel-00771360.

Full text
Abstract:
Les travaux présentés dans ce mémoire proposent une nouvelle méthode d'optimisation globale dénommée MPSO-SA. Cette méthode hybride est le résultat d'un couplage d'une variante d'algorithme par Essaim de particules nommé MPSO (Particle Swarm Optimization) avec la méthode du recuit simulé nommé SA (Simulted Annealing). Les méthodes stochastiques ont connu une progression considérable pour la résolution de problèmes d'optimisation. Parmi ces méthodes, il y a la méthode Essaim de particules (PSO° qui est développée par [Eberhart et Kennedy (1995)]. Quant à la méthode recuit simulé (SA), elle prov
APA, Harvard, Vancouver, ISO, and other styles
47

Grieu, Jérôme. "Analyse et évaluation de techniques de commutation Ethernet pour l'interconnexion des systèmes avioniques." Phd thesis, Toulouse, INPT, 2004. http://oatao.univ-toulouse.fr/7385/1/grieu.pdf.

Full text
Abstract:
Les nouvelles générations d'aéronefs embarquent de plus en plus de systèmes avioniques, pour augmenter à la fois la sécurité et le confort des passagers, tout en maintenant une haute rentabilité pour les compagnies aériennes. Ces nouvelles fonctions entraînent une forte hausse des échanges de données, ce qui nécessite plus de débit et de possibilités d'interconnexion. Les bus classiques de communications avioniques ne peuvent répondre à cette nouvelle demande, ce qui a poussé les constructeurs Airbus et Boeing à installer à bord un réseau de communication utilisant la technologie Ethernet comm
APA, Harvard, Vancouver, ISO, and other styles
48

Kan, Channmeta. "Le rôle du juge dans l'administration de la preuve : étude comparée des grands systèmes dans les différents pays de l'ASEAN." Lyon 3, 2007. https://scd-resnum.univ-lyon3.fr/in/theses/2007_in_kan_c.pdf.

Full text
Abstract:
Pour étudier le rôle du juge dans l'administration de la preuve dans le nouveau Code de procédure civile cambodgien, a été choisie la méthode comparative non seulement avec le droit antérieur à l'entrée en vigueur de ce Code et notamment l'ancien Code de procédure en matière civile de 1965, mais également avec cinq autres pays de l'ASEAN : la Thaïlande, le Vietnam, la Malaisie, Singapour et les Philippines. L'étude des dispositions du nouveau Code seule ne suffit pas à apprécier la valeur inestimable du travail de la Commission métissée khméro-japonaise depuis dix années. Le droit comparé para
APA, Harvard, Vancouver, ISO, and other styles
49

Singh, Neeraj Kumar. "Fiabilité et sûreté des systèmes informatiques critiques." Thesis, Nancy 1, 2011. http://www.theses.fr/2011NAN10129/document.

Full text
Abstract:
Les systèmes informatiques envahissent notre vie quotidienne et sont devenus des éléments essentiels de chacun de nos instants de vie. La technologie de l'information est un secteur d'activités offrant des opportunités considérables pour l'innovation et cet aspect paraît sans limite. Cependant, des systèmes à logiciel intégré ont donné des résultats décevants. Selon les constats, ils étaient non fiables, parfois dangereux et ne fournissaient pas les résultats attendus. La faiblesse des pratiques de développement constitue la principale raison des échecs de ces systèmes. Ceci est dû à la comple
APA, Harvard, Vancouver, ISO, and other styles
50

Radhouani, Amira. "Méthodes formelles pour l'extraction d'attaques internes des Systèmes d'Information." Thesis, Université Grenoble Alpes (ComUE), 2017. http://www.theses.fr/2017GREAM025/document.

Full text
Abstract:
La sécurité des Systèmes d’Information (SI) constitue un défi majeur car elle conditionne amplement la future exploitation d’un SI. C’est pourquoi l’étude des vulnérabilités d’un SI dès les phases conceptuelles est cruciale. Il s’agit d’étudier la validation de politiques de sécurité, souvent exprimées par des règles de contrôle d’accès, et d’effectuer des vérifications automatisées sur des modèles afin de garantir une certaine confiance dans le SI avant son opérationnalisation. Notre intérêt porte plus particulièrement sur la détection des vulnérabilités pouvant être exploitées par des utilis
APA, Harvard, Vancouver, ISO, and other styles
You might also be interested in the bibliographies on the topic 'Interopérabilité des systèmes de preuve' for other source types:
Journal articles
We offer discounts on all premium plans for authors whose works are included in thematic literature selections. Contact us to get a unique promo code!

To the bibliography