Examples with "the byte code programme" and their translation in Frans
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.
according to the invention, the mode of operation of the byte code programme being checked is configured for a finite status transition system
le fonctionnement du programme code objet à vérifier est conçu sur un système final de transition d'état
the byte code programme being checked is only released for further processing if the status transition system fulfils all of the conditions of the set
le programme code objet à vérifier est libéré uniquement pour traitement ultérieur lorsque le système de transition d'état remplit toutes les conditions de l'ensemble conditionnel
Andere resultaten
The invention therefore provides a means of guaranteeing the security of byte code programmes and with additional enhancements, can guarantee a certain functionality.
Le matériel décrit permet de garantir la sécurité de programmes code objet et les extensions supplémentaires assurent une certaine fonctionnalité.
The technical aim of the invention is to provide a method for guaranteeing the best possible security in checking the security characteristics of byte code programmes.
L'invention concerne un procédé garantissant une sécurité maximale lors de la vérification des caractéristiques de sécurité de programmes code objet.
method for checking java byte code programmes for security characteristics
procédé de vérification des caractéristiques de sécurité de programmes code objet java
is compared with the data in the model checker, the data in the model checker having been entered as a set of conditions for the characteristics of a reliable byte code programme
sont comparées aux données qui sont introduites dans le vérificateur de modèle comme ensemble conditionnel et qui identifient un programme code objet fiable
The byte code shows binary information in form of hexadecimal numbers.
Le byte code montre l'information binaire sous forme de nombres hexadécimaux.
The byte code of an interface appears in a.class file.
Le code octet d'une interface apparaît dans un.class fichier.
It simply removes the byte-code compiled models, views and controllers from the application.
Ceci supprime tout simplement le bytecode compilé des modèles, vues et contrôleurs de l'application.
From the byte code, instances of the new class object can by generated.
Des instances du nouvel objet de classe peuvent être générées à partir du code par octets.
The byte code files are selected for compilation as a function of the grouping of byte code files.
Les fichiers de code octet sont choisis pour être compilés en fonction du groupage de fichiers de code octet.
a compiler for compiling the byte code into a native code which can directly be executed by the virtual computer
un compilateur permettant de compiler le pseudo-code binaire en un code natif pouvant être directement exécuté par l'ordinateur virtuel
and summing the probability values to determine a likelihood the byte code sequence is malicious.
et la sommation des valeurs de probabilité afin de déterminer une vraisemblance que la séquence de pseudo-code binaire est malveillante.
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.