Livrare gratuită pentru comenzile de peste 349 LEI prin Easybox, FAN BOX și Coletăria.

Verifică starea comenzii

Faceți parte dintr-o comunitate de iubitori de cărți din întreaga lume și beneficiați de o mulțime de avantaje Creați-vă un cont gratuit

Transport gratuit la punctele de livrare Pick Up peste 349.00 lei

Packeta 17.50 lei Urgent Cargus 30.50 lei Easybox 22.50 lei Punct FAN 18.50 lei Punct DPD 19.50 lei Curier DPD 27.50 lei FAN Courier 27.50 lei

Contact

Cum să cumpăr

Ajutor

Contul meu

▸ Gol :-(

Livrare gratuită pentru comenzile de peste 349 LEI prin Easybox, FAN BOX și Coletăria.

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: 546.66 RON
Availability: InStock
Author: Karsten Klohs
ISBN: 9783838118710

Karsten Klohs

Limba

engleză

Carte Carte broșată

Codul Libristo: 06986483

Editura Sudwestdeutscher Verlag Fur Hochschulschriften AG, octombrie 2010

The requirement to validate analysis results originated in Java Bytecode Verification on Smart Cards... Descrierea completă

Codul Libristo: 06986483

249 b

546.66 lei

În depozitul extern Expediem în 5-8 zile

Până la 30 de zile pentru returnare

Clienții au cumpărat de asemenea

Armand Durand La promesse accomplie Madame Leprohon

Carte broșată

46.23 lei

Die Spaltpilze: Nach Dem Neuesten Standpunkte Bearbeitet (1885) Wilhelm Zopf

Carte broșată

131.99 lei

Paris 70's Pierre Cavillon

Carte broșată

182.85 lei

Cedrus Libani N°71, Le Sacerdoce. collegium

Carte broșată

87.46 lei

Juste de l'autre côté Azorin

binding.

108.12 lei

Digitalizzazione nel settore finanziario Shega Behluli

Carte broșată

189.07 lei

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

binding.

111.83 lei

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

Carte broșată

353.97 lei

Cuando Cristo venga Lucado

Carte broșată

75.82 lei

The story of civilization William James Durant

Adobe ePub DRM

105.71 lei

I Love to Sleep in My Own Bed Shelley Admont

Carte broșată

99.80 lei

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.