Advances in Computing Science - ASIAN 2003, Programming Languages and Distributed Computation: 8th Asian Computing Science Conference, Mumbai, India,  by Vijay A. SaraswatAdvances in Computing Science - ASIAN 2003, Programming Languages and Distributed Computation: 8th Asian Computing Science Conference, Mumbai, India,  by Vijay A. Saraswat

Advances in Computing Science - ASIAN 2003, Programming Languages and Distributed Computation: 8th…

EditorVijay A. Saraswat

Paperback | November 24, 2003

Pricing and Purchase Info

$114.32 online 
$128.95 list price save 11%
Earn 572 plum® points

Prices and offers may vary in store

Quantity:

In stock online

Ships free on orders over $25

Not available in stores

about

This book constitutes the refereed proceedings of the 8th Asian Computing Science Conference, ASIAN 2003, held in Mumbai, India in December 2003.The 16 revised full papers presented together with 2 invited papers were carefully reviewed and selected from 53 submissions. Among the topics addressed are type theory for operating systems protection, self configurable servers, network services, predicate detection, hierarchical specification, proof theory, electronic auctions, secure mobile computing, programming casculi, access control, middleware, program logic, real-time systems, and probabilistic distributed systems.
Title:Advances in Computing Science - ASIAN 2003, Programming Languages and Distributed Computation: 8th…Format:PaperbackDimensions:313 pagesPublished:November 24, 2003Publisher:Springer Berlin HeidelbergLanguage:English

The following ISBNs are associated with this title:

ISBN - 10:3540206329

ISBN - 13:9783540206323

Look for similar items by category:

Reviews

Table of Contents

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.