Advances in computing science – ASIAN 2000 : 6th Asian Computing Science Conference, Penang, Malaysia, November 2000 : proceedings

Advances in Computing Science — ASIAN 2000: 6th Asian Computing Science Conference Penang, Malaysia, November 25–27, 2000 Proceedings
Author: He Jifeng, Masahiko Sato
Published by Springer Berlin Heidelberg
ISBN: 978-3-540-41428-5
DOI: 10.1007/3-540-44464-5

Table 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