Advances in Computing Science - ASIAN 2003, Programming Languages and Distributed Computation 8th Asian Computing Science Conference, Mumbai, India, December 10-14, 2003, Proceedings /

Λεπτομέρειες βιβλιογραφικής εγγραφής
Συγγραφή απο Οργανισμό/Αρχή: SpringerLink (Online service)
Άλλοι συγγραφείς: Saraswat, Vijay A. (Επιμελητής έκδοσης, http://id.loc.gov/vocabulary/relators/edt)
Μορφή: Ηλεκτρονική πηγή Ηλ. βιβλίο
Γλώσσα: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.