Validation of Data Flow Results for Program Modules - Karsten Klohs
- Format: Broché Voir le descriptif
Vous en avez un à vendre ?
Vendez-le-vôtre183,00 €
Produit Neuf
Ou 45,75 € /mois
- Livraison : 25,00 €
- Livré entre le 13 et le 18 août
Apres acceptation de la commande, le delai moyen d'expedition depuis le Japon est de 48 heures. Le delai moyen de livraison est de 3 a 4 semaines. En cas de circonstances exceptionnelles, les delais peuvent s'etendre jusqu'à 2 mois.
- Payez directement sur Rakuten (CB, PayPal, 4xCB...)
- Récupérez le produit directement chez le vendeur
- Rakuten vous rembourse en cas de problème
Gratuit et sans engagement
Félicitations !
Nous sommes heureux de vous compter parmi nos membres du Club Rakuten !
TROUVER UN MAGASIN
Retour
Avis sur Validation Of Data Flow Results For Program Modules de Karsten Klohs Format Broché - Livre Informatique
0 avis sur Validation Of Data Flow Results For Program Modules de Karsten Klohs Format Broché - Livre Informatique
Les avis publiés font l'objet d'un contrôle automatisé de Rakuten.
-
Car Racing 1968
2 avis
Neuf dès 109,00 €
-
Quantum Chemistry, 2nd Edition
1 avis
Neuf dès 199,48 €
-
By Marc Pairon Art Deco Ceramics Made In Belgium: Charles Catteau
6 avis
Occasion dès 110,00 €
-
An American Odyssey - Photos From The Detroit Photographic Compagny 1888-1924
Occasion dès 114,00 €
-
Just Enough Software Architecture: A Risk-Driven Approach
Occasion dès 119,99 €
-
Indian Jewelry Making Volume 1
Occasion dès 110,00 €
-
Argentina Ruta 40
Occasion dès 99,00 €
-
Watching Weimar Dance
Neuf dès 94,09 €
-
Pete Townshend: Who I Am
Neuf dès 127,99 €
-
The New Munsell Student Color Set
Neuf dès 125,62 €
-
Vouet: Grand Palais 6 Novembre 1990 11 Février 1991
Occasion dès 150,00 €
-
St - Tropez Soleil
1 avis
Neuf dès 105,00 €
-
Jouef : Les Petits Trains De Notre Enfance
1 avis
Occasion dès 115,00 €
-
Paolo Roversi Livre Nudi
2 avis
Occasion dès 175,00 €
-
Car Racing 1965
2 avis
Neuf dès 109,00 €
-
Oxford Resources For Ib Dp Chemistry: Course Book
Neuf dès 102,33 €
-
Imagine Too!
1 avis
Neuf dès 191,68 €
-
Seamanship In The Age Of Sail
Occasion dès 215,00 €
-
Gilbert Portanier
Neuf dès 141,34 €
-
Les Troubadours - Anthologie Bilingue - Jacques Roubaud
Occasion dès 130,00 €
Produits similaires
Présentation Validation Of Data Flow Results For Program Modules de Karsten Klohs Format Broché
- Livre Informatique
Résumé :
The requirement to validate analysis results originated in Java Bytecode Verification on Smart Cards. The generalisation of this specific application enables advanced optimisations or security checks on limited devices in a scenario where the mobile code is transmitted via an inherently insecure transport media like the Internet. This thesis presents a general approach to the validation of interprocedural data flow results for separated software modules, in order to enable the safe use of data flow results on devices which cannot afford to run the data flow analysis on their own. The idea stems from the Proof-Carrying-Code Principle, which utilises that it is easier to check the correctness of a given solution of a problem than to solve the problem. The validation ensures the correctness of the results but the code producer can perform the complex analysis on a more powerful machine. This is vital in a mobile code scenario where different software modules can be dynamically loaded to the target device and where the potential interactions between the software modules and the runtime environment have to be considered.
Biographie:
In 2002 Karsten Klohs received his Diplom in Informatik from theUniversity Paderborn. As a research assistant with focus on programanalysis he worked in several projects in automobile and smartcardindustry. He earned his Doctor degree in 2009 before joining thecompany Morpho as System Analyst for high-security smartcards.
Détails de conformité du produit
Personne responsable dans l'UE