Advertisement

Advances in Computing Science — ASIAN’99

5th Asian Computing Science Conference Phuket, Thailand, December 10–12,1999 Proceedings

  • P. S. Thiagarajan
  • Roland Yap
Conference proceedings ASIAN 1999

Part of the Lecture Notes in Computer Science book series (LNCS, volume 1742)

Table of contents

  1. Front Matter
    Pages I-XI
  2. Invited Talks

  3. Regular Papers

    1. Roberto M. Amadio, Sanjiva Prasad
      Pages 15-26
    2. T. Calamoneri, I. Finocchi, R. Petreschi, Y. Manoussakis
      Pages 27-36
    3. Chantana Chantrapornchai, Sissades Tongsima, Edwin Sha
      Pages 37-49
    4. Koen Claessen, David Sands
      Pages 62-73
    5. Luis Fernando Llana Díaz, David de Frutos Escrig
      Pages 74-86
    6. Lars-åke Fredlund, Dilian Gurov
      Pages 87-100
    7. Didier Galmiche, Dominique Larchey-Wendling
      Pages 101-112
    8. Jesper Gulmann Henriksen
      Pages 126-138
    9. Mia Indrika
      Pages 151-162
    10. Fairouz Kamareddine, François Monin
      Pages 177-189
    11. Hanna Klaudel, Franck Pommereau
      Pages 190-200
    12. Seng Wai Loke, Heinz Schmidt, Arkady Zaslavsky
      Pages 214-226
    13. Madhavan Mukund, K. Narayan Kumar, Scott A. Smolka
      Pages 227-238
    14. Joachim Niehren, Tim Priesnitz
      Pages 251-265
    15. Kazuhiro Ogata, Kokichi Futatsugi
      Pages 281-293
    16. Frank Reffel
      Pages 294-307
    17. Gerd Ritter, Holger Hinrichsen, Hans Eveking
      Pages 308-321
    18. Abhik Roychoudhury, C. R. Ramakrishnan, I. V. Ramakrishnan, K. Narayan Kumar
      Pages 322-333
    19. Hong Shen, Keqin Li, Si-Qing Zheng
      Pages 347-358
    20. Chia Jim Tong, Hoong Chuin Lau, Andrew Lim
      Pages 359-370
  4. Poster Session Abstracts

  5. Back Matter
    Pages 397-397

About these proceedings

Keywords

Computer Aided Verification Distributed Systems Formal Methods Mobile Computing Multimedia Real-Time Systems Theoretical Computer Science algorithm formal method formal verification modeling optimization programming real-time verification

Editors and affiliations

  • P. S. Thiagarajan
    • 1
  • Roland Yap
    • 2
  1. 1.Chennai Mathematical InstituteChennaiIndia
  2. 2.School of ComputingNational University of SingaporeSingapore

Bibliographic information

  • DOI https://doi.org/10.1007/3-540-46674-6
  • Copyright Information Springer-Verlag Berlin Heidelberg 1999
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Springer Book Archive
  • Print ISBN 978-3-540-66856-5
  • Online ISBN 978-3-540-46674-1
  • Series Print ISSN 0302-9743
  • Buy this book on publisher's site