Advertisement

Table of contents

  1. Front Matter
  2. Eliezer A. Albacea
    Pages 1-9
  3. Leizhen Cai
    Pages 10-22
  4. Ming-Yang Kao
    Pages 23-33
  5. Tak Wah Lam, Ka Hing Lee
    Pages 48-58
  6. Viet Hai Nguyen, Peter Widmayer
    Pages 59-72
  7. Sugwoo Byun, Richard Kennaway, Ronan Sleep
    Pages 73-87
  8. M. Satpathy, A. Sanyal, G. Venkatesh
    Pages 88-102
  9. Milind Gandhe, G. Venkatesh, Amitabha Sanyal
    Pages 103-110
  10. Sophie Pinchinat, Éric Rutten, R. K. Shyamasundar
    Pages 111-125
  11. Wojciech Fraczak
    Pages 126-140
  12. Alan Mycroft, Pierpaolo Degano, Corrado Priami
    Pages 141-155
  13. N. Raja, R. K. Shyamasundar
    Pages 156-170
  14. Joachim Niehren, Martin Müller
    Pages 171-186
  15. Feixiong Liu, Thomas Peikenkamp, Werner Damm
    Pages 210-224
  16. Hongjun Lu, Kian-Lee Tan
    Pages 239-253
  17. Kimihiro Yamamoto, Shozo Naito, Masaki Itoh
    Pages 254-268
  18. Liem Ngo, Peter Haddawy
    Pages 286-300
  19. Penny Anderson, David Basin
    Pages 301-318
  20. Ramesh Bharadwaj, Amy Felty, Frank Stomp
    Pages 335-349
  21. R. Achuthan, V. S. Alagar, T. Radhakrishnan
    Pages 350-364
  22. Michal Iglewski, Marcin Kubica, Jan Madey
    Pages 381-395
  23. Xiaojun Chen, Paola Inverardi, Carlo Montangero
    Pages 396-410
  24. Back Matter

About these proceedings

Introduction

This volume constitutes the refereed proceedings of the 1995 Asian Computing Science Conference, ACSC 95, held in Pathumthani, Thailand in December 1995.
The 29 fully revised papers presented were selected from a total of 102 submissions; clearly the majority of the participating researchers come from South-East Asian countries, but there is also a strong international component. The volume reflects research activities, particularly by Asian computer science researchers, in different areas. Special attention is paid to algorithms, knowledge representation, programming and specification languages, verification, concurrency, networking and distributed systems, and databases.

Keywords

algorithm algorithms databases distributed systems knowledge knowledge representation programming verification

Bibliographic information

  • DOI https://doi.org/10.1007/3-540-60688-2
  • Copyright Information Springer-Verlag Berlin Heidelberg 1995
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Springer Book Archive
  • Print ISBN 978-3-540-60688-8
  • Online ISBN 978-3-540-49262-7
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • Buy this book on publisher's site