Examples with "of byte code programmes" 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.
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.
Andere resultaten
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
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
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
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
This system operates in a mixed-mode environment that supports both interpretation of byte codes and execution of compiled native code.
Ce système opère dans un environnement mixte supportant à la fois l'interprétation de codes de multipler et l'exécution d'un code natif compilé.
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.
allow the overall performance of virtual machines to be improved by using the index table to increase the number of byte codes processable by hardware
d'améliorer la performance globale de machines virtuelles au moyen de la table d'index pour augmenter le nombre de codes à octets pouvant être traités par un matériel
use of byte-codes avoids interference with the communication channel by avoiding compressed data interpretation as channel control commands
l'utilisation desdits codes permet d'éviter toute interférence avec la voie de communication, c'est-à-dire d'éviter que des données comprimées ne soient prises pour des instructions de commande de voie
METHOD FOR ONLINE UPDATING JAVA CLASSES BASED ON RECONSTRUCTION OF BYTE-CODE FILES
Returns the number of bytes occupied by a variable or type.
Renvoie le nombre d'octets occupés par une variable ou un type.
The number of bytes remaining to be read from the request body.
Le nombre d'octets du corps de la requête restant à lire.
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.