Advances in Computing Science – ASIAN 2003. Progamming Languages and Distributed Computation Programming Languages and Distributed Computation: 8th Asian Computing Science Conference, Mumbai, India, December 10-12, 2003. Proceedings

Greg Morrisett (auth.), Vijay A. Saraswat (eds.)3540206329

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.

---

Table of contents :
Front Matter….Pages –
Achieving Type Safety for Low-Level Code….Pages 1-2
Kernel Mode Linux: Toward an Operating System Protected by a Type Theory….Pages 3-17
Self-configurable Mirror Servers for Automatic Adaptation to Service Demand Fluctuation….Pages 18-32
Information Flow Security for XML Transformations….Pages 33-53
Unreliable Failure Detectors via Operational Semantics….Pages 54-71
Bankable Postage for Network Services….Pages 72-90
Global Predicate Detection under Fine-Grained Modalities….Pages 91-109
Combining Hierarchical Specification with Hierarchical Implementation….Pages 110-124
Automatic Generation of Simple Lemmas from Recursive Definitions Using Decision Procedures – Preliminary Report –….Pages 125-145
Deaccumulation – Improving Provability….Pages 146-160
Incentive Compatible Mechanism Based on Linear Pricing Scheme for Single-Minded Auction….Pages 161-172
Hierarchical Structure of 1-Safe Petri Nets….Pages 173-187
A Calculus for Secure Mobility….Pages 188-204
A Calculus of Bounded Capacities….Pages 205-223
Paradigm Regained: Abstraction Mechanisms for Access Control….Pages 224-242
The Design and Evaluation of a Middleware Library for Distribution of Language Entities….Pages 243-259
Generating Optimal Linear Temporal Logic Monitors by Coinduction….Pages 260-275
Probabilistic Timed Simulation Verification and Its Application to Stepwise Refinement of Real-Time Systems….Pages 276-290
Model Checking Probabilistic Distributed Systems….Pages 291-304
Back Matter….Pages –