Advances in Computing Science — ASIAN 2000: 6th Asian Computing Science Conference Penang, Malaysia, November 25–27, 2000 ProceedingsAuthor: He Jifeng, Masahiko Sato Published by Springer Berlin Heidelberg ISBN: 978-3-540-41428-5 DOI: 10.1007/3-540-44464-5Table of Contents:Finite Digital Synchronous Circuits Are Characterized by 2-Algebraic Truth Tables Performance Evaluation of Networks: New Problems and Challenges Emerging Patterns and Classification IPv6 Performance Analysis on FreeBSD Workstation Using Simple Applications Performance of Location Caching Scheme to Support Call Locality in Wireless Networks A Practical Parity Scheme for Tolerating Triple Disk Failures in RAID Architectures Genetic Algorithm for Extended Cell Assignment Problem in Wireless ATM Network Spatial Congruence for Ambients Is Decidable A Spatio-temporal Representation Scheme for Modeling Moving Objects in Video Data Node-to-Set Disjoint Paths Problem in Rotator Graphs On Simulation-Checking with Sequential Systems Reusing Animations in Databases for Multimedia Presentations Reflecting BDDs in Coq On Model Checking Synchronised Hardware Circuits Safe Ambients: Control Flow Analysis and Security Security Types for Mobile Safe Ambients Improving Functional Logic Programs by Difference-Lists A New Multihop Logical Topology for Reliable Broadband Communication A New Scalable Topology for Multihop Optical Networks On Computable Tree Functions, Includes bibliographical references and index