Normal view MARC view ISBD view

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

By: Saraswat, Vijay A.
Material type: materialTypeLabelBookSeries: 2896. Lecture notes in computer science.Publisher: New York: Springer-Verlag, 2003Description: viii, 304 p.; index: 23 cm.ISBN: 9783540206323 .Subject(s): Computer science | Kernel Mode Linux | Calculus | Server | Operating systems protection | Proof theory | Network services | Secure mobile computing | Real-time systems | Electronic computers | Probabilistic distributed systems | Electronic data processing | Programming languages | MiddlewareDDC classification: 004 Summary: This book constitutes the refereed proceedings of the 8th Asian Computing Science Conference, ASIAN 2003, held in Mumbai, India in December 2003. The 16 revised full papers presented together with 2 invited papers were carefully reviewed and selected from 53 submissions. Among the topics addressed are type theory for operating systems protection, self configurable servers, network services, predicate detection, hierarchical specification, proof theory, electronic auctions, secure mobile computing, programming casculi, access control, middleware, program logic, real-time systems, and probabilistic distributed systems
Tags from this library: No tags from this library for this title. Log in to add tags.
Item type Current location Call number Status Date due Barcode
Books 004 SAR (Browse shelf) Available 008463

This book constitutes the refereed proceedings of the 8th Asian Computing Science Conference, ASIAN 2003, held in Mumbai, India in December 2003. The 16 revised full papers presented together with 2 invited papers were carefully reviewed and selected from 53 submissions. Among the topics addressed are type theory for operating systems protection, self configurable servers, network services, predicate detection, hierarchical specification, proof theory, electronic auctions, secure mobile computing, programming casculi, access control, middleware, program logic, real-time systems, and probabilistic distributed systems

There are no comments for this item.

Log in to your account to post a comment.

Powered by Koha