Multilingue
Assistant
trié par :

Pertinence

Domaine

Source

Nouveau : Traduire du texte avec ChatDico – 172 langues

Dictionnaire anglais - français

temporal logic

logique temporelle

informatique et traitement des données - iate.europa.eu
A technique for model checking of multi-threaded software is herein disclosed which advanta¬ geously can be used to verify correctness properties expressed using temporal logic, e.g., linear time temporal logic and branching time temporal logic.

Cette technique peut être mise en oeuvre avantageusement pour vérifier les propriétés d'exactitude exprimées au moyen d'une logique temporelle, par exemple une logique temporelle à temps linéaire et une logique temporelle à temps ramifié.

informatique et traitement des données - wipo.int
The stateful application policy is then specified using linear temporal logic.

La politique d'application à états est ensuite spécifiée au moyen d'une logique temporelle, linéaire.

électronique et électrotechnique - wipo.int
Modal logic: epistemic and deontic logic, multi-agent logic, temporal logic, dynamic logic, probabilistic and multi-valued logic, logic of belief revision.

(*) Logiques modales pour les jeux et protocoles: logique épistémique et déontique, logique multi-agents, logique temporelle, logique dynamique, logique probabiliste et multivaluée, logique de révision des croyances.

général - CCMatrix (Wikipedia + CommonCrawl)
Modal logics for games and protocols: epistemic and deontic logic, multi-agent logic, temporal logic, dynamic logic, probabilistic and multivalued logic, logic of belief revision.

(*) Logiques modales pour les jeux et protocoles: logique épistémique et déontique, logique multi-agents, logique temporelle, logique dynamique, logique probabiliste et multivaluée, logique de révision des croyances.

général - CCMatrix (Wikipedia + CommonCrawl)
Temporal logic is modal logic with operators interpreted as applying to propositions over time.

La logique temporelle, avec les mains, c'est une logique dans laquelle on trouve des opérateurs qui travaillent sur le temps.

général - CCMatrix (Wikipedia + CommonCrawl)
▷
Dialogique temporelle et hybridation
The aim of the paper is to offer a dialogical interpretation of standard temporal logic....
...L’objectif de cet article est de donner une interprétation dialogique de la logique temporelle standard....
général - core.ac.uk - PDF: journals.openedition.org
▷
Translation of an extended ltl into tbga in spot
Spot is a model checking library centered around the automata approach, and can be used to verify prop-erties expressed using LTL (Linear Temporal Logic) formulæ on models represented as TGBA (Transition-based Generalized Büchi automata)....
... Spot est une bibliothèque de model checking qui permet de vérifier des propriétés exprimées en logique temporelle à temps linéaire (LTL) sur des modèles représentés par des automates de Büchi généralisés basés sur les transitions (TGBA)....
général - core.ac.uk - PDF: www.lrde.epita.fr
▷
Korrigan : un formalisme et une méthode pour la spécification formelle et structurée de systèmes mixtes
... Views integrate symbolic transition systems, algebraic specifications, and a form of temporal logic....
... Les vues intègrent des systèmes de transition symboliques, des spécifications algébriques et une forme de logique temporelle....
général - core.ac.uk -
▷
An adequate architecture to enforce dynamic authorization... Using temporal logic of actions, we specify the different interactions between components in the architecture and specify more precisely the component in charge of giving the decision....
▷
Chronologie du dépôt de sédiments dans un bassin de décantation du réseau d’assainissement d'orléans... Au total, ces résultats nous permettent de confirmer que les sédiments déposés dans la chambre à sable suivent une logique temporelle, rendant possible des reconstructions paléoenvironnementales en contexte fortement anthropisé, sur des gammes de temps et résolutions rarement atteintes dans...
informatique et traitement des données / électronique et électrotechnique - core.ac.uk - PDF: citeseerx.ist.psu.edugénéral - core.ac.uk -
An input-output simulation approach to controlling multi-affinesystems for linear temporal logic specificationsThis paper presents an input-output simulation approach to controllingmulti-affine systems for linear temporal logic (LTL) specifications, whichconsists of the following steps....
Intégration de composantes passives dans un algorithme de synthèse de controleurs... Dans cette méthode de synthèse, les composantes actives du système sont modélisées par des graphes de transitions temporisés, les composantes passives comme des types abstraits de données et les exigences de contrôle par des formules en logique temporelle....
 PDF: arxiv.org
