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

Pertinence

Domaine

Source

Nouveau : Traduire du texte avec ChatDico – 172 langues

Dictionnaire français - anglais

Vérificateur

Verifier

général - eur-lex.europa.eu
Le vérificateur génère une clé de vérificateur sur la base du secret puzzle.

The verifier generates a verifier key based on the puzzle secret.

électronique et électrotechnique - wipo.int
Le jeton envoie une réponse codée au vérificateur indiquant qu'il connaît la clé du vérificateur.

The token sends an encoded response to the verifier indicating that it knows the verifier key.

électronique et électrotechnique - wipo.int
Le vérificateur envoie l'identifiant puzzle et une version codée de la clé de vérificateur au jeton.

The verifier sends the puzzle identifier and an encoded version of the verifier key to the token.

électronique et électrotechnique - wipo.int
Le vérificateur sassure notamment que

The verifier shall in particular ascertain that

général - eur-lex.europa.eu
le champ daccréditation de chaque vérificateur

each verifiers scope of accreditation

général - eur-lex.europa.eu
▷
Recherche scientifique et humanisme
... Tout d'abord au niveau des personnes, le chercheur étant le vérificateur parfois dénonciateur des théories admises par tous, sa situation n'est pas confortable....
... At the personal level, the researcher, as the verifier and often the defector from generally accepted theories, is in an uncomfortable situation....
recherche et propriété intellectuelle - core.ac.uk -
▷
Revue de droit. université de sherbrooke. volume 35 - numéro 1...complet.L'utilisation de l'article 129 de la Loi sur la défense nationale dans le système de justice militaire canadien / Par Jean-Bruno Cloutier -- Non-indépendance et autonomie de la norme d'égalité québécoise : des concepts « fondateurs » qui méritent d'être mieux connus / Par David Robitaille-- International labor rights, a categorical imperative? / Par Kamil Ahmed -- Le suivi de l'éthique des projets de recherche en génétique / Par Mylène Deschênes -- La fonction de vérificateur général d'une municipalité : les garanties d'indépendance et d'impartialité inhérentes à la charge de vérificateur public / Par Mathieu Socqué -- L'arrêt Hôpital ...
▷
Pspace has constant-round quantum interactive proof systems AbstractIn this paper we introduce quantum interactive proof systems, which are interactive proof systems in which the prover and verifier may perform quantum computations and exchange quantum messages....
recherche et propriété intellectuelle - core.ac.uk -communication - core.ac.uk -
Preuve de validité du vérificateur de code octet java...etc.) a élevé considérablement le niveau d'exigence envers ce langage, ce qui a amené les chercheurs et les développeurs à s'intéresser au système de sécurité de la Machine Virtuelle Java (MVJ) qui repose principalement sur le vérificateur du code octet....
Advance access published on january 23, 2006 doi:10.1093/comjnl/bxh161 using control dependencies for space-aware bytecode verificationJava applets run on a Virtual Machine that checks code integrity and correctness before execution using a module called the Bytecode Verifier....
 PDF: www.archipel.uqam.ca PDF: citeseerx.ist.psu.edu
Dedukti:un vérificateur de preuves universelInternational audienceDedukti est un vérificateur de types pour le λΠ-calcul modulo, un formalisme alliant types dépendants et réécriture qui permet d’exprimer et de vérifier les preuves de nombreux systèmes logiques.Nous...
Competing provers protocols for circuit evaluation... Assume that a verifier that knows C but doesn’t know x can access the low degree extension of x at one random point....
 PDF: hal-mines-paristech.archives-ouvertes.fr PDF: eccc.hpi-web.de
On quantum interactive proofs with short messages... We consider quantum interactive proof systems where in thebeginning the verifier and prover send messages to each other with the combinedlength of all messages being at most logarithmic (in the input length); and atthe end the prover sends a polynomial-length...
 PDF: arxiv.org
