Advances in computing science ASIAN 2003 : programming languages and distributed computation : 8th Asian Comp | Asian Computing Science Conference (8th : 2003 : Mumbai, India), Saraswat, Vijay
Advances in computing science ASIAN 2003 : programming languages and distributed computation : 8th Asian Comp
Author: Asian Computing Science Conference (8th : 2003 : Mumbai, India), Saraswat, Vijay
Added by: sketch
Added Date: 2015-12-30
Publication Date: 2003
Language: eng
Subjects: Computer science, Programming languages (Electronic computers), Electronic data processing, Informatique, Computer science, Electronic data processing, Programming languages (Electronic computers)
Publishers: Berlin ; New York : Springer
Collections: journals contributions, journals
ISBN Number: 3540206329, 9783540206323
Pages Count: 300
PPI Count: 300
PDF Count: 1
Total Size: 168.30 MB
PDF Size: 3.79 MB
Extensions: djvu, gif, pdf, gz, zip, torrent, log, mrc
Downloads: 282
Views: 332
Total Files: 18
Media Type: texts
Description
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