+612 9045 4394
 
CHECKOUT
Advances in Computing Science - Asian 2003, Programming Languages and Distributed Computation : 8th Asian Computing Science Conference, Mumbai, India, December 10-14, 2003, Proceedings - Vijay A. Saraswat

Advances in Computing Science - Asian 2003, Programming Languages and Distributed Computation

8th Asian Computing Science Conference, Mumbai, India, December 10-14, 2003, Proceedings

By: Vijay A. Saraswat (Editor)

Paperback

Published: 24th November 2003
Ships: 15 business days
15 business days
$125.46
or 4 easy payments of $31.37 with Learn more

This volume contains 18 papers that were presented at the Eighth Asian C- puting Science Conference (ASIAN 2003) in Mumbai in December 2003. The theme of the conference this year was programming languages and distributed computation. Papers were invited on all aspects of theory, practice and appli- tions related to this theme. The Program Committee invited Greg Morrisett to give the keynote talk (in a joint session with the International Conference on Logic Programming). Andrew Birrell and Mark S. Miller were also invited to give talks. The Program Committee selected 16 papers out of the 53 submitted. Together, these papers were authored by 48 people from 11 countries. I thank the Program Committee for doing an outstanding job under severe timepressure, andtheExecutiveCommitteeforinvitingmetochairtheProgram Committee. I also thank the sponsoring institutions for this conference: Asian Institute of Technology Institut National de Recherche en Informatique et en Automatique United Nations University/International Institute for Software Technology National University of Singapore Waseda University Tata Institute of Fundamental Research The Pennsylvania State University IBM TJ Watson Research Lab Mountain Lakes, NJ Vijay Saraswat September 2003 Organization ASIAN 2003 was organized under the auspicies of the Executive Committee.

Achieving Type Safety for Low-Level Codep. 1
Kernel Mode Linux: Toward an Operating System Protected by a Type Theoryp. 3
Self-configurable Mirror Servers for Automatic Adaptation to Service Demand Fluctuationp. 18
Information Flow Security for XML Transformationsp. 33
Unreliable Failure Detectors via Operational Semanticsp. 54
Bankable Postage for Network Servicesp. 72
Global Predicate Detection under Fine-Grained Modalitiesp. 91
Combining Hierarchical Specification with Hierarchical Implementationp. 110
Automatic Generation of Simple Lemmmas from Recursive Definitions Using Decision Procedures Preliminary Reportp. 125
Deaccumulation - Improving Provabilityp. 146
Incentive Compatible Mechanism Based on Linear Pricing Scheme for Single-Minded Auctionp. 161
Hierarchical Structure of 1-Safe Petri Netsp. 173
A Calculus for Secure Mobilityp. 188
A Calculus of Bounded Capacitiesp. 205
Paradigm Regained: Abstraction Mechanisms for Access Controlp. 224
The Design and Evaluation of a Middleware Library for Distribution of Language Entitiesp. 243
Generating Optimal Linear Temporal Logic Monitors by Coinductionp. 260
Probabilistic Timed Simulation Verification and Its Application to Stepwise Refinement of Real-Time Systemsp. 276
Model Checking Probabilistic Distributed Systemsp. 291
Author Indexp. 305
Table of Contents provided by Blackwell. All Rights Reserved.

ISBN: 9783540206323
ISBN-10: 3540206329
Series: Lecture Notes in Computer Science,
Audience: General
Format: Paperback
Language: English
Number Of Pages: 312
Published: 24th November 2003
Publisher: Springer-Verlag Berlin and Heidelberg Gmbh & Co. Kg
Country of Publication: DE
Dimensions (cm): 23.39 x 15.6  x 1.7
Weight (kg): 0.45