Publications scientifiques

Artifact systems with data dependencies and arithmetic... In previous work we identified the class of guarded artifact systems and properties, for

which verification

is decidable.
...
général - core.ac.uk - PDF: citeseerx.ist.psu.edu
2 verification conditions for single-assignment branching programs... In this tutorial paper we formalize the program verification tech-nique that consists in the translation of branching code to such an intermediate single-assignment form, from which verification conditions are generated....
général - core.ac.uk - PDF: haslab.uminho.pt
Compositional high-level petri net semantics of a parallel programming language with procedures ... It inherits thus properties of the Petri net model, in particular the coherence with elementary Petri nets on which verification techniques are based....
pêche - core.ac.uk -
Decidability and complexity issues for infinite-state processes... Hence the models of infinite-state systems can be classified according to which verification problems are decidable, and in the positive case according to complexity considerations
général - core.ac.uk - PDF: citeseerx.ist.psu.edu

Synonymes et termes associés anglais

Exemples anglais - français

communication / production et structures agricoles / agriculture, sylviculture et pêche / activité agricole / sciences naturelles et appliquées / gestion comptable / politique de coopération / organisation de l'entreprise / droit international / vie politique et sécurité publique / pouvoir exécutif et administration publique / informatique et traitement des données / union européenne - iate.europa.eu
droit international / vie politique et sécurité publique - iate.europa.eu
droit - iate.europa.eu
[...]
général - eur-lex.europa.eu
industrie mécanique - lexique.mecaniqueindustrielle.com

Traductions en contexte anglais - français

(As with Twitter, Facebook manages the verification program, and decides

which verification

requests to accept.)

(Comme avec Twitter, Facebook gère le programme de vérification, et décide quelles demandes de vérification accepter.)

général - CCMatrix (Wikipedia + CommonCrawl)
Then, a shutdown verification prompt which requests a verification input is displayed.

Ensuite, une invite de confirmation d'arrêt qui demande une saisie de confirmation est affichée.

informatique et traitement des données - wipo.int
a method of identity verification which

une méthode de vérification de l'identité qui

général - eur-lex.europa.eu
Results of technical verification (Surveyor's Report) for products for which technical verification is mandatory

Résultats de la vérification technique (rapport de l'inspecteur) pour les produits pour lesquels la vérification technique est obligatoire

technologie et réglementation technique - eur-lex.europa.eu
Results of technical verification (Surveyor's Report) for products for which technical verification is mandatory

Résultats de la vérification technique (rapport de l'inspecteur) pour les produits pour lesquels la vérification technique est obligatoire

technologie et réglementation technique - eur-lex.europa.eu
Which organisations are responsible for data verification?

Quelles organisations sont chargées de vérifier les données?

informatique et traitement des données - eur-lex.europa.eu
A verification and accounting system is taught which provides ad run verification and accounting information.

Un système de vérification et de comptabilité qui donne des informations sur la vérification du passage à l'écran des publicités et des informations comptables est également décrit.

électronique et électrotechnique - wipo.int
Auditees are operators which are subject to legality verification.

Les entités contrôlées sont des opérateurs soumis à la vérification de légalité.

général - eur-lex.europa.eu
Auditees are operators which are subject to legality verification.

Les entités contrôlées sont des opérateurs soumis à la vérification de légalité.

général - eur-lex.europa.eu
A verification entity receives the encryption stream which is sent by the merchant for identity verification and payment authorization.

Une entité de vérification reçoit le flux de chiffrement qui est envoyé par le marchand de manière à procéder à une vérification d'identité et à une autorisation de paiement.

informatique et traitement des données - wipo.int
A verification entity receives the encryption stream which is sent by the merchant for identity verification and payment authorization.

Une entité de vérification reçoit le flux de chiffrement qui est envoyé par le vendeur pour une vérification d'identité et une autorisation de paiement.

informatique et traitement des données - wipo.int
If the verification is unsuccessful, the verification rate is increased, which can adversely affect the processing load of the device.

Si la vérification échoue, le taux de vérification est augmenté, ce qui peut nuire à la charge de traitement du dispositif.

électronique et électrotechnique - wipo.int
The wireless device applies the verification scheme to the firmware and obtains a verification test result, which is forwarded for analysis.

Le dispositif sans fil applique le plan de vérification au micrologiciel et obtient un résultat de test de vérification, ce résultat étant retransmis pour être analysé.

électronique et électrotechnique - wipo.int
The competent authority which made the request may participate in the verification when it does not carry out the verification itself.

Lautorité compétente qui a présenté la demande peut participer à la vérification lorsquelle ny procède pas elle-même.

général - eur-lex.europa.eu
The GOC contests the Commission's alleged practice not to accept new documents and evidence which require verification after the end of the verification session to which they belong.

Les pouvoirs publics chinois ont également contesté la pratique de la Commission qui consisterait à ne pas accepter de nouveaux documents ou éléments de preuve nécessitant des vérifications après l'échéance de la période de vérification correspondante.

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


1 milliard de traductions classées par domaine d'activité en 28 langues