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(5289)]  [View PDF(7101)959.20 K]

Evaluation Algorithms of a New Kind of Recursive Functions CHEN Hai-Ming 2004,15(9):1277-1291 [Abstract(3923)]  [View PDF(5735)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(5313)]  [View PDF(6021)753.49 K]

Axiomatic Assessment of Logic Coverage Software Testing Criteria LIU Ling and MIAO Huai-Kou 2004,15(9):1301-1310 [Abstract(4436)]  [View PDF(6029)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(3973)]  [View PDF(5122)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(5979)]  [View PDF(6014)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(4324)]  [View PDF(5294)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(4603)]  [View PDF(5869)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(3873)]  [View PDF(5742)875.33 K]

Key Dimension Based High-Dimensional Data Partition Strategy ZHOU Xiang-Min and WANG Guo-Ren 2004,15(9):1361-1374 [Abstract(4254)]  [View PDF(5894)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(4715)]  [View PDF(6204)834.07 K]

Covet Channel Analysis on ANSHENG Secure Operating System QING Si-Han and ZHU Ji-Feng 2004,15(9):1385-1392 [Abstract(4409)]  [View PDF(6401)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(4425)]  [View PDF(4967)1.03 M]

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

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