The Design and Evaluation of a Middleware Library for Distribution of Language Entities

001 Erik Klintskog, Zacharias El Banna, Per Brand and Seif Haridi The Design and Evaluation of a Middleware Library for Distribution of Language Entities 004 Satoshi Yamane Probabilistic Timed Simulation Verification and its application to Stepwise Refinement of Real-Time Systems 010 Toshiyuki Maeda and Akinori Yonezawa Kernel Mode Linux: Towards an operating system protected by type theory 017 Benedikt Bollig and Martin Leucker Model Checking Probabilistic Distributed Systems 019 Masakuni Agetsuma, Kenji Kono, Hideya Iwasaki and Takashi Masuda Self Configurable Mirror Servers for Automatic Adaptation to Service Demand Fluctuation 023 Uwe Nestmann and Rachele Fuzzati Unreliable Failure Detectors via Operational Semantics 024 Deepak Kapur and M Subramaniam Automatic Generation of Simple Lemmas from Recursive Definitions using Decision Procedures 028 Veronique Benzaken, Marwan Bruelle, and Giuseppe Castagna Information Flow Security for XML Transformations 030 Naijun Zhan Combining Hierarchical Specification with Hierarchical Implementation 032 Ning Chen and Hong Zhu Incentive Compatible Mechanism Based on Linear Pricing Schemen for Single-Minded Auction 034 Punit Chandra and Ajay D. Kshemkalyani Global Predicate Detection under Fine-grained Modalities 035 K. Lodaya D. Ranganayakulu and K. Rangarajan Series-parallel languages of 1-safe Petri nets 038 Bruno Blanchet and Benjamin Aziz A Calculus for Secure Mobility 042 Koushik Sen, Grigore Rosu and Gul Agha Generating optimal Linear Temporal Logic monitors by coinduction 053 Juergen Giesl, Arminn Kuhnemann and Janis Voigtlander Deaccumulation -- Improving Provability 054 F. Barbanera, M. Bugliesi, M. Dezani-Ciancaglini, and V. Sassone A Calculus of Bounded Capacities