Towards a secure logging mechanism for dynamic systems ∗ extended abstract... attempts to illicitly modify log data must be detectable to a verifier [4]; and forward integrity, that is, should contain sufficient information to confirm or rebuke allegations of log data modification before the moment of the compromise...
 PDF: citeseerx.ist.psu.edu
vérificateur

verifier

politique de l'environnement / union européenne / communication / pouvoir exécutif et administration publique / défense / informatique et traitement des données - iate.europa.eu acta.es
Durant la vérification, le vérificateur détermine si

During the verification, the verifier shall assess whether

général - eur-lex.europa.eu
le vérificateur a cessé dexercer ses fonctions.

the verifier ceased operation.

général - eur-lex.europa.eu
Nom du vérificateur indépendant (le cas échéant

Name of the independent verifier (if applicable

général - eur-lex.europa.eu
vérificateur, un vérificateur au sens de larticle 3, paragraphe 3, du règlement (UE) no 600/2012 de la Commission [15]

verifier means a verifier as defined in Article 3of Commission Regulation (EU) No 600/2012 [15]

général - eur-lex.europa.eu
Le jeton et le vérificateur peuvent utiliser la clé du vérificateur en tant que clé symétrique pour des authentifications ultérieures.

The token and verifier may use the verifier key as a symmetric key for subsequent authentications.

électronique et électrotechnique - wipo.int
▷
Recherche scientifique et humanisme
... Tout d'abord au niveau des personnes, le chercheur étant le vérificateur parfois dénonciateur des théories admises par tous, sa situation n'est pas confortable....
... At the personal level, the researcher, as the verifier and often the defector from generally accepted theories, is in an uncomfortable situation....
recherche et propriété intellectuelle - core.ac.uk -
▷
Revue de droit. université de sherbrooke. volume 35 - numéro 1...complet.L'utilisation de l'article 129 de la Loi sur la défense nationale dans le système de justice militaire canadien / Par Jean-Bruno Cloutier -- Non-indépendance et autonomie de la norme d'égalité québécoise : des concepts « fondateurs » qui méritent d'être mieux connus / Par David Robitaille-- International labor rights, a categorical imperative? / Par Kamil Ahmed -- Le suivi de l'éthique des projets de recherche en génétique / Par Mylène Deschênes -- La fonction de vérificateur général d'une municipalité : les garanties d'indépendance et d'impartialité inhérentes à la charge de vérificateur public / Par Mathieu Socqué -- L'arrêt Hôpital ...
▷
Pspace has constant-round quantum interactive proof systems AbstractIn this paper we introduce quantum interactive proof systems, which are interactive proof systems in which the prover and verifier may perform quantum computations and exchange quantum messages....
recherche et propriété intellectuelle - core.ac.uk -communication - core.ac.uk -
Preuve de validité du vérificateur de code octet java...etc.) a élevé considérablement le niveau d'exigence envers ce langage, ce qui a amené les chercheurs et les développeurs à s'intéresser au système de sécurité de la Machine Virtuelle Java (MVJ) qui repose principalement sur le vérificateur du code octet....
Advance access published on january 23, 2006 doi:10.1093/comjnl/bxh161 using control dependencies for space-aware bytecode verificationJava applets run on a Virtual Machine that checks code integrity and correctness before execution using a module called the Bytecode Verifier....
 PDF: www.archipel.uqam.ca PDF: citeseerx.ist.psu.edu
Dedukti:un vérificateur de preuves universelInternational audienceDedukti est un vérificateur de types pour le λΠ-calcul modulo, un formalisme alliant types dépendants et réécriture qui permet d’exprimer et de vérifier les preuves de nombreux systèmes logiques.Nous...
Competing provers protocols for circuit evaluation... Assume that a verifier that knows C but doesn’t know x can access the low degree extension of x at one random point....
 PDF: hal-mines-paristech.archives-ouvertes.fr PDF: eccc.hpi-web.de
On quantum interactive proofs with short messages... We consider quantum interactive proof systems where in thebeginning the verifier and prover send messages to each other with the combinedlength of all messages being at most logarithmic (in the input length); and atthe end the prover sends a polynomial-length...
 PDF: arxiv.org
Towards a secure logging mechanism for dynamic systems ∗ extended abstract... attempts to illicitly modify log data must be detectable to a verifier [4]; and forward integrity, that is, should contain sufficient information to confirm or rebuke allegations of log data modification before the moment of the compromise...
 PDF: citeseerx.ist.psu.edu
vérificateur

EU ETS verifier

politique de l'environnement - iate.europa.eu
vérificateur

auditor

droit - iate.europa.eu
vérificateur Le vérificateur de la Société. (auditor)

auditor means the auditor of the Corporation; (vérificateur)

général - CCMatrix (Wikipedia + CommonCrawl)
Vérificateur général adjoint, Bureau du vérificateur général (Ontario)

Assistant Auditor General; Office of the Auditor General (Ontario)

général - CCMatrix (Wikipedia + CommonCrawl)
Certaines données de réputation peuvent être déterminées empiriquement, et fournies par un vérificateur indépendant ou un autre vérificateur fiable.

Some of the reputation data may be empirically determined, and provided by an independent or other trusted auditor.

informatique et traitement des données - wipo.int
Le vérificateur général est le vérificateur des comptes publics.

The Auditor General is the auditor of the public accounts.

général - CCMatrix (Wikipedia + CommonCrawl)
Le vérificateur général du Canada est le vérificateur du Conseil.

The Auditor General of Canada is the auditor of the Council.

général - CCMatrix (Wikipedia + CommonCrawl)
▷
La fonction de vérificateur général d’une municipalité : les garanties d’indépendance et d’impartialité inhérentes à la charge de vérificateur public
...107.1, l’obligation au conseil municipal de toute ville de plus de 100 000 habitants de nommer un fonctionnaire appelé vérificateur général....
...(R.S.Q., chapter C-19), of the office of chief auditor, or auditor general as it is known at the federal and provincial level....
général - core.ac.uk - PDF: savoirs.usherbrooke.ca
▷
▷
Tekanan anggaran waktu, locus of control, sifat machiavellian, pelatihan auditor sebagai anteseden perilaku disfungsional auditorThis research is purposed to show the effect of dysfunctional behavior auditor caused by time budget pressure, locus of control, Machiavellian nature and auditor training directly with BPKP RI of the Bali Province 2016 as research location....
général - core.ac.uk - PDF: doaj.org
Controller changes and auditor changes ... A-share market from 1997 to 2009, this paper investigates the relationship between controller changes (including changes in controlling shareholders, directors and CEOs) and auditor changes....
A political-economic analysis of auditor reporting and auditor switchesThis study examines whether auditor opinions are affected by political and economic influences from governments....
 PDF: commons.ln.edu.hk
Analysis of the effect of public accountant firm size, auditor tenure, auditor rotation, and type of the auditor rotation on the audit qualityThis research is aimed to empirically examine the effect of public accountant firm size, auditor tenure, auditor rotation, and type of the auditor rotation on the audit quality....
 PDF: scholar.unand.ac.id
The effect of auditor competence, emotional intelligence of auditors, and auditor independence on auditor performanceThis study was conducted to determine the effect of auditor competence on auditor performance, to determine the effect of auditor emotional intelligence on auditor performance, to determine the effect of auditor independence on...
 PDF: jurnal.unai.edu
vérificateur

verifying agent

finances de l'union européenne - iate.europa.eu
dans la moitié inférieure, le numéro distinctif de lagent vérificateur ou du bureau de vérification

in the lower half, the identification number of the verifying agent or office

pêche - eur-lex.europa.eu
▷
▷
A model-theoretic approach to the verification of agent-oriented systems... We show the complexity to be linear time for one of these logics and polynomial time for another, thus providing encouraging results with respect to the practical use of such logics for verifying agent-oriented systems....
général - core.ac.uk - PDF: citeseerx.ist.psu.edu
Using formal specification to resolve conflicts between contracting agents... This allows for verifying agent interactions in the environment....
 PDF: citeseerx.ist.psu.edu
Ios press tools for analyzing intelligent agent systems... When developing sophisticated multi-agent systems whose behaviors include collaboration, negotiation, and conflict resolution, analyzing and (empirically) verifying agent system behavior is a challenging task....
 PDF: www.cs.vu.nl
A model-theoretic approach to the verification of situated reasoning systems... We show the complexity to be linear time for one of these logics and polynomial time for another, thus providing encouraging results with respect to the practical use of such logics for verifying agent-oriented systems....
 PDF: citeseerx.ist.psu.edu
Empirical analysis for agent system comprehension and verification *Comprehending and verifying agent system behavior is an arduous task when dealing with complex multiagent systems whose behaviors are sophisticated....
 PDF: citeseerx.ist.psu.edu

Publications scientifiques

▷
A pcc architecture based on certified abstract interpretation
... Pour vérifier les certificats, les consommateurs de code utilisent les vérificateurs de preuves produits à partir d'analyseurs statiques certifiés....
... Code consumers use proof checkers derived from certified analysers to check certificates...
général - core.ac.uk - PDF: core.ac.uk
▷
▷
On delegatability of some strong designated verifier signature schemesA strong designated verifier signature scheme makes it possible for a signer to convince a designated verifier that she has signed a message in such a way that the designated verifier cannot transfer...
général - core.ac.uk - PDF: doaj.org
▷
▷
Strong designated verifier signature scheme: new definition and constructionAbstract: Recently, several strong designated verifier signature schemes have been proposed in the literature....
général - core.ac.uk - PDF: citeseerx.ist.psu.edu
▷
▷
Limited verifier signature from bilinear pairings, manuscript... Motivated by the conflict between authenticity and privacy in the digital signature, the notion of limited verifier signature was introduced [1]....
général - core.ac.uk - PDF: citeseerx.ist.psu.edu
▷
▷
Non-delegatable identity-based designated verifier signatureDesignated verifier signature is a cryptographic primitive which allows a signer to convince a designated verifier of the validity of a statement but in the meanwhile prevents the verifier...
général - core.ac.uk - PDF: citeseerx.ist.psu.edu
▷
▷
Universal designated-verifier signaturesMotivated by privacy issues associated with dissemination of signed digital certificates, we define a new type of signature scheme called a 'Universal Designated-Verifier Signature' (UDVS)....
général - core.ac.uk - PDF: citeseerx.ist.psu.edu

Synonymes et termes associés français

Vérificateur

•

commissaire aux comptes

•

vérificateur (Can.)

•

vérificateur (aux comptes)

•

vérificatrice

•

vérificateur comptable

[...]

expert-comptable

•

expert comptable

•

vérificateur de comptabilité

•

auditeur

•

contrôleur

•

réviseur

•

auditeur en environnement

•

appareil-vérificateur

•

enquêteur

•

vérificateur-comptable

•

réviseur des comptes

•

inspecteur de comptabilité

•

Exemples français - anglais

vérificateur principal

seniro auditor
emploi et travail - iate.europa.eu
senior auditor
pouvoir exécutif et administration publique / fiscalité - iate.europa.eu

vérificateur confirmé

seniro auditor
emploi et travail - iate.europa.eu

Membre vérificateur

Reviewing members
général - eur-lex.europa.eu
Reviewing member
général - eur-lex.europa.eu
[...]

vérificateur linguistique

language editor

appareil-vérificateur

verifier

premier vérificateur

senior accountant
senior
senior auditor

métreur vérificateur

quantity surveyor

dessinateur vérificateur

drawing checker

métreur-vérificateur

quantity surveyor

vérificateur interne

internal auditor

vérificateur environnemental

environmental verifier
environmental verifier means

ajusteur-vérificateur

fitter-tester

vérificateur indépendant

independent auditor

vérificateur d'alésage

reaming check

vérificateur adjoint

assistant auditor

vérificateur-comptable

auditor

vérificateur syntaxique

syntaxis checker

vérificateur orthographique

spell check facility
speller program
speller
[...]
spelling checker
spellchecker
spell checker

vérificateur comptable

auditor
accountant

vérificateur de démarreur

starter draw check

vérificateur de documents

DV
Document Verifier

vérificateur en chef

senior auditor

vérificateur de prototype

bench tester

Compte de vérificateur

Verifier account
Verifier Account

Un par vérificateur

One for each verifier

vérificateur (aux comptes)

auditor

vérificateur de batterie

battery tester

opinion du vérificateur

attest opinion
auditor's opinion

vérificateur de faits

fact checker

l'identité du vérificateur

identity of the verifier

vérificateur de comptabilité

auditor

rapport du vérificateur (Can.)

auditor's report

rapport du vérificateur

auditor's report

vérificateur environnemental agréé

accredited environment verifier
accredited environmental verifier
accredited environmental auditor

compte de vérificateur

verifier account

vérificateur de signe

sign check indicator

vérificateur de cohérence

consistency checker

Traductions en contexte français - anglais

Le vérificateur modem-câble [108] est placé à distance du vérificateur de bande téléphonique (VBT)..

The cable Modem Tester [108] is located at a location remote from the VBT.

électronique et électrotechnique - wipo.int
appareil vérificateur des joints de rails

device for testing rail joints

transport terrestre - iate.europa.eu
vérificateur de positionnement d'axe de train

tool for checking landing-gear alignment

transport terrestre - iate.europa.eu
un vérificateur général adjoint nommé par le vérificateur général.

or a deputy inspector general designated by the Inspector General.

général - CCMatrix (Wikipedia + CommonCrawl)
Le vérificateur hybride déclenche les vérificateurs partiels, la comparaison prenant fin dès qu'un vérificateur partiel a pu déterminer un résultat.

The hybrid prover controls the partial provers.

informatique et traitement des données - wipo.int
vérificateur et employé au tri de marchandises

goods inspector and sorter

commercialisation - iate.europa.eu
Le vérificateur hybride déclenche les vérificateurs partiels, la comparaison prenant fin dès qu'un vérificateur partiel a pu déterminer un résultat.

The comparison is terminated as soon as a partial prover can determine a result.

informatique et traitement des données - wipo.int
Vérificateur environnemental EMAS portant le numéro dagrément …

with EMAS environmental verifier registration number …

politique de l'environnement - eur-lex.europa.eu
Le vérificateur transmet c au démonstrateur (230).

The Verifier transmits c to the Prover (230).

électronique et électrotechnique - wipo.int
appareil vérificateur de la résistance des rails

device for measuring rail resistance

transport terrestre - iate.europa.eu
le vérificateur a cessé d'exercer ses fonctions.

the verifier ceased its operations.

général - eur-lex.europa.eu
6 Le vérificateur général est le vérificateur de la Société.

6 The Auditor General is the auditor of the corporation.

général - CCMatrix (Wikipedia + CommonCrawl)
Ceux-ci incluent notre vérificateur backlink, vérificateur Whois, vérificateur d’autorité de domaine et outils de recherche de liste noire.

These include our Backlink Checker, Whois Checker, Domain Authority Checker and Blacklist Lookup tools.

général - CCMatrix (Wikipedia + CommonCrawl)
M. Michael Ferguson (vérificateur général du Canada, Bureau du vérificateur général):

Mr. Michael Ferguson (Auditor General of Canada, Office of the Auditor General):

général - CCMatrix (Wikipedia + CommonCrawl)
Le vérificateur entreprend au minimum les actions suivantes

The verifier shall at least

général - eur-lex.europa.eu


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  翻訳  번역  翻译  Перевод