Advances in computing science - ASIAN 2000 : 6th Asian Computing Science Conference Penang, Malaysia, November 25 27, 2000 : proceedings
The 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, M...
Kaydedildi:
| Müşterek Yazar: | |
|---|---|
| Diğer Yazarlar: | , |
| Materyal Türü: | Livre numérique |
| Dil: | Anglais |
| Baskı/Yayın Bilgisi: |
Berlin [etc.] :
Springer
[20..].
Cham : Springer Nature |
| Seri Bilgileri: | Lecture notes in computer science
1961 |
| Konular: | |
| Online Erişim: | Accès sur la plateforme de l'éditeur Accès sur la plateforme Istex Accès Université d'Orléans Accès INSA CVL |
| Not: |
Archives Springer e-books (Licence nationale) Archives Springer e-books (Licence nationale) |
| Autres localisations: | Voir dans le Sudoc |
| Edition sous un autre format: | • Advances in computing science - ASIAN 2000, 6th Asian Computing Science Conference, Penang, Malaysia, November 2000, proceedings, Jifeng He, Masahiko Sato (eds.), 2000, Berlin, Springer, 1 vol. (VII-298 p.), Lecture notes in computer science, 3-540-41428-2 • Advances in Computing Science - ASIAN 2000, Texte imprimé, 9783662195741 |
| LEADER | 05317nam a22004217a 4500 | ||
|---|---|---|---|
| 001 | 948640 | ||
| 008 | 110927q2000 xxe ||| |||| 00| 0 eng d | ||
| 009 | PPN155178172 | ||
| 020 | |a 9783540444640 (PDF) | ||
| 041 | 0 | |a eng | |
| 082 | |a 004 | ||
| 111 | 2 | |a Asian Computing Science Conference |n (06 |d :2000 |c :Penang, Malaisie). | |
| 245 | 1 | 0 | |a Advances in computing science - ASIAN 2000 : |b 6th Asian Computing Science Conference Penang, Malaysia, November 25 27, 2000 : proceedings |c edited by He Jifeng, Masahiko Sato. |
| 260 | |a Berlin [etc.] : |b Springer. | ||
| 260 | |a Cham : |b Springer Nature, |c [20..]. | ||
| 490 | 0 | |a Lecture notes in computer science |v 1961 |x 1611-3349 | |
| 500 | |a Archives Springer e-books (Licence nationale) | ||
| 500 | |a Archives Springer e-books (Licence nationale) | ||
| 505 | 0 | |a Finite 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. | |
| 506 | |a Accès en ligne pour les établissements français bénéficiaires des licences nationales | ||
| 506 | |a Accès soumis à abonnement pour tout autre établissement | ||
| 506 | |a Conditions particulières de réutilisation pour les bénéficiaires des licences nationales. https://www.licencesnationales.fr/springer-nature-ebooks-contrat-licence-ln-2017 | ||
| 520 | |a The 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. | ||
| 650 | |a Informatique | ||
| 650 | |a Algorithmes | ||
| 650 | |a Intelligence artificielle | ||
| 650 | |a Réseaux d'ordinateurs | ||
| 650 | |a Logique symbolique et mathématique | ||
| 650 | |a Actes de congrès | ||
| 700 | 1 | |a He, Jifeng, |d 1943- |4 pbd | |
| 700 | 1 | |a Satō, Masahiko, |d 1947- |4 pbd | |
| 776 | 0 | |0 054350107 |t Advances in computing science - ASIAN 2000 |o 6th Asian Computing Science Conference, Penang, Malaysia, November 2000 |o proceedings |f Jifeng He, Masahiko Sato (eds.) |d 2000 |c Berlin |n Springer |p 1 vol. (VII-298 p.) |s Lecture notes in computer science |z 3-540-41428-2 | |
| 776 | 0 | |t Advances in Computing Science - ASIAN 2000 |b Texte imprimé |z 9783662195741 | |
| 856 | 4 | |q PDF |u https://doi.org/10.1007/3-540-44464-5 |z Accès sur la plateforme de l'éditeur | |
| 856 | 4 | |u https://revue-sommaire.istex.fr/ark:/67375/8Q1-RM37SDQ1-D |z Accès sur la plateforme Istex | |
| 856 | 4 | |5 452349901:748059016 |u https://ezproxy.univ-orleans.fr/login?url=https://doi.org/10.1007/3-540-44464-5 |z Accès Université d'Orléans | |
| 856 | 4 | |5 180339901:751510505 |u https://ezproxy.insa-cvl.fr/login?qurl=https://doi.org/10.1007/3-540-44464-5 |z Accès INSA CVL | |
| 997 | |0 948640 |1 Livre numérique |a Ressource numérique |b INSA |b ENSA |c 0/Bibliothèque numérique/ |c 1/Bibliothèque numérique/Autre ressource numérique/ | ||