Publications scientifiques

Action language: a specification language for model checking reactive systems... A reactive system is one which interacts with its environment continuously

without terminating

[22].
...
général - core.ac.uk - PDF: citeseerx.ist.psu.edu
More enforceable security policies... We define automata with more powerful transformational abilities, including the ability to insert a sequence of actions into the event stream and to suppress actions in the event stream without terminating the program....
général - core.ac.uk - PDF: citeseerx.ist.psu.edu
Denotational semantics using an operationally-based term model... This allows us to consider correctness for programs that interact with their environment without terminating, and also for transformations that change the internal store behavior of the program....
général - core.ac.uk - PDF: citeseerx.ist.psu.edu

Synonymes et termes associés anglais

Exemples anglais - français

industrie mécanique - lexique.mecaniqueindustrielle.com
transport terrestre - iate.europa.eu

Traductions en contexte anglais - français

The transmitting step is performed

without terminating

the dispatch call.

L'étape d'envoi est appliquée sans que l'appel de répartition soit interrompu.

électronique et électrotechnique - wipo.int
The method initiates the video conference without terminating the audio call.

Le procédé établit la visioconférence sans mettre fin à l'appel audio.

électronique et électrotechnique - wipo.int
Furthermore, virtual machines may change types during migration without terminating the virtual machines.

De plus, les machines virtuelles peuvent changer de type pendant la migration sans interrompre les machines virtuelles.

informatique et traitement des données - wipo.int
potential security breach without terminating the subject.

Atteinte potentielle à la sécurité sans mettre fin au sujet.

général - CCMatrix (Wikipedia + CommonCrawl)
Potential security breach without terminating the subject.

Atteinte potentielle à la sécurité sans mettre fin au sujet.

général - CCMatrix (Wikipedia + CommonCrawl)
That way, it protects all active apps without terminating them.

De cette façon, elle protège toutes les applis actives sans les fermer.

général - CCMatrix (Wikipedia + CommonCrawl)
Without terminating their respective ongoing backup operations, idle storage media are demounted and substituted with replacement media.

Sans terminer leurs opérations de sauvegarde en cours respectives, les supports de stockage lents sont démontés et remplacés par des supports de substitution.

informatique et traitement des données - wipo.int
Withdrawal of a part of the deposit without terminating the contract

Retrait d' une partie de l'épargne constituée sans mettre fin au contrat.

général - CCMatrix (Wikipedia + CommonCrawl)
Dynamic user control of a scope of search while the search is on-going and without terminating the search.

L'invention concerne une commande utilisateur dynamique d'un domaine de recherche tandis que la recherche est en cours et sans arrêter la recherche.

informatique et traitement des données - wipo.int
In this regard, experts allow using Amoxicillin during breastfeeding without terminating it.

À cet égard, les experts autorisent l'utilisation de cette amoxicilline pendant l'allaitement sans interrompre l'allaitement.

général - CCMatrix (Wikipedia + CommonCrawl)
The system may detect anomalous conditions, such as tilting of the system housing, and automatically recover without terminating a treatment.

Le système peut détecter des conditions anormales, telles qu'une inclinaison du boîtier de système et recouvrir automatiquement sans terminer un traitement.

santé - wipo.int
Moreover, programs and programs comprising them can be loaded, started, shutdown, stopped, and upgraded without terminating overall operation the platform.

On peut en outre charger, démarrer, fermer, arrêter et mettre à niveau des programmes sans avoir terminé toutes les opérations de la plate-forme.

informatique et traitement des données - wipo.int
There are several link-layer errors that are recoverable without terminating the connection.

Il existe plusieurs type d'erreurs de niveau liaison pouvant être récupérées sans terminer la connexion.

général - CCMatrix (Wikipedia + CommonCrawl)
The system continues to searching for additional instructions on failure of previous instructions to successfully extract a previous section, without terminating.

Le système continue à rechercher des instructions supplémentaires si des instructions précédentes échouent à extraire avec succès une section précédente, sans terminer.

informatique et traitement des données - wipo.int
where the period of validity is changed without terminating the system, the form for notices on the existence of qualification systems

lorsque la durée de validité est modifiée sans quil soit mis un terme au système, le formulaire utilisé pour les avis sur lexistence dun système de qualification

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


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