Advances in Computing Science - ASIAN'99: 5th Asian Computing Science Conference, Phuket, Thailand, December 10-12, 1999 Proceedings: 1742 (Lecture Notes in Computer Science) - Softcover

Thiagarajan, P. S.; Yap, Roland

Softcover

ISBN 10: 354066856X ISBN 13: 9783540668565

Verlag: Springer, 2008

Inhaltsangabe

The Asian Computing Science Conference (ASIAN) series was initiated in 1995 to provide a forum for researchers in computer science from the Asian region to meet and to promote interaction with researchers from other regions. The previous four conferences were held, respectively, in Bangkok, Singapore, Ka- mandu, and Manila. The proceedings were published in the Lecture Notes in Computer Science Series of Springer-Verlag. This year's conference (ASIAN'99) attracted 114 submissions from which 28 papers were selected through an electronic PC meeting. In addition, 11 papers were selected for shorter presentations at the poster sessions. The themes for this year's conference were announced to be: { Embedded and Real-Time Systems { Formal Reasoning and Veric ation { Distributed and Mobile Computing The key note speaker for ASIAN'99 is Amir Pnueli (Weizmann Institute, Israel) and the invited speakers are Nicolas Halbwachs (VERIMAG, CNRS, France) and Krishna Palem (The Georgia Institute of Technology and Courant Institute, New York University, USA). We thank them for accepting our invi- tion. Thisyear'sconferenceisbeingsponsoredbytheAsianInstituteofTechnology (Thailand), INRIA (France), the National University of Singapore (Singapore), andUNU/IIST (Macau).We thank allthese institutions fortheir continueds- port of the ASIAN series. This year'sconferencewill be held inPhuket,Thailand.We aremuchobliged to the Prince of Songkhla University for providing the conference venue and to Rattana Wetprasit for making the local arrangements. We also wish to thank the PC members and the large number of referees for the substantial work put in by them in assessing the submitted papers.

Über diesen Titel

Reseña del editor

This book constitutes the refereed proceedings of the 5th Asian Computing Science Conference, ASIAN'99, held in Phuket, Thailand, in December 1999.
The 28 revised full papers presented together with two invited contributions and 11 short presentations were carefully reviewed and selected from a total of 114 submissions. Among the topics addressed are programming theory, formal methods, automated reasoning, verification, embedded systems, real-time systems, distributed systems, and mobile computing.

Details zur Ausgabe

• Verlag: Springer
• Erscheinungsdatum: 2008
• Sprache: Englisch
• ISBN 10: 354066856X
• ISBN 13: 9783540668565
• Einband: Tapa blanda
• Anzahl der Seiten: 420
• 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