Skip to main content
SpringerLink
Log in

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

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

  • Conference proceedings
  • © 2003

Overview

Editors:
  1. Vijay A. Saraswat

    1. IBM TJ Watson Research Center, NY

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

Part of the book series: Lecture Notes in Computer Science (LNCS, volume 2896)

Included in the following conference series:

Conference proceedings info: ASIAN 2003.

This is a preview of subscription content, log in via an institution to check access.

Access this book

Log in via an institution
eBook USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Institutional subscriptions

Table of contents (19 papers)

  1. Front Matter

    Download chapter PDF

  2. Achieving Type Safety for Low-Level Code

    • Greg Morrisett
    Pages 1-2

  3. Kernel Mode Linux: Toward an Operating System Protected by a Type Theory

    • Toshiyuki Maeda, Akinori Yonezawa
    Pages 3-17

  4. Self-configurable Mirror Servers for Automatic Adaptation to Service Demand Fluctuation

    • Masakuni Agetsuma, Kenji Kono, Hideya Iwasaki, Takashi Masuda
    Pages 18-32

  5. Information Flow Security for XML Transformations

    • Véronique Benzaken, Marwan Burelle, Giuseppe Castagna
    Pages 33-53

  6. Unreliable Failure Detectors via Operational Semantics

    • Uwe Nestmann, Rachele Fuzzati
    Pages 54-71

  7. Bankable Postage for Network Services

    • Martín Abadi, Andrew Birrell, Mike Burrows, Frank Dabek, Ted Wobber
    Pages 72-90

  8. Global Predicate Detection under Fine-Grained Modalities

    • Punit Chandra, Ajay D. Kshemkalyani
    Pages 91-109

  9. Combining Hierarchical Specification with Hierarchical Implementation

    • Naijun Zhan
    Pages 110-124

  10. Automatic Generation of Simple Lemmas from Recursive Definitions Using Decision Procedures – Preliminary Report –

    • Deepak Kapur, M. Subramaniam
    Pages 125-145

  11. Deaccumulation – Improving Provability

    • Jürgen Giesl, Armin Kühnemann, Janis Voigtländer
    Pages 146-160

  12. Incentive Compatible Mechanism Based on Linear Pricing Scheme for Single-Minded Auction

    • Ning Chen, Hong Zhu
    Pages 161-172

  13. Hierarchical Structure of 1-Safe Petri Nets

    • Kamal Lodaya, D. Ranganayakulu, K. Rangarajan
    Pages 173-187

  14. A Calculus for Secure Mobility

    • Bruno Blanchet, Benjamin Aziz
    Pages 188-204

  15. A Calculus of Bounded Capacities

    • Franco Barbanera, Michele Bugliesi, Mariangiola Dezani-Ciancaglini, Vladimiro Sassone
    Pages 205-223

  16. Paradigm Regained: Abstraction Mechanisms for Access Control

    • Mark S. Miller, Jonathan S. Shapiro
    Pages 224-242

  17. The Design and Evaluation of a Middleware Library for Distribution of Language Entities

    • Erik Klintskog, Zacharias El Banna, Per Brand, Seif Haridi
    Pages 243-259

  18. Generating Optimal Linear Temporal Logic Monitors by Coinduction

    • Koushik Sen, Grigore Roşu, Gul Agha
    Pages 260-275

  19. Probabilistic Timed Simulation Verification and Its Application to Stepwise Refinement of Real-Time Systems

    • Satoshi Yamane
    Pages 276-290

  20. Model Checking Probabilistic Distributed Systems

    • Benedikt Bollig, Martin Leucker
    Pages 291-304
Back to top

Other volumes

  1. Advances in Computing Science – ASIAN 2003. Progamming Languages and Distributed Computation Programming Languages and Distributed Computation

Keywords

Editors and Affiliations

  • IBM TJ Watson Research Center, NY

    Vijay A. Saraswat

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation