Advances in Computing Science - ASIAN 2003, Programming Languages and Distributed Computation 8th Asian Computing Science Conference, Mumbai, India, December 10-14, 2003, Proceedings /
| Συγγραφή απο Οργανισμό/Αρχή: | |
|---|---|
| Άλλοι συγγραφείς: | |
| Μορφή: | Ηλεκτρονική πηγή Ηλ. βιβλίο |
| Γλώσσα: | English |
| Έκδοση: |
Berlin, Heidelberg :
Springer Berlin Heidelberg : Imprint: Springer,
2003.
|
| Έκδοση: | 1st ed. 2003. |
| Σειρά: | Lecture Notes in Computer Science,
2896 |
| Θέματα: | |
| Διαθέσιμο Online: | Full Text via HEAL-Link |
Πίνακας περιεχομένων:
- 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.
