Abstract is missing.
- Achieving Type Safety for Low-Level CodeJ. Gregory Morrisett. 1-2 [doi]
- Kernel Mode Linux: Toward an Operating System Protected by a Type TheoryToshiyuki Maeda, Akinori Yonezawa. 3-17 [doi]
- Self-configurable Mirror Servers for Automatic Adaptation to Service Demand FluctuationMasakuni Agetsuma, Kenji Kono, Hideya Iwasaki, Takashi Masuda. 18-32 [doi]
- Information Flow Security for XML TransformationsVéronique Benzaken, Marwan Burelle, Giuseppe Castagna. 33-53 [doi]
- Unreliable Failure Detectors via Operational SemanticsUwe Nestmann, Rachele Fuzzati. 54-71 [doi]
- Bankable Postage for Network ServicesMartín Abadi, Andrew Birrell, Michael Burrows, Frank Dabek, Ted Wobber. 72-90 [doi]
- Global Predicate Detection under Fine-Grained ModalitiesPunit Chandra, Ajay D. Kshemkalyani. 91-109 [doi]
- Combining Hierarchical Specification with Hierarchical ImplementationNaijun Zhan. 110-124 [doi]
- Automatic Generation of Simple Lemmas from Recursive Definitions Using Decision Procedures - Preliminary ReportDeepak Kapur, Mahadevan Subramaniam. 125-145 [doi]
- Deaccumulation - Improving ProvabilityJürgen Giesl, Armin Kühnemann, Janis Voigtländer. 146-160 [doi]
- Incentive Compatible Mechanism Based on Linear Pricing Scheme for Single-Minded AuctionNing Chen, Hong Zhu. 161-172 [doi]
- Hierarchical Structure of 1-Safe Petri NetsKamal Lodaya, D. Ranganayakulu, K. Rangarajan. 173-187 [doi]
- A Calculus for Secure MobilityBruno Blanchet, Benjamin Aziz. 188-204 [doi]
- A Calculus of Bounded CapacitiesFranco Barbanera, Michele Bugliesi, Mariangiola Dezani-Ciancaglini, Vladimiro Sassone. 205-223 [doi]
- Paradigm Regained: Abstraction Mechanisms for Access ControlMark Samuel Miller, Jonathan S. Shapiro. 224-242 [doi]
- The Design and Evaluation of a Middleware Library for Distribution of Language EntitiesErik Klintskog, Zacharias El Banna, Per Brand, Seif Haridi. 243-259 [doi]
- Generating Optimal Linear Temporal Logic Monitors by CoinductionKoushik Sen, Grigore Rosu, Gul Agha. 260-275 [doi]
- Probabilistic Timed Simulation Verification and Its Application to Stepwise Refinement of Real-Time SystemsSatoshi Yamane. 276-290 [doi]
- Model Checking Probabilistic Distributed SystemsBenedikt Bollig, Martin Leucker. 291-304 [doi]