Advances in computing science - ASIAN 2000. 6th Asian computing science conference, Penang, Malaysia, November 25--27, 2000. Proceedings
The articles of mathematical interest will be reviewed individually. The preceding conference (5th, 1999) has been reviewed (see Zbl 0931.00045). Indexed articles: \textit{Vuillemin, Jean}, Finite digital synchronous circuits are characterized by 2-algebraic truth tables, 1-12 [Zbl 0987.94049] \textit{Jean-Marie, Alain}, Performance evaluation of networks: New problems and challenges, 13-14 [Zbl 0988.68731] \textit{Li, Jinyan; Ramamohanarao, Kotagiri; Dong, Guozhu}, Emerging patterns and classification, 15-32 [Zbl 0988.68552] \textit{Ettikan, K.; Ganapathy, V.}, IPv6 performance analysis on FreeBSD workstation using simple applications, 33-42 [Zbl 0988.68707] \textit{Lee, DongChun; Kim, JeomGoo; Song, JooSeok}, Performance of location caching scheme to support call locality in wireless networks, 43-57 [Zbl 0988.68777] \textit{Park, Chong-Won; Han, Young-Yearl}, A practical parity scheme for tolerating triple disk failures in RAID architectures, 58-68 [Zbl 0988.68779] \textit{Din, Der-Rong; Tseng, Shian-Shyong; Jiang, Mon-Fong}, Genetic algorithm for extended cell assignment problem in wireless ATM network, 69-87 [Zbl 0988.68699] \textit{Dal Zilio, Silvano}, Spatial congruence for ambients is decidable, 88-103 [Zbl 0987.68048] \textit{Shim, Choon-Bo; Chang, Jae-Woo}, A spatio-temporal representation scheme for modeling moving objects in video data, 104-118 [Zbl 0988.68765] \textit{Kaneko, Keiichi; Suzuki, Yasuto}, Node-to-set disjoint paths problem in rotator graphs, 119-132 [Zbl 0987.68053] \textit{Kučera, Antonín}, On simulation-checking with sequential systems, 133-148 [Zbl 0987.68045] \textit{Huang, Zhiyong; Jiao, Binjia; Prabhakaran, B.; Ruiz, Conrado R. jun.}, Reusing animations in databases for multimedia presentations, 149-161 [Zbl 0988.68738] \textit{Verma, Kumar Neeraj; Goubault-Larrecq, Jean; Prasad, Sanjiva; Arun-Kumar, S.}, Reflecting BDDs in Coq, 162-181 [Zbl 0988.68600] \textit{Leucker, Martin}, On model checking synchronised hardware circuits, 182-198 [Zbl 0987.68044] \textit{Degano, Pierpaolo; Levi, Francesca; Bodei, Chiara}, Safe ambients: Control flow analysis and security, 199-214 [Zbl 0988.68543] \textit{Dezani-Ciancaglini, M.; Salvo, I.}, Security types for mobile safe ambients, 215-236 [Zbl 0988.68544] \textit{Albert, Elvira; Ferri, César; Steiner, Frank; Vidal, Germán}, Improving functional logic programs by difference-lists, 237-254 [Zbl 0988.68511] \textit{Bhattacharya, U.; Chaki, R.}, A new multihop logical topology for reliable broadband communication, 256-262 [Zbl 0988.68654] \textit{Bhattacharya, U.; Chaki, R.}, A new scalable topology for multihop optical networks, 263-272 [Zbl 0988.68655] \textit{Kimoto, Masahiro; Takahashi, Masako}, On computable tree functions, 273-289 [Zbl 0987.03039] \textit{Lodaya, Kamal}, Sharpening the undecidability of interval temporal logic, 290-298 [Zbl 0987.03015]
scientific article; zbMATH DE number 1550311