Grille pour la réalisation de monographies portant sur des luttes collectives... La construction de cette grille suit une logique temporelle et comprend six points : la description générale de la lutte, son émergence, son développement, son dénouement, son évaluation et les perspectives de son renouvellement....
 PDF: core.ac.uk
Cafe : un model-checker collaboratifInternational audienceLa logique temporelle linéaire (LTL) est utilisée dans de nombreux travaux pour décrire formellement le comportement attendu d'un programme....

Publications scientifiques

▷
A history-dependent access control mechanism using reflection... We consider timing constraints expressed using temporal logic, and we describe a possible implementation for our mechanism....
information et traitement de l'information / informatique et traitement des données - core.ac.uk - PDF: citeseerx.ist.psu.edu

Synonymes et termes associés anglais

logic

Exemples anglais - français

logic

logique
général / informatique et traitement des données / transport terrestre / transports / électronique et électrotechnique / technologie et réglementation technique - iate.europa.eu

Traductions en contexte anglais - français

NanoMap incorporates temporal logic folding during the logic mapping, temporal clustering and placement steps.

NanoMap intègre un pliage logique temporel pendant le mappage logique, un groupage temporel et des étapes de placement.

électronique et électrotechnique - wipo.int
Combining dynamic deontic logic and temporal logic for the specification of deadlines.

Combinaison des logiques temporelle et déontique pour la spécification de politiques de sécurité.

général - CCMatrix (Wikipedia + CommonCrawl)
The Temporal Logic of Appearance and Disappearance

La synchronisation d’apparition et de disparition

général - CCMatrix (Wikipedia + CommonCrawl)
1996 Amir Pnueli (temporal logic, program and systems verification)

1996 Amir Pnueli ( Israël) Logique temporelle et vérification de programmes et de systèmes

général - CCMatrix (Wikipedia + CommonCrawl)
Project/Thesis Title : Using Probabilistic Temporal Logic PCTL and Model

Titre du projet / thèse : Utilisation de la logique temporelle probabiliste PCTL et modèle

général - CCMatrix (Wikipedia + CommonCrawl)
The latter concept of time was embedded into an alternative logic model, titled Temporal Logic Model (TLM).

Ce dernier concept du temps a été intégré à un nouveau modèle de logique intitulé Modèle de logique temporelle (MLT).

général - CCMatrix (Wikipedia + CommonCrawl)
An early formal system of temporal logic was studied by Avicenna.

Un système formel précoce de la logique temporelle a été étudiée par Avicenne.

général - CCMatrix (Wikipedia + CommonCrawl)
Additional correctness properties are specified by using linear temporal logic (LTL).

Les propriétés à vérifier doivent être exprimées en Logique Temporelle Linéaire (LTL).

général - CCMatrix (Wikipedia + CommonCrawl)
Here, Linear Temporal Logic (LTL) has been chosen to define the requirements.

Dans le cas de la logique temporelle linéaire (LTL), on ajoute les modalités suivantes.

général - CCMatrix (Wikipedia + CommonCrawl)
Every lattice of states (figure 6) corresponding to correct execution satisfies the temporal logic formula comprising a DANCE program (33).

Chaque treillis d'états (figure 6) correspondant à une exécution correcte répond à la formule logique temporelle comprenant un programme DANCE (33).

informatique et traitement des données - wipo.int
A weird energy creature native to starship systems and core temporal logic circuitry.

Une étrange créature énergétique qu’on trouve dans les moteurs des vaisseaux interstellaires et dans les circuits logiques temporels.

général - CCMatrix (Wikipedia + CommonCrawl)
Currently, Linear Temporal Logic (LTL) is the language used to develop process models […]

Actuellement, Linear Temporal Logic (LTL) est le langage utilisé pour développer des modèles de processus dans Declare.

général - CCMatrix (Wikipedia + CommonCrawl)
This formulation is in the Temporal Logic of Actions (TLA) of Lamport (Lam94).

se base sur la logique temporelle des actions [Lamport94].

général - CCMatrix (Wikipedia + CommonCrawl)
The properties to be checked are usually specified in a form of temporal logic.

spécifier les propriétés à vérifier en logique temporelle.

général - CCMatrix (Wikipedia + CommonCrawl)
In general, the requests can be interpreted as formulae in Linear Temporal Logic (LTL).

Par la suite, les propriétés sont exprimées comme des formules LTL (Logique Temporelle Linéaire).

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 anglais :1-200, -1k, -2k, -3k, -4k, -5k, -7k, -10k, -20k, -40k, -100k, -200k, -500k, -1000k,

Requêtes fréquentes français :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  翻訳  번역  翻译  Перевод