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

by He, Jifeng; Sato, Masahiko

• ISBN13: 9783540414285
• ISBN10: 3540414282
• Format: Paperback
• Copyright: 2001-03-01
• Publisher: Springer Verlag

Summary

This book constitutes the refereed proceedings of the 6th Asian Computing Science Conference, ASIAN 2000, held in Penang, Malaysia in November 2000. The 18 revised full papers presented were carefully reviewed and selected from a total of 61 submissions. The papers presented cover various topics in computer science and its applications, with a certain focus on networking and network performance and on programming logics and program semantics.

Table of Contents

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