| Advances in Computing Science - Asian'99: 5th Asian Computing Science Conference, Phuket, Thailand, December 10-12, 1999 Proceedings 1999 Edition Contributor(s): Thiagarajan, P. S. (Editor), Yap, Roland (Editor) |
|
 |
ISBN: 354066856X ISBN-13: 9783540668565 Publisher: Springer OUR PRICE: $52.24 Product Type: Paperback Published: December 1999 Annotation: 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. |
| Additional Information |
| BISAC Categories: - Computers | Computer Science - Medical - Computers | Logic Design |
| Dewey: 004 |
| LCCN: 99058177 |
| Series: Lecture Notes in Computer Science |
| Physical Information: 0.85" H x 6.14" W x 9.21" (1.28 lbs) 408 pages |
| Descriptions, Reviews, Etc. |
| Publisher Description: 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. |