Log in

Relevant bibliographies by topics / Spécification de protocoles

Contents

Journal articles
Dissertations / Theses
Books

Academic literature on the topic 'Spécification de protocoles'

Author: Grafiati

Published: 14 March 2023

Last updated: 31 July 2025

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

Select a source type:

Consult the lists of relevant articles, books, theses, conference reports, and other scholarly sources on the topic 'Spécification de protocoles.'

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.

Journal articles on the topic "Spécification de protocoles"

1

Randolph, Aurel, Abdessamad Imine, Hanifa Boucheneb, and Alejandro Quintero. "Spécification et analyse d’un protocole de contrôle d’accès optimiste pour éditeurs collaboratifs répartis." Ingénierie des systèmes d'information 19, no. 6 (2014): 9–32. http://dx.doi.org/10.3166/isi.19.6.9-32.

Full text

APA, Harvard, Vancouver, ISO, and other styles

2

Lalanne, Aurélie, and Martin Zumpe. "La croissance des villes canadiennes et australiennes guidée par le hasard ? Enjeux et mesure de la croissance aléatoire urbaine." Canadian Journal of Regional Science 42, no. 2 (2021): 123–29. http://dx.doi.org/10.7202/1083621ar.

Full text

Abstract:

Cet article apporte des éclaircissements quant à l’existence d’une croissance urbaine aléatoire pour les cas Canadien et Australien. La détection de ces processus passe par un approfondissement du protocole de test en distinguant trois spécifications : marche aléatoire pure, avec dérive, et avec dérive et tendance. L’article démontre que la croissance urbaine comporte effectivement une dimension aléatoire. Les petites aires urbaines y sont plus sensibles et leur croissance dépend exclusivement de chocs. Les grandes aires urbaines et celles qui détiennent des activités économiques métropolitain

APA, Harvard, Vancouver, ISO, and other styles

3

Desmoulin, Alexandra, and César Viho. "Interoperability test generation: formal definitions and algorithm." Revue Africaine de la Recherche en Informatique et Mathématiques Appliquées Volume 8, Special Issue... (August 27, 2008). http://dx.doi.org/10.46298/arima.1884.

Full text

Abstract:

International audience In the context of network protocols, interoperability testing is used to verify that two (or more) implementations communicate correctly while providing the services described in their respective specifications. This study is aimed at providing a method for interoperability test generation based on formal definitions. Contrary to previous works, this study takes into account quiescence of implementations that may occur during interoperability testing. This is done through the notion of interoperability criteria that give formal definitions of the different existing pragm

APA, Harvard, Vancouver, ISO, and other styles

Dissertations / Theses on the topic "Spécification de protocoles"

1

Duchene, Julien. "Développement et évaluation d'obfuscations de protocoles basées sur la spécification." Electronic Thesis or Diss., Toulouse, INSA, 2018. http://www.theses.fr/2018ISAT0054.

Full text

Abstract:

Il existe de plus en plus de protocoles de communications différents. La spécification de beaucoup d’entre eux est disponible. Cependant, quand il s’agit de moyens de communication propriétaires, cette spécification est gardée secrète : un attaquant qui aurait accès à cette spécification pourrait compromettre un système utilisant ce protocole. Même s’il n’a pas accès à cette spécification, l’attaquant peut l’obtenir par rétro-conception. Ainsi, il est intéressant de créer des protocoles qui sont difficiles à rétro-concevoir. Dans cette thèse, nous proposons une nouvelle approche spécifiquement

APA, Harvard, Vancouver, ISO, and other styles

2

Chatzikokolakis, Konstantinos. "Spécification et vérification des protocoles de sécurité probabilistes." Phd thesis, Ecole Polytechnique X, 2007. http://pastel.archives-ouvertes.fr/pastel-00003950.

Full text

Abstract:

Le concept de l'anonymat entre en jeu dans les cas où nous voulons garder le secret sur l'identité des agents qui participent à un certain événement. Il existe un large éventail de situations dans lesquelles cette propriété peut être nécessaire ou souhaitable, par exemple: web de vote surf, les dons anonymes, et l'affichage sur les babillards. L'anonymat est souvent formulées de manière plus générale comme une propriété de dissimulation d'informations, à savoir la propriété qu'une partie des informations relatives à un certain événement est tenu secret. Il faut être prudent, cependant, de ne p

APA, Harvard, Vancouver, ISO, and other styles

3

Yahmadi, Imed. "Vers un calcul pour la spécification et l'analyse des protocoles cryptographiques." Thesis, National Library of Canada = Bibliothèque nationale du Canada, 1998. http://www.collectionscanada.ca/obj/s4/f2/dsk2/ftp04/mq26295.pdf.

Full text

APA, Harvard, Vancouver, ISO, and other styles

4

Bonet, d'Oléon Karen de. "Spécification et validation du protocole de communication KerNet+." Nantes, 1991. http://www.theses.fr/1991NANT2066.

Full text

Abstract:

L'objet du travail présenté ici consiste en la spécification complète d'un protocole de communication, appelé KerNet+, de la couche Application du modèle de référence normalisé par l'ISO pour l'Interconnexion des Systèmes Ouverts. Ce protocole introduit et définit un ensemble de services de communication, mis directement à la disposition des tâches utilisateur des sites communicants et conçus pour s'appliquer spécifiquement aux tâches de conduite et de pilotage en temps réel de procédés industriels continus et manufacturiers complexes. Les hypothèses adoptées pour spécifier le protocole KerNet

