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