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.

Vous avez choisi le retrait chez le vendeur à

Payez directement sur Rakuten (CB, PayPal, 4xCB...)
Récupérez le produit directement chez le vendeur
Rakuten vous rembourse en cas de problème

Terminer ma commande

Gratuit et sans engagement

Félicitations !

Nous sommes heureux de vous compter parmi nos membres du Club Rakuten !

TROUVER UN MAGASIN

Adresse

Retour

Horaires

Note :

Avis sur Validation Of Data Flow Results For Program Modules de Karsten Klohs Format Broché - Livre Informatique

Note : 0 0 avis sur Validation Of Data Flow Results For Program Modules de Karsten Klohs Format Broché - Livre Informatique

Donnez votre avis

Donnez votre avis sur ce produit

Votre note * : 1/5 2/5 3/5 4/5 5/5 Veuillez donner une note au produit

Le titre de votre avis* : Saisissez un titre

Quelques conseils :

Donnez le ton de votre avis, résumez-le en quelques mots qui apparaîtront comme le titre de votre avis.

Votre avis* : (40 caractères minimum) Saisissez un avis

Quelques conseils :

N'hésitez pas à mettre en avant les caractéristiques de ce produit, n'oubliez pas de mentionner ses avantages et/ou ses défauts éventuels. Décrivez précisément, argumentez, soyez convaincant !

Annuler

Les avis publiés font l'objet d'un contrôle automatisé de Rakuten.

Produits similaires

Présentation Validation Of Data Flow Results For Program Modules de Karsten Klohs Format Broché
- Livre Informatique

Livre Informatique - Karsten Klohs - 01/10/2010 - Broché - Langue : Anglais

Auteur(s) : Karsten Klohs

Editeur : Südwestdeutscher Verlag Für Hochschulschriften

Langue : Anglais

Parution : 01/10/2010

Format : Moyen, de 350g à 1kg

Nombre de pages : 404

Expédition : 620

Dimensions : 22.0 x 15.0 x 2.5

ISBN : 9783838118710

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

Consulter les détails de conformité de ce produit (

Personne responsable dans l'UE

)

Validation of Data Flow Results for Program Modules - Karsten Klohs

Avis sur Validation Of Data Flow Results For Program Modules de Karsten Klohs Format Broché - Livre Informatique

Présentation Validation Of Data Flow Results For Program Modules de Karsten Klohs Format Broché - Livre Informatique

Présentation Validation Of Data Flow Results For Program Modules de Karsten Klohs Format Broché
- Livre Informatique