8. ASIAN 2003:
Mumbai, India
Vijay A. Saraswat (Ed.):
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 2896 Springer 2003, ISBN 3-540-20632-9 
- J. Gregory Morrisett:
Achieving Type Safety for Low-Level Code.
1-2
- Toshiyuki Maeda, Akinori Yonezawa:
Kernel Mode Linux: Toward an Operating System Protected by a Type Theory.
3-17
- Masakuni Agetsuma, Kenji Kono, Hideya Iwasaki, Takashi Masuda:
Self-configurable Mirror Servers for Automatic Adaptation to Service Demand Fluctuation.
18-32
- Véronique Benzaken, Marwan Burelle, Giuseppe Castagna:
Information Flow Security for XML Transformations.
33-53
- Uwe Nestmann, Rachele Fuzzati:
Unreliable Failure Detectors via Operational Semantics.
54-71
- Martín Abadi, Andrew Birrell, Michael Burrows, Frank Dabek, Ted Wobber:
Bankable Postage for Network Services.
72-90
- Punit Chandra, Ajay D. Kshemkalyani:
Global Predicate Detection under Fine-Grained Modalities.
91-109
- Naijun Zhan:
Combining Hierarchical Specification with Hierarchical Implementation.
110-124
- Deepak Kapur, Mahadevan Subramaniam:
Automatic Generation of Simple Lemmas from Recursive Definitions Using Decision Procedures - Preliminary Report.
125-145
- Jürgen Giesl, Armin Kühnemann, Janis Voigtländer:
Deaccumulation - Improving Provability.
146-160
- Ning Chen, Hong Zhu:
Incentive Compatible Mechanism Based on Linear Pricing Scheme for Single-Minded Auction.
161-172
- Kamal Lodaya, D. Ranganayakulu, K. Rangarajan:
Hierarchical Structure of 1-Safe Petri Nets.
173-187
- Bruno Blanchet, Benjamin Aziz:
A Calculus for Secure Mobility.
188-204
- Franco Barbanera, Michele Bugliesi, Mariangiola Dezani-Ciancaglini, Vladimiro Sassone:
A Calculus of Bounded Capacities.
205-223
- Mark S. Miller, Jonathan S. Shapiro:
Paradigm Regained: Abstraction Mechanisms for Access Control.
224-242
- Erik Klintskog, Zacharias El Banna, Per Brand, Seif Haridi:
The Design and Evaluation of a Middleware Library for Distribution of Language Entities.
243-259
- Koushik Sen, Grigore Rosu, Gul Agha:
Generating Optimal Linear Temporal Logic Monitors by Coinduction.
260-275
- Satoshi Yamane:
Probabilistic Timed Simulation Verification and Its Application to Stepwise Refinement of Real-Time Systems.
276-290
- Benedikt Bollig, Martin Leucker:
Model Checking Probabilistic Distributed Systems.
291-304
Last update Sat May 25 17:27:11 2013
CET by the DBLP Team — 
Data released under the ODC-BY 1.0 license — See also our legal information page
