Skip to main content
  • Conference proceedings
  • © 2003

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

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

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

Conference series link(s): ASIAN: Asian Computer Science Conference

Conference proceedings info: ASIAN 2003.

Buying options

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

Tax calculation will be finalised at checkout

Purchases are for personal use only

Learn about institutional subscriptions

This is a preview of subscription content, access via your institution.

Table of contents (19 papers)

  1. Front Matter

  2. Achieving Type Safety for Low-Level Code

    • Greg Morrisett
    Pages 1-2
  3. Self-configurable Mirror Servers for Automatic Adaptation to Service Demand Fluctuation

    • Masakuni Agetsuma, Kenji Kono, Hideya Iwasaki, Takashi Masuda
    Pages 18-32
  4. Information Flow Security for XML Transformations

    • Véronique Benzaken, Marwan Burelle, Giuseppe Castagna
    Pages 33-53
  5. Unreliable Failure Detectors via Operational Semantics

    • Uwe Nestmann, Rachele Fuzzati
    Pages 54-71
  6. Bankable Postage for Network Services

    • Martín Abadi, Andrew Birrell, Mike Burrows, Frank Dabek, Ted Wobber
    Pages 72-90
  7. Global Predicate Detection under Fine-Grained Modalities

    • Punit Chandra, Ajay D. Kshemkalyani
    Pages 91-109
  8. Deaccumulation – Improving Provability

    • Jürgen Giesl, Armin Kühnemann, Janis Voigtländer
    Pages 146-160
  9. Hierarchical Structure of 1-Safe Petri Nets

    • Kamal Lodaya, D. Ranganayakulu, K. Rangarajan
    Pages 173-187
  10. A Calculus for Secure Mobility

    • Bruno Blanchet, Benjamin Aziz
    Pages 188-204
  11. A Calculus of Bounded Capacities

    • Franco Barbanera, Michele Bugliesi, Mariangiola Dezani-Ciancaglini, Vladimiro Sassone
    Pages 205-223
  12. Paradigm Regained: Abstraction Mechanisms for Access Control

    • Mark S. Miller, Jonathan S. Shapiro
    Pages 224-242
  13. 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
  14. Generating Optimal Linear Temporal Logic Monitors by Coinduction

    • Koushik Sen, Grigore RoÅŸu, Gul Agha
    Pages 260-275
  15. Model Checking Probabilistic Distributed Systems

    • Benedikt Bollig, Martin Leucker
    Pages 291-304

Other Volumes

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

Keywords

  • Linux
  • Middleware
  • Monitor
  • Networking
  • XML
  • formal methods
  • logic
  • operating system
  • petri net
  • program semantics
  • programming theory
  • proof theory
  • server configuration
  • software engineering
  • systems security

Editors and Affiliations

  • IBM TJ Watson Research Center, NY

    Vijay A. Saraswat

Bibliographic Information

Buying options

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

Tax calculation will be finalised at checkout

Purchases are for personal use only

Learn about institutional subscriptions