Free shipping on orders over 19,990 Ft via Packeta, Fox Post Box, and DPD Collection Point

Check order status

Become part of a community of book lovers from all over the world and get access to a whole bunch of benefits. Create an account for free

Free delivery for purchases over 19 990 Ft

DPD point 990 Ft DPD courier 1 190 Ft GLS point 1 190 Ft Hungarian Post 1 795 Ft Hungarian Post 1 690 Ft Hungarian Post 1 690 Ft FoxPost 1 190 Ft Packeta point 1 190 Ft GLS courier 1 690 Ft

Contact

How to shop

Help

My account

▸ Empty :-(

Free shipping on orders over 19,990 Ft via Packeta, Fox Post Box, and DPD Collection Point

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

Karsten Klohs

Language

English

Book Paperback

Libristo code: 06986483

Publishers Sudwestdeutscher Verlag Fur Hochschulschriften AG, October 2010

The requirement to validate analysis results originated in Java Bytecode Verification on Smart Cards... Full description

Libristo code: 06986483

273 b

39 733 Ft

In stock at our supplier Shipping in 5-8 days

Up to 30 days for returns

Customers also purchased

I Love to Sleep in My Own Bed Shelley Admont

Paperback

6 292 Ft

Cuando Cristo venga Lucado

Paperback

5 071 Ft

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

Paperback

25 707 Ft

Cedrus Libani N°71, Le Sacerdoce. collegium

Paperback

6 246 Ft

Juste de l'autre côté Azorin

binding.

7 615 Ft

Digitalizzazione nel settore finanziario Shega Behluli

Paperback

13 747 Ft

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

binding.

7 427 Ft

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.

Actress & Polyglot

EWA KASP for

Play video

Libristo has the largest selection of foreign-language books. That’s why I buy my books there.

About the book

Full name Validation of Data Flow Results for Program Modules

Author Karsten Klohs

Language

English

Binding Book - Paperback

Date of issue 2010

Number of pages 404

EAN 9783838118710

ISBN 3838118715

Libristo code 06986483

Publishers Sudwestdeutscher Verlag Fur Hochschulschriften AG

Weight 590

Dimensions 152 x 229 x 23

You might also be interested in

Gerhard Richter. Engadin Hauser & Wirth

Paperback

7 546 Ft

Parenting with Words of Grace William P. Smith

Paperback

5 140 Ft

Gender Experiment: An LGBT, Transgender Romance Barbara Deloto

Paperback

2 999 Ft

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

Hardback

11 303 Ft