Skip to main content
SpringerLink
Log in

Advances in Computing Science - ASIAN 2000

6th Asian Computing Science Conference Penang, Malaysia, November 25-27, 2000 Proceedings

  • Conference proceedings
  • © 2000

Overview

Editors:
  1. He Jifeng

    1. International Institute for Software Technology, United Nations University, Macau, China

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Masahiko Sato

    1. Graduate School of Informatics, Kyoto University, Kyoto, Japan

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

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

This is a preview of subscription content, log in via an institution to check access.

Access this book

Log in via an institution
eBook USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Institutional subscriptions

Table of contents (21 papers)

  1. Front Matter

    Pages I-X
    Download chapter PDF

  2. Finite Digital Synchronous Circuits Are Characterized by 2-Algebraic Truth Tables

    • Jean Vuillemin
    Pages 1-12

  3. Performance Evaluation of Networks: New Problems and Challenges

    • Alain Jean-Marie
    Pages 13-14

  4. Emerging Patterns and Classification

    • Jinyan Li, Kotagiri Ramamohanarao, Guozhu Dong
    Pages 15-32

  5. IPv6 Performance Analysis on FreeBSD Workstation Using Simple Applications

    • K. Ettikan, V. Ganapathy
    Pages 33-42

  6. Performance of Location Caching Scheme to Support Call Locality in Wireless Networks

    • DongChun Lee, JeomGoo Kim, JooSeok Song
    Pages 43-57

  7. A Practical Parity Scheme for Tolerating Triple Disk Failures in RAID Architectures

    • Chong-Won Park, Young-Yearl Han
    Pages 58-68

  8. Genetic Algorithm for Extended Cell Assignment Problem in Wireless ATM Network

    • Der-Rong Din, Shian-Shyong Tseng, Mon-Fong Jiang
    Pages 69-87

  9. Spatial Congruence for Ambients Is Decidable

    • Silvano Dal Zilio
    Pages 88-103

  10. A Spatio-temporal Representation Scheme for Modeling Moving Objects in Video Data

    • Choon-Bo Shim, Jae-Woo Chang
    Pages 104-118

  11. Node-to-Set Disjoint Paths Problem in Rotator Graphs

    • Keiichi Kaneko, Yasuto Suzuki
    Pages 119-132

  12. On Simulation-Checking with Sequential Systems

    • Antonin Kučera
    Pages 133-148

  13. Reusing Animations in Databases for Multimedia Presentations

    • Zhiyong Huang, Binjia Jiao, B. Prabhakaran, Conrado R. Ruiz Jr
    Pages 149-161

  14. Reflecting BDDs in Coq

    • Kumar Neeraj Verma, Jean Goubault-Larrecq, Sanjiva Prasad, S. Arun-Kumar
    Pages 162-181

  15. On Model Checking Synchronised Hardware Circuits

    • Martin Leucker
    Pages 182-198

  16. Safe Ambients: Control Flow Analysis and Security

    • Pierpaolo Degano, Francesca Levi, Chiara Bodei
    Pages 199-214

  17. Security Types for Mobile Safe Ambients

    • M. Dezani-Ciancaglini, I. Salvo
    Pages 215-236

  18. Improving Functional Logic Programs by Difference-Lists

    • Elvira Albert, César Ferri, Frank Steiner, Germán Vidal
    Pages 237-254

  19. A New Multihop Logical Topology for Reliable Broadband Communication

    • U. Bhattacharya, R. Chaki
    Pages 255-262

  20. A New Scalable Topology for Multihop Optical Networks

    • U. Bhattacharya, R. Chaki
    Pages 263-272
Back to top

Keywords

About this book

The Asian Computing Science Conference (ASIAN) series was initiated in 1995 to provide a forum for researchers in computer science in Asia to meet and to promote interaction with researchers from other regions. The previous ?ve conferences were held, respectively, in Bangkok, Singapore, Kathmandu, Manila, and Phuket. The proceedings were published in the Lecture Notes in Computer Science Series of Springer-Verlag. This year’s conference (ASIAN2000) attracted 61 submissions from which 18 papers were selected through an electronic program committee (PC) meeting. The themes for this year’s conference are: – Logics in Computer Science – Data Mining – Networks and Performance The key note speaker for ASIAN2000 is Jean Vuillemin (ENS, France) and the invited speakers are Ramamohanarao Kotagiri (U. Melbourne, Australia) and Alain Jean-Marie (LIRMM, France). We thank them for accepting our - vitation. This year’s conference is sponsored by the Asian Institute of Technology (Thailand), INRIA (France), the National University of Singapore (Singapore), and UNU/IIST (Macau SAR, China). We thank all these institutions for their continued support of the ASIAN series. This year’s conference will be held in Penang, Malaysia. We are much obliged to Universiti Sains Malaysia and Penang State Government for providing the conference venue and to Dr. Abdullah Zawawi Haji Talib for making the local arrangements. We also wish to thank the PC members and the large number of referees for thesubstantialworkputinbytheminassessingthesubmittedpapers.

Editors and Affiliations

  • International Institute for Software Technology, United Nations University, Macau, China

    He Jifeng

  • Graduate School of Informatics, Kyoto University, Kyoto, Japan

    Masahiko Sato

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation