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
Author: Vijay A. Saraswat
Published by Springer Berlin Heidelberg
ISBN: 978-3-540-20632-3
DOI: 10.1007/b94667

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

Includes bibliographical references and index
Achieving Type Safety for Low-Level Code / Greg Morrisett -- Kernel Mode Linux: Toward an Operating System Protected by a Type Theory / Toshiyuki Maeda and Akinori Yonezawa -- Self-configurable Mirror Servers for Automatic Adaptation to Service Demand Fluctuation / Masakuni Agetsuma, Kenji Kono, Hideya Iwasaki and Takashi Masuda -- Information Flow Security for XML Transformations / Veronique Benzaken, Marwan Burelle and Giuseppe Castagna -- Unreliable Failure Detectors via Operational Semantics / Uwe Nestmann and Rachele Fuzzati -- Bankable Postage for Network Services / Martin Abadi, Andrew Birrell, Mike Burrows, Frank Dabek and Ted Wobber -- Global Predicate Detection under Fine-Grained Modalities / Punit Chandra and Ajay D. Kshemkalyani -- Combining Hierarchical Specification with Hierarchical Implementation / Narjun Zhan -- Automatic Generation of Simple Lemmmas from Recursive Definitions Using Decision Procedures Preliminary Report / Deepak Kapur and M. Subramaniam -- Deaccumulation -- Improving Provability / Jurgen Giesl, Armin Kuhnemann and Janis Voigtlander -- Incentive Compatible Mechanism Based on Linear Pricing Scheme for Single-Minded Auction / Ning Chen and Hong Zhu -- Hierarchical Structure of 1-Safe Petri Nets / Kamal Lodaya, D. Ranganayakula and K. Rangarajan -- A Calculus for Secure Mobility / Bruno Blanchet and Benjamin Aziz -- A Calculus of Bounded Capacities / Franco Barbanera, Michele Bugliesi, Mariangiola Dezani-Ciancaglini and Vladimiro Sassone -- Paradigm Regained: Abstraction Mechanisms for Access Control / Mark S. Miller and Jonathan S. Shapiro -- The Design and Evaluation of a Middleware Library for Distribution of Language Entities / Erik Klintskog, Zacharias El Banna, Per Brand and Seif Haridi -- Generating Optimal Linear Temporal Logic Monitors by Coinduction / Koushik Sen, Grigore Rosu and Gul Agha -- Probabilistic Timed Simulation Verification and Its Application to Stepwise Refinement of Real-Time Systems / Satoshi Yamane