UID:
almahu_9947920568502882
Format:
VIII, 312 p.
,
online resource.
ISBN:
9783540409656
Series Statement:
Lecture Notes in Computer Science, 2896
Note:
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.
In:
Springer eBooks
Additional Edition:
Printed edition: ISBN 9783540206323
Language:
English
URL:
http://dx.doi.org/10.1007/b94667