Validation of Data Flow Results for Program Modules - Klohs, Karsten
- Format: Broché
- 404 pages 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 9 et le 14 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 Format Broché - Livre Informatique
0 avis sur Validation Of Data Flow Results For Program Modules Format Broché - Livre Informatique
Donnez votre avis et cumulez 5
Les avis publiés font l'objet d'un contrôle automatisé de Rakuten.
-
Warhammer 40,000 Rulebook
Occasion dès 92,99 €
-
Zohar - The Complete Original Aramaic Text
Neuf dès 231,99 €
Occasion dès 190,00 €
-
Les Trains Blindes: De 1825 À Nos Jours
2 avis
Occasion dès 101,81 €
-
Matthew 1-7
Neuf dès 141,89 €
Occasion dès 118,99 €
-
The Flash By Joshua Williamson Omnibus Vol. 1
Neuf dès 151,41 €
-
117 Days Adrift
Occasion dès 92,26 €
-
The Vocabulary Guide Anglais - Les Mots Anglais Et Leur Emploi
6 avis
Occasion dès 199,00 €
-
Advances In Atomic Physics
Neuf dès 97,70 €
Occasion dès 94,99 €
-
The Old Straight Track: Its Mounds, Beacons, Moats, Sites And Mark Stones
Occasion dès 141,99 €
-
Harry's Abc Of Mixing Cocktails
Occasion dès 217,99 €
-
The World Of Ornament
Occasion dès 229,99 €
-
Moebius Visioni Di Fine Millennio
Occasion dès 210,00 €
-
A.I Artificial Intelligence, From Stanley Kubrick To Steven Spielberg : The Visions Behind The Film
1 avis
Occasion dès 266,00 €
-
Warhammer Armies Skaven (French Edition)
2 avis
Occasion dès 250,00 €
-
Maison Martin Margiela : Street Special Edition Volumes 1 & 2
Occasion dès 190,00 €
-
Creative Jazz Improvisation
Occasion dès 111,99 €
-
Cipullo: The Man Who Made Jewelry Modern
Neuf dès 195,00 €
-
Down The Rhodes
Occasion dès 110,99 €
-
New York State Of Mind
Occasion dès 193,88 €
-
By Marc Pairon Art Deco Ceramics Made In Belgium: Charles Catteau
6 avis
Occasion dès 130,00 €
Produits similaires
Présentation Validation Of Data Flow Results For Program Modules Format Broché
- Livre InformatiqueAuteur(s) : Klohs, KarstenEditeur : Südwestdeutscher Verlag Für Hochschulschriften Ag Co. KgLangue : AnglaisParution : 01/11/2015Format : Moyen, de 350g à 1kgNombre de pages :...
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