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é.
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 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.
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
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
Several programmes for children are specifically designed for pupils with special educational needs.
Plusieurs programmes pour enfants sont spécialement pensés pour les élèves ayant des besoins particuliers.
This organisation develops support programmes for children to help pupils who are struggling at school.
Cette association crée des programmes pour enfants pour aider les élèves en difficulté scolaire.
Some activists criticise the joint programme for lacking concrete proposals for young people.
Certains militants reprochent au programme commun de manquer de propositions concrètes pour les jeunes.
The Wednesday afternoon learning programmes for children build on and extend what is covered in class.
Les programmes pour enfants proposés le mercredi après-midi complètent ce qui est vu en classe.
The professional federation coordinates union training programmes for workplace representatives.
La fédération professionnelle coordonne les formations syndicales destinées aux délégués d'entreprise.
Teachers help design the learning programmes for children to ensure steady, coherent progress.
Les enseignants participent à la conception des programmes pour enfants pour assurer une progression cohérente.
Parents look for educational programmes for children that build self-confidence and independence.
Les parents cherchent des programmes pour enfants qui renforcent la confiance en soi et l'autonomie.
Conteúdo potencialmente sensível ou impróprio
Os exemplos servem apenas como ajuda na tradução da palavra ou da expressão procurada. Eles não são selecionados ou validados por nós e podem conter linguagem inapropriada. Pedimos que reporte exemplos que devem ser modificados ou que não devem ser exibidos. As traduções potencialmente sensivéis, impróprias ou coloquiais geralmente são marcadas em vermelho ou em laranja.