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(5479)]  [View PDF(6651)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(4415)]  [View PDF(5982)845.36 K]

Java Compiler Technology and Java Performance JI Zhen-yan and CHENG Hu 2000,11(2):173-178 [Abstract(4255)]  [View PDF(7857)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(3714)]  [View PDF(5233)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(5171)]  [View PDF(6311)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(3979)]  [View PDF(5407)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(4000)]  [View PDF(5693)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(4166)]  [View PDF(5654)531.05 K]

Query Decomposition and Optimization in Heterogeneous Data Integration System WANG Ning and WANG Neng-bin 2000,11(2):222-228 [Abstract(4502)]  [View PDF(6171)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(4021)]  [View PDF(5198)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(4125)]  [View PDF(5338)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(4409)]  [View PDF(5188)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(4264)]  [View PDF(5315)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(3997)]  [View PDF(5133)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(4920)]  [View PDF(5526)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(4713)]  [View PDF(5657)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(4365)]  [View PDF(6165)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(4017)]  [View PDF(5535)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(7141)]  [View PDF(8988)610.62 K]