6. ASIAN 2000: Penang, Malaysia

@proceedings{DBLP:conf/asian/2000,
  editor    = {Jifeng He and
               Masahiko Sato},
  title     = {Advances in Computing Science - ASIAN 2000, 6th Asian Computing
               Science Conference,  Penang, Malaysia, November 25-27, 2000,
               Proceedings},
  booktitle = {ASIAN},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {1961},
  year      = {2000},
  isbn      = {3-540-41428-2},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

• Jean Vuillemin:
  Finite Digital Synchronous Circuits Are Characterized by 2-Algebraic Truth Tables. 1-12
  Electronic Edition (Springer LINK) BibTeX
• Alain Jean-Marie:
  Performance Evaluation of Networks: New Problems and Challenges. 13-14
  Electronic Edition (Springer LINK) BibTeX
• Jinyan Li, Kotagiri Ramamohanarao, Guozhu Dong:
  Emerging Patterns and Classification. 15-32
  Electronic Edition (Springer LINK) BibTeX
• K. Ettikan, V. Ganapathy:
  IPv6 Performance Analysis on FreeBSD Workstation Using Simple Applications. 33-42
  Electronic Edition (Springer LINK) BibTeX
• Dong Chun Lee, Jeom Goo Kim, JooSeok Song:
  Performance of Location Caching Scheme to Support Call Locality in Wireless Networks. 43-57
  Electronic Edition (Springer LINK) BibTeX
• Chong-Won Park, Young-Yearl Han:
  A Practical Parity Scheme for Tolerating Triple Disk Failures in RAID Architectures. 58-68
  Electronic Edition (Springer LINK) BibTeX
• Der-Rong Din, Shian-Shyong Tseng, Mon-Fong Jiang:
  Genetic Algorithm for Extended Cell Assignment Problem in Wireless ATM Network. 69-87
  Electronic Edition (Springer LINK) BibTeX
• Silvano Dal-Zilio:
  Spatial Congruence for Ambients Is Decidable. 88-103
  Electronic Edition (Springer LINK) BibTeX
• Choon-Bo Shim, Jae-Woo Chang:
  A Spatio-temporal Representation Scheme for Modelin Moving Objects in Video Data. 104-118
  Electronic Edition (Springer LINK) BibTeX
• Keiichi Kaneko, Yasuto Suzuki:
  Node-to-Set Disjoint Paths Problem in Rotator Graphs. 119-132
  Electronic Edition (Springer LINK) BibTeX
• Antonín Kucera:
  On Simulation-Checking with Sequential Systems. 133-148
  Electronic Edition (Springer LINK) BibTeX
• Zhiyong Huang, Binjia Jiao, B. Prabhakaran, Conrado R. Ruiz Jr.:
  Reusing Animations in Databases for Multimedia Presentations. 149-161
  Electronic Edition (Springer LINK) BibTeX
• Kumar Neeraj Verma, Jean Goubault-Larrecq, Sanjiva Prasad, S. Arun-Kumar:
  Reflecting BDDs in Coq. 162-181
  Electronic Edition (Springer LINK) BibTeX
• Martin Leucker:
  On Model Checking Synchronised Hardware Circuits. 182-198
  Electronic Edition (Springer LINK) BibTeX
• Pierpaolo Degano, Francesca Levi, Chiara Bodei:
  Safe Ambients: Control Flow Analysis and Security. 199-214
  Electronic Edition (Springer LINK) BibTeX
• Mariangiola Dezani-Ciancaglini, Ivano Salvo:
  Security Types for Mobile Safe Ambients. 215-236
  Electronic Edition (Springer LINK) BibTeX
• Elvira Albert, César Ferri, Frank Steiner, Germán Vidal:
  Improving Functional Logic Programs by Difference-Lists. 237-254
  Electronic Edition (Springer LINK) BibTeX
• U. Bhattacharya, R. Chaki:
  A New Multihop Logical Topology for Reliable Broadband Communication. 255-262
  Electronic Edition (Springer LINK) BibTeX
• U. Bhattacharya, R. Chaki:
  A New Scalable Topology for Multihop Optical Networks. 263-272
  Electronic Edition (Springer LINK) BibTeX
• Masahiro Kimoto, Masako Takahashi:
  On Computable Tree Functions. 273-289
  Electronic Edition (Springer LINK) BibTeX
• Kamal Lodaya:
  Sharpening the Undecidability of Interval Temporal Logic. 290-298
  Electronic Edition (Springer LINK) BibTeX