Cantitate/Preț
Produs

Advances in Computing Science - ASIAN 2003, Programming Languages and Distributed Computation: 8th Asian Computing Science Conference, Mumbai, India, December 10-14, 2003, Proceedings: Lecture Notes in Computer Science, cartea 2896

Editat de Vijay A. Saraswat
en Limba Engleză Paperback – 24 noi 2003

Din seria Lecture Notes in Computer Science

Preț: 33143 lei

Preț vechi: 41429 lei
-20%

Puncte Express: 497

Preț estimativ în valută:
6350 6878$ 5445£

Carte tipărită la comandă

Livrare economică 06-11 mai

Preluare comenzi: 021 569.72.76

Specificații

ISBN-13: 9783540206323
ISBN-10: 3540206329
Pagini: 320
Ilustrații: VIII, 312 p.
Dimensiuni: 155 x 235 x 17 mm
Greutate: 1 kg
Ediția:2003
Editura: Springer Berlin, Heidelberg
Colecția Springer
Seria Lecture Notes in Computer Science

Locul publicării:Berlin, Heidelberg, Germany

Public țintă

Research

Cuprins

Achieving Type Safety for Low-Level Code.- Kernel Mode Linux: Toward an Operating System Protected by a Type Theory.- Self-configurable Mirror Servers for Automatic Adaptation to Service Demand Fluctuation.- Information Flow Security for XML Transformations.- Unreliable Failure Detectors via Operational Semantics.- Bankable Postage for Network Services.- Global Predicate Detection under Fine-Grained Modalities.- Combining Hierarchical Specification with Hierarchical Implementation.- Automatic Generation of Simple Lemmas from Recursive Definitions Using Decision Procedures – Preliminary Report –.- Deaccumulation – Improving Provability.- Incentive Compatible Mechanism Based on Linear Pricing Scheme for Single-Minded Auction.- Hierarchical Structure of 1-Safe Petri Nets.- A Calculus for Secure Mobility.- A Calculus of Bounded Capacities.- Paradigm Regained: Abstraction Mechanisms for Access Control.- The Design and Evaluation of a Middleware Library for Distribution of Language Entities.- Generating Optimal Linear Temporal Logic Monitors by Coinduction.- Probabilistic Timed Simulation Verification and Its Application to Stepwise Refinement of Real-Time Systems.- Model Checking Probabilistic Distributed Systems.

Caracteristici

Includes supplementary material: sn.pub/extras