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(3552)]  [View PDF(3202)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(2619)]  [View PDF(2967)845.36 K]
  • Java Compiler Technology and Java Performance
  • JI Zhen-yan and CHENG Hu
  • 2000,11(2):173-178 [Abstract(2540)]  [View PDF(4354)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(2128)]  [View PDF(2376)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(2900)]  [View PDF(3081)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(2005)]  [View PDF(2531)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(2181)]  [View PDF(2671)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(2474)]  [View PDF(2551)531.05 K]
  • Query Decomposition and Optimization in Heterogeneous Data Integration System
  • WANG Ning and WANG Neng-bin
  • 2000,11(2):222-228 [Abstract(2565)]  [View PDF(3025)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(2325)]  [View PDF(2233)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(2305)]  [View PDF(2448)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(2550)]  [View PDF(2073)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(2695)]  [View PDF(2481)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(2440)]  [View PDF(2287)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(2950)]  [View PDF(2554)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(3019)]  [View PDF(2649)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(2664)]  [View PDF(3055)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(2440)]  [View PDF(2501)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(4536)]  [View PDF(3797)610.62 K]