Contents

Research on Model-Checking Based on Petri Nets JANG Yi-Xin,LIN Chuang,QU Yang and YIN Hao 2004,15(9):1265-1276 [Abstract(5989)]  [View PDF(8366)959.20 K]

Evaluation Algorithms of a New Kind of Recursive Functions CHEN Hai-Ming 2004,15(9):1277-1291 [Abstract(4533)]  [View PDF(6735)1.05 M]

A Decomposition Method for Object-Oriented Systems Based on Iterative Analysis of the Directed Weighted Graph LUO Jing,ZHAO Wei,QIN Tao,JIANG Ren-Kuan,ZHANG Lu and SUN Jia-Su 2004,15(9):1292-1300 [Abstract(6017)]  [View PDF(7134)753.49 K]

Axiomatic Assessment of Logic Coverage Software Testing Criteria LIU Ling and MIAO Huai-Kou 2004,15(9):1301-1310 [Abstract(5096)]  [View PDF(7168)785.05 K]

A Data Space Fusion Based Approach for Global Computation and Data Decompositions XIA Jun and YANG Xue-Jun 2004,15(9):1311-1327 [Abstract(4554)]  [View PDF(6215)1.38 M]

Chinese Web Index Page Recommendation Based on Multi-Instance Learning LI Ming,XUE Xiao-Bing and ZHOU Zhi-Hua 2004,15(9):1328-1335 [Abstract(6808)]  [View PDF(7124)1.50 M]

Ordinal Regression in Content-Based Image Retrieval WU Hong,LU Han-Qing and MA Song-De 2004,15(9):1336-1344 [Abstract(4846)]  [View PDF(6299)850.40 K]

A Compounded Genetic and Simulated Annealing Algorithm for Computing Minimal Diagnosis HUANG Jie,CHEN Lin and ZOU Peng 2004,15(9):1345-1350 [Abstract(5694)]  [View PDF(6978)647.25 K]

An Incremental Clustering Algorithm for the Topology Adjustment of Location Databases MA Shuai,TANG Shi-Wei,YANG Dong-Qing and WANG Teng-Jiao 2004,15(9):1351-1360 [Abstract(4564)]  [View PDF(6789)875.33 K]

Key Dimension Based High-Dimensional Data Partition Strategy ZHOU Xiang-Min and WANG Guo-Ren 2004,15(9):1361-1374 [Abstract(4845)]  [View PDF(6970)1.16 M]

PeerIS: A Peer-to-Peer Based Information Retrieval System LING Bo,LU Zhi-Guo,Ng Wee-Siong,QIAN Wei-Ning and ZHOU Ao-Ying 2004,15(9):1375-1384 [Abstract(5475)]  [View PDF(7353)834.07 K]

Covet Channel Analysis on ANSHENG Secure Operating System QING Si-Han and ZHU Ji-Feng 2004,15(9):1385-1392 [Abstract(5077)]  [View PDF(7450)644.85 K]

A Web Site Representation and Mining Algorithm Using the Multiscale Tree Model TIAN Yong-Hong,HUANG Tie-Jun and GAO Wen 2004,15(9):1393-1404 [Abstract(4955)]  [View PDF(6043)1.03 M]

An Adaptive Forward Error Correction Algorithm for Streaming Video MEI Zheng and LI Jin-Tao 2004,15(9):1405-1412 [Abstract(4903)]  [View PDF(7173)752.68 K]

Analysis of Block Coding Strategies in Watermarking Channel GU Li-Min and HUANG Ji-Wu 2004,15(9):1413-1422 [Abstract(4390)]  [View PDF(6550)853.66 K]