Multilingue
à â æ ç è é ê ë î ï ô ù û œ
Assistant
trié par :

Pertinence

Domaine

Source

Nouveau : Traduire du texte avec ChatDico – 172 langues

Dictionnaire français - anglais

vérification de protocoles

protocol testing

communication - iate.europa.eu
▷
▷
Transparent network protocol testing and evaluation... We present a Protocol Testing and Evaluation System (PTES) to assist developers in transparently testing their protocol implementations....
général - core.ac.uk - PDF: osnet.cs.binghamton.edu
Delay-tolerant network protocol testing and evaluation... By examining the evolution of DTN protocol testing and evaluation, this article discusses the trend toward large-scale mobility trace supported emulation, and we propose TUNIE, a large-scale emulation testbed ...
 PDF: www.scopus.com
Protocol testing: review of methods and relevance for software testing... We review the major results in the area of protocol testing and discuss in which way these methods may also be relevant in the more general context of software testing....
 PDF: citeseerx.ist.psu.edu
Protocol testing: review of methods and relevance for software testing... We review the major results in the area of protocol testing and discuss in which way these methods may also be relevant in the more general context of software testing
 PDF: citeseerx.ist.psu.edu
Online protocol testing for fpga based fault tolerant systemsIn this paper, the methodology for automated design of checker for communication protocol testing is presented....
 PDF: citeseerx.ist.psu.edu

testing of protocols

communication - iate.europa.eu
▷
▷
Tinywifi: making network protocol evaluation portable across multiple phy-link layers... How-ever, network-layer protocols are usually developed for and tested in only one class of wireless network due to the lack of a platform that allows testing of protocols across different classes of networks....
communication / information et traitement de l'information / construction européenne - core.ac.uk - PDF: enl.usc.edu

Publications scientifiques

▷
Algebras of coloured petri nets and their applications to modelling and verification
... Une implantation des modèles proposés est présentée, de même que des applications à la modélisation et la vérification de protocoles de sécurité, et à la modélisation et l'analyse de réseaux biologiques de signalisation dans le contexte de processus développementaux...
... An implementation of the framework is also presented, as well as applications to the modelling and verification of security protocols, and to the modelling and analysis of biological regulatory networks in the context of developmental processes.
Europe / recherche et propriété intellectuelle - core.ac.uk - PDF: hal.archives-ouvertes.fr
▷
▷
Probabilistic conformance testing of protocols with unobservable transitionsA probabilistic approach to conformance testing of protocols containing unobservable transitions is proposed....
général - core.ac.uk - PDF: authors.library.caltech.edu
▷
▷
Automated test generation for industrial erlang applications... The work is motivated by a need for testing of protocols and services developed by the company Mobile Arts....
général - core.ac.uk - PDF: citeseerx.ist.psu.edu
▷
▷
Flexible simulation of distributed protocols for mobile computingThis article describes MobiCS (Mobile Computing Simulator), a distributed protocol simulator for mobile computing that facilitates the prototyping and testing of protocols based on high-level programming abstractions and simulation transparency....
général - core.ac.uk - PDF: citeseerx.ist.psu.edu
▷
▷
Constraint-based modeling of interoperability problems using an object-oriented approach... The specific domain of application is interoperability testing of protocols in ATM (Asynchronous Transfer Mode) networks
général - core.ac.uk - PDF: www.aaai.org

Synonymes et termes associés français

Protocoles

•

PROTOCOLES

Exemples français - anglais

protocoles expérimentaux

experimental protocols
général - iate.europa.eu

protocoles supportés

protocols handled
communication - techdico

flux multi-protocoles

multi-protocol flows
communication - techdico
[...]

vérification

check

vérification environnementale

environmental verification

vérification électronique

electronic clearance

vérification d'assertions

assertion checking

Cette vérification

This verification shall

contrôle (vérification)

control
check

vérification postale

postal inspection

vérification CE

EC verification

vérification d'aptitude

Aptitude Verification
VA

vérification comptable

audit

vérification des comptes

audit

vérification destructive

destructive test

vérification d'étude

study audit

vérification syntaxique

syntactic check
syntax check

contrôle de la syntaxe

syntactic check
syntax check

vérification de la syntaxe

syntactic check
syntax check

Traductions en contexte français - anglais

Steve Kremer : Vérification de protocoles cryptographiques

Tutuorial: Formal Verification of Cryptographic Protocols

général - CCMatrix (Wikipedia + CommonCrawl)
L'invention porte sur la classification et la vérification de protocoles de transfert de fichiers statiques.

Classification and verification of static file transfer protocols is provided.

informatique et traitement des données - wipo.int
Cette thèse s'inscrit dans le domaine de la vérification de protocoles cryptographiques dans le modèle symbolique.

This survey focuses on the verification of specifications of protocols in the symbolic model.

général - CCMatrix (Wikipedia + CommonCrawl)
Tout collaborateur concerné par l'implémentation et la vérification de protocoles de routage dans des réseaux d'entreprise.

Any individual involved in implementation and verification of routing protocols in enterprise networks.

général - CCMatrix (Wikipedia + CommonCrawl)
Par exemple RESIST apporte son expertise aux questions de sécurité des réseaux et PESTO sur la vérification de protocoles de sécurité.

For example, RESIST provides its expertise on network security questions and PESTO on the verification of security protocols.

général - CCMatrix (Wikipedia + CommonCrawl)


1 milliard de traductions classées par domaine d'activité en 28 langues
Nouveau : Traduire du texte avec ChatDico – 172 langues

Requêtes fréquentes français :1-200, -1k, -2k, -3k, -4k, -5k, -7k, -10k, -20k, -40k, -100k, -200k, -500k, -1000k,

Requêtes fréquentes anglais :1-200, -1k, -2k, -3k, -4k, -5k, -7k, -10k, -20k, -40k, -100k, -200k, -500k, -1000k,

Traduction  Translation  Traducción  Übersetzung  Tradução  Traduzione  Traducere  Vertaling  Tłumaczenie  Mετάφραση  Oversættelse  Översättning  Käännös  Aistriúchán  Traduzzjoni  Prevajanje  Vertimas  Tõlge  Preklad  Fordítás  Tulkojumi  Превод  Překlad  Prijevod  翻訳  번역  翻译  Перевод