Advances in Computing Science - ASIAN 2003, Programming Languages and Distributed Computation: 8th Asian Computing Science Conference, Mumbai, India, ... 2896 (Lecture Notes in Computer Science) - Softcover

Saraswat, Vijay A.

 
9783540206323: Advances in Computing Science - ASIAN 2003, Programming Languages and Distributed Computation: 8th Asian Computing Science Conference, Mumbai, India, ... 2896 (Lecture Notes in Computer Science)
Softcover
ISBN 10: 3540206329 ISBN 13: 9783540206323
Verlag: Springer, 2008

Inhaltsangabe

This volume contains 18 papers that were presented at the Eighth Asian C- puting Science Conference (ASIAN 2003) in Mumbai in December 2003. The theme of the conference this year was programming languages and distributed computation. Papers were invited on all aspects of theory, practice and appli- tions related to this theme. The Program Committee invited Greg Morrisett to give the keynote talk (in a joint session with the International Conference on Logic Programming). Andrew Birrell and Mark S. Miller were also invited to give talks. The Program Committee selected 16 papers out of the 53 submitted. Together, these papers were authored by 48 people from 11 countries. I thank the Program Committee for doing an outstanding job under severe timepressure,andtheExecutiveCommitteeforinvitingmetochairtheProgram Committee. I also thank the sponsoring institutions for this conference: Asian Institute of Technology Institut National de Recherche en Informatique et en Automatique United Nations University/International Institute for Software Technology National University of Singapore Waseda University Tata Institute of Fundamental Research The Pennsylvania State University IBM TJ Watson Research Lab Mountain Lakes, NJ Vijay Saraswat September 2003 Organization ASIAN 2003 was organized under the auspicies of the Executive Committee.

Die Inhaltsangabe kann sich auf eine andere Ausgabe dieses Titels beziehen.

Reseña del editor

This volume contains 18 papers that were presented at the Eighth Asian C- puting Science Conference (ASIAN 2003) in Mumbai in December 2003. The theme of the conference this year was programming languages and distributed computation. Papers were invited on all aspects of theory, practice and appli- tions related to this theme. The Program Committee invited Greg Morrisett to give the keynote talk (in a joint session with the International Conference on Logic Programming). Andrew Birrell and Mark S. Miller were also invited to give talks. The Program Committee selected 16 papers out of the 53 submitted. Together, these papers were authored by 48 people from 11 countries. I thank the Program Committee for doing an outstanding job under severe timepressure,andtheExecutiveCommitteeforinvitingmetochairtheProgram Committee. I also thank the sponsoring institutions for this conference: Asian Institute of Technology Institut National de Recherche en Informatique et en Automatique United Nations University/International Institute for Software Technology National University of Singapore Waseda University Tata Institute of Fundamental Research The Pennsylvania State University IBM TJ Watson Research Lab Mountain Lakes, NJ Vijay Saraswat September 2003 Organization ASIAN 2003 was organized under the auspicies of the Executive Committee.

Reseña del editor

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.

„Über diesen Titel“ kann sich auf eine andere Ausgabe dieses Titels beziehen.

Verlag
Springer
Erscheinungsdatum
2008
Sprache
Englisch
ISBN 10 
3540206329
ISBN 13 
9783540206323
Einband
Tapa blanda
Anzahl der Seiten
320
Kontakt zum Hersteller
Nicht verfügbar
Verantwortliche Person
CMN Printpool Inh. Mathis Neumann
https://www.also.com/ec/cms5/en_6000/6000/index.jsp

Friedrich-Karl-Str. 9
Hamburg
Deutschland

Weitere beliebte Ausgaben desselben Titels

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

Vorgestellte Ausgabe

ISBN 10:  3662202883 ISBN 13:  9783662202883
Verlag: Springer, 2014
Softcover