Volume 11,Issue 2,2000 Table of Contents

Other Issues:  
  
Contents

  • Mining Association Rules with Linguistic Cloud Models
  • LI De-yi,DI Kai-chang,LI De-ren and SHI Xue-mei
  • 2000,11(2):143-158 [Abstract(3438)]  [View PDF(3154)2.53 M]
  • Effect of Adaptive Interval Configuration on Parallel Mining Association Rules
  • HU Kan,XIA Shao-wei and XIA Shao-wei
  • 2000,11(2):159-172 [Abstract(2531)]  [View PDF(2931)845.36 K]
  • Java Compiler Technology and Java Performance
  • JI Zhen-yan and CHENG Hu
  • 2000,11(2):173-178 [Abstract(2473)]  [View PDF(4312)377.85 K]
  • Enhancing Dataflow Analysis with Computation Function Model
  • HU Shi-liang,ZANG Bin-yu and ZHU Chuan-qi
  • 2000,11(2):187-194 [Abstract(2052)]  [View PDF(2345)544.47 K]
  • Automatic Identification of Chinese Maximal Noun Phrases
  • ZHOU Qiang,SUN Mao-song and HUANG Chang-ning
  • 2000,11(2):195-201 [Abstract(2788)]  [View PDF(3036)483.80 K]
  • Linear Cryptanalysis of LOKI97
  • WU Wen-ling,LI Bao,FENG Deng-guo and QING Si-han
  • 2000,11(2):202-206 [Abstract(1925)]  [View PDF(2494)319.85 K]
  • Conformance Testing on Internet IP v4 Based on Protocol Integrated Test System
  • WANG Jian-guo,WU Jian-ping,CHEN Xiu-huan and FENG Xiao-dong
  • 2000,11(2):207-212 [Abstract(2112)]  [View PDF(2623)781.05 K]
  • The Verification Logic for Secure Protocols
  • BAI Shuo,SUI Li-ying,CHEN Qing-feng,FU Yan and ZHUANG Chao
  • 2000,11(2):213-221 [Abstract(2400)]  [View PDF(2511)531.05 K]
  • Query Decomposition and Optimization in Heterogeneous Data Integration System
  • WANG Ning and WANG Neng-bin
  • 2000,11(2):222-228 [Abstract(2476)]  [View PDF(2963)538.86 K]
  • Automatic Verification of a Class of Concurrent Real-Time Systems
  • ZHAO Jian-hua,ZHENG Guo-liang and Dan Van Hung
  • 2000,11(2):229-234 [Abstract(2250)]  [View PDF(2201)404.04 K]
  • Rollback Algorithm and Crash Recovery Based on Fault-Sensitive Graphs
  • LIU Ying,CHEN Dao-xu,XIE Li and CAO Jian-nong
  • 2000,11(2):235-239 [Abstract(2230)]  [View PDF(2413)348.33 K]
  • The Secure Electronic Transactions Protocol and Its Logical Verification with Non-Monotomic Dynamic Logic
  • CHEN Qing-feng,BAI Shuo,WANG Ju,ZHANG Shi-chao and Sui Li-ying
  • 2000,11(2):240-250 [Abstract(2489)]  [View PDF(2036)675.61 K]
  • A Performance Analysis Model and Its Implementation for Network Management
  • LI Mu-jin and WANG Guang-xing
  • 2000,11(2):251-255 [Abstract(2623)]  [View PDF(2443)324.46 K]
  • A Mean Field Annealing-Based Algorithm for k-Colorable Problem
  • HU Wei-ming,XU Jun-hua and HE Zhi-jun
  • 2000,11(2):256-259 [Abstract(2371)]  [View PDF(2251)288.67 K]
  • A Near-Optimal Approximation Algorithm for Manhattan Steiner Tree
  • MA Jun,YANG Bo and MA Shao-han
  • 2000,11(2):260-264 [Abstract(2872)]  [View PDF(2503)339.65 K]
  • Integrated Processing Strategies for Spatial Query and Path Search
  • WU Jing,JING Ning and CHEN Luo
  • 2000,11(2):265-270 [Abstract(2939)]  [View PDF(2615)388.31 K]
  • Automatic Corpus Selecting Algorithm Based on Triphone Models
  • WU Hua,XU Bo and HUANG Tai-yi
  • 2000,11(2):271-276 [Abstract(2587)]  [View PDF(3013)433.20 K]
  • Research on the Shift Controlling Algorithm of Global and Immediate Focuses in Text Planning
  • YAO Tian-fang and TANG Xue-yan
  • 2000,11(2):277-284 [Abstract(2376)]  [View PDF(2470)567.11 K]
  • Review Articles

  • Analysis of Broadband IP Router Architecture
  • XU Ke,XIONG Yong-qiang and WU Jian-ping
  • 2000,11(2):179-186 [Abstract(4343)]  [View PDF(3690)610.62 K]