We konden deze vermelding niet vinden. Er worden benaderende resultaten weergegeven. Controleer je spelling of stel voor deze term aan het woordenboek toe te voegen.
It consists in matching runtime traces of a system at runtime against behavioral properties.
Elle consiste à faire correspondre des traces d'exécutions d'un système avec des propriétés comportementales.
Interactive debugging consists in studying a system at runtime in order to understand its bugs and fix them, inspecting its internal state interactively.
Le débogage interactif consiste à étudier un système durant son exécution pour comprendre ses bogues et les corriger en inspectant interactivement son état interne.
Runtime verification is a formal method to study the behavior of a system at runtime.
La vérification à l'exécution est une méthode formelle pour étudier le comportement d'un système à l'exécution.
The integration of a technique of machine learning allows continuing to develop the knowledge base of the system at runtime, in order to preserve the utility of the adaptation.
L'intégration d'une technique d'apprentissage permet de continuer à développer la base de connaissance du système à l'exécution afin de préserver l'utilité de l'adaptation.
the policy may be expressed in a human-readable policy expression language and stored for example in a file that is consumed by a certificate issuing system at runtime
la règle peut être exprimée dans un langage d'expression de règle lisible par l'homme et stockée, par exemple, dans un fichier consommé par un système d'émission de certificat pendant l'exécution
VLC tries to guess the most appropriate audio output module for your system at runtime.
VLC essaie de deviner le module de sortie audio le plus adapté à votre système.
Potentieel gevoelige of ongepaste informatie
Er worden alleen voorbeelden gegeven om u te helpen het woord of de woordcombinatie waarop u hebt gezocht, te vertalen. Deze worden niet door ons geselecteerd of gevalideerd en kunnen ongepaste taal bevatten. Wij vragen u melding te maken van voorbeelden die dienen te worden aangepast of verwijderd. Vertalingen met grof of informeel taalgebruik worden meestal rood of oranje gemarkeerd.