1000-9825
2000 Issue 2
The Verification Logic for Secure Protocols
BAI Shuo;SUI Li-ying;CHEN Qing-feng;FU Yan;ZHUANG Chao
BAI Shuo;SUI Li-ying;CHEN Qing-feng;FU Yan;ZHUANG Chao
..............page:213-221
Conformance Testing on Internet IP v4 Based on Protocol Integrated Test System
WANG Jian-guo;WU Jian-ping;CHEN Xiu-huan;FENG Xiao-dong
WANG Jian-guo;WU Jian-ping;CHEN Xiu-huan;FENG Xiao-dong
..............page:207-212
Linear Cryptanalysis of LOKI97
WU Wen-ling;LI Bao;FENG Deng-guo;QING Si-han
WU Wen-ling;LI Bao;FENG Deng-guo;QING Si-han
..............page:202-206
Automatic Identification of Chinese Maximal Noun Phrases
ZHOU Qiang;SUN Mao-song;HUANG Chang-ning
ZHOU Qiang;SUN Mao-song;HUANG Chang-ning
..............page:195-201
Java Compiler Technology and Java Performance
JI Zhen-yan;CHENG Hu
JI Zhen-yan;CHENG Hu
..............page:173-178
Effect of Adaptive Interval Configuration on Parallel Mining Association Rules
HU Kan;CHEUNG D W;XIA Shao-wei
HU Kan;CHEUNG D W;XIA Shao-wei
..............page:159-172
Mining Association Rules with Linguistic Cloud Models
LI De-yi;DI Kai-chang;LI De-ren;SHI Xue-mei
LI De-yi;DI Kai-chang;LI De-ren;SHI Xue-mei
..............page:143-158
Analysis of Broadband IP Router Architecture
XU Ke;XIONG Yong-qiang;WU Jian-ping
XU Ke;XIONG Yong-qiang;WU Jian-ping
..............page:179-186
Enhancing Dataflow Analysis with Computation Function Model
HU Shi-liang;ZANG Bin-yu;ZHU Chuan-qi
HU Shi-liang;ZANG Bin-yu;ZHU Chuan-qi
..............page:187-194
Query Decomposition and Optimization in Heterogeneous Data Integration System
WANG Ning;WANG Neng-bin
WANG Ning;WANG Neng-bin
..............page:222-228
Automatic Verification of a Class of Concurrent Real-Time Systems
ZHAO Jian-hua;ZHENG Guo-liang;Dan Van Hung
ZHAO Jian-hua;ZHENG Guo-liang;Dan Van Hung
..............page:229-234
Rollback Algorithm and Crash Recovery Based on Fault-Sensitive Graphs
LIU Ying;CHEN Dao-xu;XIE Li;CAO Jian-nong
LIU Ying;CHEN Dao-xu;XIE Li;CAO Jian-nong
..............page:235-239
The Secure Electronic Transactions Protocol and Its Logical Verification with Non-Monotomic Dynamic Logic
CHEN Qing-feng;BAI Shuo;WANG Ju;ZHANG Shi-chao;Sui Li-ying
CHEN Qing-feng;BAI Shuo;WANG Ju;ZHANG Shi-chao;Sui Li-ying
..............page:240-250
A Performance Analysis Model and Its Implementation for Network Management
LI Mu-jin;WANG Guang-xing
LI Mu-jin;WANG Guang-xing
..............page:251-255
A Mean Field Annealing-Based Algorithm for k-Colorable Problem
HU Wei-ming;XU Jun-hua;HE Zhi-jun
HU Wei-ming;XU Jun-hua;HE Zhi-jun
..............page:256-259
A Near-Optimal Approximation Algorithm for Manhattan Steiner Tree
MA Jun;YANG Bo;MA Shao-han
MA Jun;YANG Bo;MA Shao-han
..............page:260-264
Integrated Processing Strategies for Spatial Query and Path Search
WU Jing;JING Ning;CHEN Luo
WU Jing;JING Ning;CHEN Luo
..............page:265-270
Automatic Corpus Selecting Algorithm Based on Triphone Models
WU Hua;XU Bo;HUANG Tai-yi
WU Hua;XU Bo;HUANG Tai-yi
..............page:271-276
Research on the Shift Controlling Algorithm of Global and Immediate Focuses in Text Planning
YAO Tian-fang;TANG Xue-yan
YAO Tian-fang;TANG Xue-yan
..............page:277-284