default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID8. ASIAN 2003: Mumbai, India
- 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. 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
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-12-27 21:33 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
