Return to home page
Searching: Muskingum library catalog
Some OPAL libraries remain closed or are operating at reduced service levels. Materials from those libraries may not be requestable; requested items may take longer to arrive. Note that pickup procedures may differ between libraries. Please contact your library for new procedures, specific requests, or other assistance.
Record 1 of 4
  Previous Record Previous Item Next Item Next Record
  Reviews, Summaries, etc...
Conference Asian Computing Science Conference (6th : 2000 : Pulau Pinang, Malaysia)
Title Advances in computing science - ASIAN 2000 : 6th Asian Computing Science Conference, Penang, Malaysia, November 2000 : proceedings / Jifeng He, Masahiko Sato (eds.).
Imprint Berlin ; New York : Springer, 2000.

View online
View online
Conference Asian Computing Science Conference (6th : 2000 : Pulau Pinang, Malaysia)
Series Lecture notes in computer science ; 1961.
Lecture notes in computer science ; 1961.
Subject Computer science -- Congresses.
Alt Name He, Jifeng, 1943-
Sato, Masahiko, 1947-
Ohio Library and Information Network.
Description x, 298 pages : illustrations ; 24 cm.
Bibliography Note Includes bibliographical references and index.
Contents Finite digital synchronous circuits are characterized by 2-algebraic truth tables / Jean Vuillemin -- Performance evaluation of networks: new problems and challenges / Alain Jean-Marie -- Emerging patterns and classification / Jinyan Li, Kotagiri Ramamohanarao, Guozhu Dong -- IPv6 performance analysis on freeBSD workstation using simple applicaitons / K. Ettikan, V. Ganapathy -- Performance of location caching scheme to support call locality in wireless networks / DongChun Lee, JeomGoo Kim, JooSeok Song -- Practical parity scheme for tolerating triple disk failures in RAID architectures / Chong-Won Park, Young-Yearl Han -- Genetic algorithm for extended cell assignment problem in wireless ATM network / Der-Dong Din, Shian-Shyong Tseng, Mon-FOng Jiang -- Spatial congruence for ambients is decidable / Silvano Dal Zilio -- Spatio-temporal representation scheme for modeling moving objects in video data / Choon-Bo Shim, Jae-Woo Chang -- Node-to-set disjoint paths problem in rotator graphs / Keiichi Kaneko and Yasuto Suzuki -- On simulation-checking with sequential systems / Antonn Kucera -- Reusing animations in databases for multimedia presentations / Zhiyong Huang [and others] -- Reflecting BDDs in Coq / Kumar Neeraj [and others] -- On model checking synchronised hardware circuits / Martin Leucker -- Safe ambients: control flow analysis and security / Pierpaolo Degano, Francesca Levi, Chiare Bodei -- security types for mobile safe ambients / M. Dezani-Ciancaglini, I. Salvo -- Improving functional logic programs by difference-lists / Elvira Albert [and others] -- New multihop logical topology for reliable broadband communication / U. Bhattacharya, R. Chaki -- New scalable topology for multihop optical networks / U. Bhattacharya, R. Chaki -- On computable tree functions / Masahiro Kimoto, Masako Takahashi -- Sharpening the undecidability of interval temporal logic / Kamal Lodaya.
Access Available to OhioLINK libraries
Summary 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.
Reproduction Electronic reproduction. Columbus, OH : OhioLINK, 2008.
System Details Mode of access: World Wide Web
ISBN 3540414282 (softcover : alk. paper)
9783540414285 (softcover : alk. paper)
OCLC # 644376700
Link OhioLINK electronic book center (OCoLC)180989150.
SpringerLink (OCoLC)43927870.
Additional Format Asian Computing Science Conference (6th : 2000 : Penang, Malaysia) Advances in computing science - ASIAN 2000 : 6th Asian Computing Science Conference, Penang, Malaysia, November 2000 : proceedings (OCoLC)45363629.

If you experience difficulty accessing or navigating this content, please contact the OPAL Support Team