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