APA, Harvard, Vancouver, ISO, and other styles

5

Rodriguez, Carlos. "Spécification et validation de systèmes en Xesar." Phd thesis, Grenoble INPG, 1988. http://tel.archives-ouvertes.fr/tel-00326427.

Full text

Abstract:

Étude de méthodes de spécification et vérification des protocoles de communication. La méthode de vérification mise en œuvre consiste a évaluer les spécifications du protocole sur un modèle fini qui le représente. Le langage de spécification est basé sur un mu calcul permettant l'expression aussi bien de comportements que de propriétés

APA, Harvard, Vancouver, ISO, and other styles

6

Rieu, Christine. "Outil d'aide à la spécification et à l'implémentation de protocoles de transfert." Clermont-Ferrand 2, 1989. http://www.theses.fr/1989CLF21105.

Full text

Abstract:

Une approche de conception est construite à partir d'une classification fonctionnelle des informations manipulées. Un support graphique permet de decrire la communication à réaliser. La technique de description proposée est ensuite vérifiée au moyen d'un logiciel de vérification de systèmes décrits sous forme de réseaux de Petri de type Predicats-Transitions.

APA, Harvard, Vancouver, ISO, and other styles

7

Romero, Hernandez Ivan. "Modélisation, spécification formelle et vérification de protocoles d'interaction : une approche basée sur les rôles." Grenoble INPG, 2004. http://www.theses.fr/2004INPG0159.

Full text

Abstract:

Dans cette thèse nous présentons une approche pour la spécification, modélisation et validation des protocoles d'interaction entre agents réactifs. Cette approche est basée sur la notion de rôle-attribut, telle qu'elle est définie dans les méthodologies orientées agent GAIA et MAD KIT. Les rôles peuvent être vus comme des attributs sociaux assignés aux agents, et qui sont pris dans chaque interaction entre agents pour accomplir la fonctionnalité de l'ensemble, cette approche peut permettre d'envisager la définition de schémas de conduite entre des rôles génériques et les traduire vers un ensem

APA, Harvard, Vancouver, ISO, and other styles

8

Dakroury, Yasser. "Spécification et validation d'un protocole de messagerie multi-serveur pour l'environnement MMS." Nantes, 1990. http://www.theses.fr/1990NANT2041.

Full text

Abstract:

On présente un nouveau concept pour l’implémentation du protocole MMS: le protocole de multi-serveur. De sa définition, le protocole multi-serveur MMS envisage une coopération possible entre plusieurs serveurs MMS pour exécuter un service demandé par l'utilisateur client. Ce protocole de multi-serveur nécessite la définition d'un nouveau type d'objet, c'est-à-dire l'objet reparti. Une architecture générale a été introduite pour présenter les interactions possibles entre l'utilisateur client et les serveurs, dits principal et secondaire(s). Cette architecture repose sur le fait que l'objet est

APA, Harvard, Vancouver, ISO, and other styles

9

Auriol, Guillaume. "Spécification et implémentation d'une architecture de signalisation à gestion automatique de la QdS dans un environnement IP multi domaines." Toulouse, INSA, 2004. http://www.theses.fr/2004ISAT0029.

Full text

Abstract:

L’Internet du futur aura à transporter les données de nouvelles applications avec des garanties de qualité de service (QdS). De ce besoin résulte la nécessité d’en re-concevoir l’architecture. Par ailleurs, la structure de l’Internet, composé de domaines indépendants vis à vis de la gestion de la QdS, pose le problème de la continuité du service lors de la traversée de plusieurs domaines. Face à ces deux problématiques, la thèse soutenue est celle d’un système de communication offrant des garanties de QdS par flux applicatif dans un environnement Internet multi domaines. Son architecture intèg

APA, Harvard, Vancouver, ISO, and other styles

10

Jacinto, Montes Ricardo R. "Protocoles de validation à deux phases dans les systèmes transactionnels répartis : spécification, modélisation et vérification." Toulouse 3, 1995. http://www.theses.fr/1995TOU30050.

Full text

Abstract:

Assurer la coherence des donnees dans un traitement reparti est un probleme majeur qui a besoin, pour etre resolu, de la definition des regles de fonctionnement precises. Dans ce contexte, l'osi a defini le protocole iso-tp (transaction processing) pour la realisation des traitements transactionnels repartis. Iso-tp est un protocole a controle centralise base sur une structure hierarchique arborescente qui s'appuie sur la fonction ccr (commitment concurrency & recovery) afin d'assurer la coherence des relations bipoint qui composent l'arbre transactionnel. Pour maitriser la complexite des meca

APA, Harvard, Vancouver, ISO, and other styles

More sources

Books on the topic "Spécification de protocoles"

1

IFIP WG 6.1 International Workshop on Protocol Specification, Testing and Verification (4th 1984 Skytop Lodge, Pa.). Protocol specification, testing and verification, IV: Proceedings of the IFIP WG 6.1 fourth International Workshop on Protocol Specification, Testing and Verification, organized by Columbia University, Skytop Lodge, Pennsylvania, U.S.A. June 11-14, 1984. North-Holland, 1985.

Find full text

APA, Harvard, Vancouver, ISO, and other styles

2

l'environnement, Canada Ministère de, and Centre de technologie environnemetnale (Canada). Division de la recherche et des mesures des émissions., eds. Protocoles et spécifications de rendement pour la surveillance continue des émissions gazeuses des centrales thermiques. Environnement Canada, 2005.

Find full text

APA, Harvard, Vancouver, ISO, and other styles

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!