Status der Bestellung anzeigen

Werden Sie Teil einer Gemeinschaft von Buchliebhabern aus der ganzen Welt und erhalten Sie eine Reihe von Vorteilen. Konto kostenlos anlegen

DPD-Kurier 4.49 € Hermes Kurierdienst 4.99 € DHL-Kurier 3.99 € Hermes-Stelle 4.49 € DPD-Stelle 2.99 € GLS-Kurierdienst 4.49 €

Kontakt

Wie einkaufen

Hilfe

Mein Konto

▸ Leer :-(

Validation of Data Flow Results for Program Modules

Name: Validation of Data Flow Results for Program Modules
Brand: Sudwestdeutscher Verlag Fur Hochschulschriften AG
SKU: 06986483
Price: 107.89 EUR
Availability: InStock
Author: Karsten Klohs
ISBN: 9783838118710

Karsten Klohs

Sprache

Englisch

Buch Broschur

Libristo-Code: 06986483

Verlag Sudwestdeutscher Verlag Fur Hochschulschriften AG, Oktober 2010

The requirement to validate analysis results originated in Java Bytecode Verification on Smart Cards... Vollständige Beschreibung

Libristo-Code: 06986483

264 b

107.89 € inkl. MwSt.

Externes Lager Wir versenden in 5-8 Tagen

30 Tage für die Rückgabe der Ware

Kunden kauften auch

I Love to Sleep in My Own Bed Shelley Admont

Broschur

17.19 €

Cuando Cristo venga Lucado

Broschur

13.79 €

Maitrise Du Cout de Construction Dans Les Pays En Developpement Paul Louzolo-Kimbembé

Broschur

69.79 €

Cedrus Libani N°71, Le Sacerdoce. collegium

Broschur

18.19 €

Juste de l'autre côté Azorin

binding.

22.19 €

Digitalizzazione nel settore finanziario Shega Behluli

Broschur

37.29 €

Ostrov Heleny Vondráčkové Helena Vondráčková

binding.

22.49 €

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.

Schauspielerin & Polyglotte

EWA KASP für

Video abspielen

Libristo bietet die größte Auswahl an fremdsprachiger Literatur an. Deshalb kaufe ich meine Bücher hier ein.

Informationen zum Buch

Vollständiger Name Validation of Data Flow Results for Program Modules

Autor Karsten Klohs

Sprache

Englisch

Einband Buch - Broschur

Datum der Veröffentlichung 2010

Anzahl der Seiten 404

EAN 9783838118710

ISBN 3838118715

Libristo-Code 06986483

Verlag Sudwestdeutscher Verlag Fur Hochschulschriften AG

Gewicht 590

Abmessungen 152 x 229 x 23

Kategorie

EDV und Informationstechnologie > Computerprogrammierung und Softwareentwicklung > Programmier- und Skriptsprachen, allgemein

Verschenken Sie dieses Buch noch heute

Es ist ganz einfach

1 Legen Sie das Buch in Ihren Warenkorb und wählen Sie den Versand als Geschenk 2 Wir schicken Ihnen umgehend einen Gutschein 3 Das Buch wird an die Adresse des beschenkten Empfängers geliefert

Das könnte Sie auch interessieren

Gerhard Richter. Engadin Hauser & Wirth

Broschur

20.49 €

Parenting with Words of Grace William P. Smith

Broschur

15.29 €

Gender Experiment: An LGBT, Transgender Romance Barbara Deloto

Broschur

8.19 €

English Hermit; Or, the Adventures of Philip Quarll. Who Was Discovered by Mr. Dorrington, ... Adorned with Cuts, and a Map of the Island, by Bewick PETER LONGUEVILLE

Hardcover

30.79 €