The SCEAS System
Navigation Menu

Conferences in DBLP

Asian Computing Science Conference (ASIAN) (asian)
2003 (conf/asian/2003)

  1. J. Gregory Morrisett
    Achieving Type Safety for Low-Level Code. [Citation Graph (0, 0)][DBLP]
    ASIAN, 2003, pp:1-2 [Conf]
  2. Toshiyuki Maeda, Akinori Yonezawa
    Kernel Mode Linux: Toward an Operating System Protected by a Type Theory. [Citation Graph (0, 0)][DBLP]
    ASIAN, 2003, pp:3-17 [Conf]
  3. Masakuni Agetsuma, Kenji Kono, Hideya Iwasaki, Takashi Masuda
    Self-configurable Mirror Servers for Automatic Adaptation to Service Demand Fluctuation. [Citation Graph (0, 0)][DBLP]
    ASIAN, 2003, pp:18-32 [Conf]
  4. Véronique Benzaken, Marwan Burelle, Giuseppe Castagna
    Information Flow Security for XML Transformations. [Citation Graph (0, 0)][DBLP]
    ASIAN, 2003, pp:33-53 [Conf]
  5. Uwe Nestmann, Rachele Fuzzati
    Unreliable Failure Detectors via Operational Semantics. [Citation Graph (0, 0)][DBLP]
    ASIAN, 2003, pp:54-71 [Conf]
  6. Martín Abadi, Andrew Birrell, Michael Burrows, Frank Dabek, Ted Wobber
    Bankable Postage for Network Services. [Citation Graph (0, 0)][DBLP]
    ASIAN, 2003, pp:72-90 [Conf]
  7. Punit Chandra, Ajay D. Kshemkalyani
    Global Predicate Detection under Fine-Grained Modalities. [Citation Graph (0, 0)][DBLP]
    ASIAN, 2003, pp:91-109 [Conf]
  8. Naijun Zhan
    Combining Hierarchical Specification with Hierarchical Implementation. [Citation Graph (0, 0)][DBLP]
    ASIAN, 2003, pp:110-124 [Conf]
  9. Deepak Kapur, Mahadevan Subramaniam
    Automatic Generation of Simple Lemmas from Recursive Definitions Using Decision Procedures - Preliminary Report. [Citation Graph (0, 0)][DBLP]
    ASIAN, 2003, pp:125-145 [Conf]
  10. Jürgen Giesl, Armin Kühnemann, Janis Voigtländer
    Deaccumulation - Improving Provability. [Citation Graph (0, 0)][DBLP]
    ASIAN, 2003, pp:146-160 [Conf]
  11. Ning Chen, Hong Zhu
    Incentive Compatible Mechanism Based on Linear Pricing Scheme for Single-Minded Auction. [Citation Graph (0, 0)][DBLP]
    ASIAN, 2003, pp:161-172 [Conf]
  12. Kamal Lodaya, D. Ranganayakulu, K. Rangarajan
    Hierarchical Structure of 1-Safe Petri Nets. [Citation Graph (0, 0)][DBLP]
    ASIAN, 2003, pp:173-187 [Conf]
  13. Bruno Blanchet, Benjamin Aziz
    A Calculus for Secure Mobility. [Citation Graph (0, 0)][DBLP]
    ASIAN, 2003, pp:188-204 [Conf]
  14. Franco Barbanera, Michele Bugliesi, Mariangiola Dezani-Ciancaglini, Vladimiro Sassone
    A Calculus of Bounded Capacities. [Citation Graph (0, 0)][DBLP]
    ASIAN, 2003, pp:205-223 [Conf]
  15. Mark S. Miller, Jonathan S. Shapiro
    Paradigm Regained: Abstraction Mechanisms for Access Control. [Citation Graph (0, 0)][DBLP]
    ASIAN, 2003, pp:224-242 [Conf]
  16. Erik Klintskog, Zacharias El Banna, Per Brand, Seif Haridi
    The Design and Evaluation of a Middleware Library for Distribution of Language Entities. [Citation Graph (0, 0)][DBLP]
    ASIAN, 2003, pp:243-259 [Conf]
  17. Koushik Sen, Grigore Rosu, Gul Agha
    Generating Optimal Linear Temporal Logic Monitors by Coinduction. [Citation Graph (0, 0)][DBLP]
    ASIAN, 2003, pp:260-275 [Conf]
  18. Satoshi Yamane
    Probabilistic Timed Simulation Verification and Its Application to Stepwise Refinement of Real-Time Systems. [Citation Graph (0, 0)][DBLP]
    ASIAN, 2003, pp:276-290 [Conf]
  19. Benedikt Bollig, Martin Leucker
    Model Checking Probabilistic Distributed Systems. [Citation Graph (0, 0)][DBLP]
    ASIAN, 2003, pp:291-304 [Conf]
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002