LEADER 06145nam 22008175 450 001 996466179103316 005 20200704081805.0 010 $a3-540-44464-5 024 7 $a10.1007/3-540-44464-5 035 $a(CKB)1000000000211361 035 $a(SSID)ssj0000320896 035 $a(PQKBManifestationID)11230063 035 $a(PQKBTitleCode)TC0000320896 035 $a(PQKBWorkID)10262564 035 $a(PQKB)10454689 035 $a(DE-He213)978-3-540-44464-0 035 $a(MiAaPQ)EBC3072323 035 $a(PPN)155178172 035 $a(EXLCZ)991000000000211361 100 $a20121227d2000 u| 0 101 0 $aeng 135 $aurnn#008mamaa 181 $ctxt 182 $cc 183 $acr 200 10$aAdvances in Computing Science - ASIAN 2000$b[electronic resource] $e6th Asian Computing Science Conference Penang, Malaysia, November 25-27, 2000 Proceedings /$fedited by Jifeng He, Masahiko Sato 205 $a1st ed. 2000. 210 1$aBerlin, Heidelberg :$cSpringer Berlin Heidelberg :$cImprint: Springer,$d2000. 215 $a1 online resource (X, 306 p.) 225 1 $aLecture Notes in Computer Science,$x0302-9743 ;$v1961 300 $aBibliographic Level Mode of Issuance: Monograph 311 $a3-540-41428-2 320 $aIncludes bibliographical references and index. 327 $aFinite 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 -- Sharpening the Undecidability of Interval Temporal Logic. 330 $aThe Asian Computing Science Conference (ASIAN) series was initiated in 1995 to provide a forum for researchers in computer science in Asia to meet and to promote interaction with researchers from other regions. The previous ?ve conferences were held, respectively, in Bangkok, Singapore, Kathmandu, Manila, and Phuket. The proceedings were published in the Lecture Notes in Computer Science Series of Springer-Verlag. This year?s conference (ASIAN2000) attracted 61 submissions from which 18 papers were selected through an electronic program committee (PC) meeting. The themes for this year?s conference are: ? Logics in Computer Science ? Data Mining ? Networks and Performance The key note speaker for ASIAN2000 is Jean Vuillemin (ENS, France) and the invited speakers are Ramamohanarao Kotagiri (U. Melbourne, Australia) and Alain Jean-Marie (LIRMM, France). We thank them for accepting our - vitation. This year?s conference is sponsored by the Asian Institute of Technology (Thailand), INRIA (France), the National University of Singapore (Singapore), and UNU/IIST (Macau SAR, China). We thank all these institutions for their continued support of the ASIAN series. This year?s conference will be held in Penang, Malaysia. We are much obliged to Universiti Sains Malaysia and Penang State Government for providing the conference venue and to Dr. Abdullah Zawawi Haji Talib for making the local arrangements. We also wish to thank the PC members and the large number of referees for thesubstantialworkputinbytheminassessingthesubmittedpapers. 410 0$aLecture Notes in Computer Science,$x0302-9743 ;$v1961 606 $aComputers 606 $aMathematical logic 606 $aComputer logic 606 $aArtificial intelligence 606 $aComputer communication systems 606 $aAlgorithms 606 $aTheory of Computation$3https://scigraph.springernature.com/ontologies/product-market-codes/I16005 606 $aMathematical Logic and Formal Languages$3https://scigraph.springernature.com/ontologies/product-market-codes/I16048 606 $aLogics and Meanings of Programs$3https://scigraph.springernature.com/ontologies/product-market-codes/I1603X 606 $aArtificial Intelligence$3https://scigraph.springernature.com/ontologies/product-market-codes/I21000 606 $aComputer Communication Networks$3https://scigraph.springernature.com/ontologies/product-market-codes/I13022 606 $aAlgorithm Analysis and Problem Complexity$3https://scigraph.springernature.com/ontologies/product-market-codes/I16021 615 0$aComputers. 615 0$aMathematical logic. 615 0$aComputer logic. 615 0$aArtificial intelligence. 615 0$aComputer communication systems. 615 0$aAlgorithms. 615 14$aTheory of Computation. 615 24$aMathematical Logic and Formal Languages. 615 24$aLogics and Meanings of Programs. 615 24$aArtificial Intelligence. 615 24$aComputer Communication Networks. 615 24$aAlgorithm Analysis and Problem Complexity. 676 $a004 702 $aHe$b Jifeng$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aSato$b Masahiko$4edt$4http://id.loc.gov/vocabulary/relators/edt 712 12$aAsian Computing Science Conference 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a996466179103316 996 $aAdvances in Computing Science - ASIAN 2000$92004617 997 $aUNISA