Umfang:
Online-Ressource (VIII, 305 p. Also available online)
,
digital
Ausgabe:
Springer eBook Collection. Computer Science
ISBN:
9783540409656
,
3540206329
,
9783540206323
Serie:
Lecture Notes in Computer Science 2896
Inhalt:
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
Anmerkung:
Includes bibliographical references and index
Weitere Ausg.:
ISBN 9783540206323
Weitere Ausg.:
Erscheint auch als Druck-Ausgabe ISBN 9783662202883
Weitere Ausg.:
Erscheint auch als Druck-Ausgabe ISBN 9783540206323
Sprache:
Englisch
Fachgebiete:
Informatik
Schlagwort(e):
Konferenzschrift
URL:
Volltext
(lizenzpflichtig)