A partir de contrats de fonctions OCLexec produit les implémentations Java correspondantes qui appellent un solveur de contraintes SMT lors de leur exécution.
OCLexec generates from operation contracts corresponding Java implementations that call an SMT-based constraint solver at runtime.
De fait, nous avons été capables d'empêcher les malwares Java correspondant à une année de vulnérabilités au moyen de l'outil d'exploitation Metasploit.
Thus, one year of Java vulnerabilities is prevented thanks to the Metasploit framework.
pour entrer le fichier d'exécution de l'application java correspondant au fichier de gestion d'application java sélectionné par l'unité de contrôle
for inputting the java application execution file corresponding to the java application management file selected by the control unit
Apple a arrêté depuis longtemps de fournir des mises à jour pour ces deux versions d'OSX et malheureusement ne fournit plus les nouvelles versions de Java correspondantes.
Both of these version of OSX have been discontinued by Apple for a long time and unfortunately they no-longer provide new versions of Java for them.
un module d'envoi est utilisé pour envoyer le message de transaction à un module JAVA afin de déclencher une application JAVA correspondante
a sending module is used to send the transaction message to a JAVA module to initiate corresponding JAVA application
dans un mode de réalisation, les commandes de code objet java classiques identifiées en tant que telles sont traduites par ce vérificateur de code objet java amélioré en une ou plusieurs commandes java correspondantes
in one embodiment, the conventional java bytecode commands identified as such are translated by the enhanced java bytecode verifier into one or more corresponding java commands
l'envoi du message de transaction à un module JAVA, déclenchant une application JAVA correspondante, et la délivrance d'une information de consommation concernant l'événement de transaction à un utilisateur
sending the transaction message to a JAVA module, initiating corresponding JAVA application, and providing consumption information about the transaction event to a user
L'outil de traduction convertit chacun des noeuds en une classe Java correspondante dans laquelle un noeud de données supérieur dans la DTD XML correspond à une classe Java supérieure.
The translation tool converts each of the identified nodes to a corresponding Java class (110) in which a top-level data node in the XML DTD corresponds to a top-level Java class.
La chaîne XPath/XQuery, le nombre et les types de données booléens (voir la liste ci-dessous) sont convertis implicitement en un type de données Java correspondant.
The XPath/XQuery string, number, and boolean datatypes (see list below) are implicitly converted to a corresponding Java datatype.
Potentially sensitive or inappropriate content
Examples are used only to help you translate the word or expression searched in various contexts. They are not selected or validated by us and can contain inappropriate terms or ideas. Please report examples to be edited or not to be displayed. Potentially sensitive, inappropriate or colloquial translations are usually marked in red or in orange.
