Contents

Fuzzy Description Logic for Semantics Representation of the Semantic Web JIANG Yun-Cheng,SHI Zhong-Zhi,TANG Yong and WANG Ju 2007,18(6):1257-1269 [Abstract(4253)]  [View PDF(5369)972.84 K]

Compositional Model Checking and Compositional Refinement Checking of Concurrent Reactive Systems WEN Yan-Jun,WANG Ji and QI Zhi-Chang 2007,18(6):1270-1281 [Abstract(4453)]  [View PDF(4701)663.51 K]

Topological Characterizations of Automata Theory Based on Quantum Logic GUO Xiu-Hong 2007,18(6):1282-1286 [Abstract(4116)]  [View PDF(4380)321.48 K]

An Approach of Constructing Multi-Objective Pareto Optimal Solutions Using Arena's Principle ZHENG Jin-Hua,JIANG Hao,KUANG Da and SHI Zhong-Zhi 2007,18(6):1287-1297 [Abstract(4287)]  [View PDF(5862)852.93 K]

A Motif Finding Algorithm Based on Color Coding Technology WANG Jian-Xin,HUANG Yuan-Nan and CHEN Jian-Er 2007,18(6):1298-1307 [Abstract(4069)]  [View PDF(4965)689.13 K]

Distributed Topology Control Algorithm for Ad Hoc Networks Using Directional Antennas HE Peng,LI Jian-Dong,CHEN Yan-Hui and CHEN Liang 2007,18(6):1308-1318 [Abstract(4416)]  [View PDF(5852)813.23 K]

A Parallel Time-Memory-Processor Tradeoff O(25n/6) for Knapsack-Like NP-Complete Problems LI Ken-Li,ZHAO Huan,LI Ren-Fa and LI Qing-Hua 2007,18(6):1319-1327 [Abstract(4136)]  [View PDF(4527)622.25 K]

Research on Relations of Effect of Action for STRIPS Domain WU Xiang-Jun,JIANG Yun-Fei and LING Ying-Biao 2007,18(6):1328-1349 [Abstract(4055)]  [View PDF(4667)1.51 M]

Camera Calibration and 3D Reconstruction Using Parallelism Constraint DUAN Fu-Qing,WU Fu-Chao and HU Zhan-Yi 2007,18(6):1350-1360 [Abstract(4418)]  [View PDF(6220)714.96 K]

A Negative Selection Algorithm with the Variable Length Detector HE Shen,LUO Wen-Jian and WANG Xu-Fa 2007,18(6):1361-1368 [Abstract(4029)]  [View PDF(4664)469.22 K]

An Ensemble Approach to Intrusion Detection Based on Improved Multi-Objective Genetic Algorithm YU Yan and HUANG Hao 2007,18(6):1369-1378 [Abstract(3897)]  [View PDF(4854)586.56 K]

A High Dimensional Data Indexing Technique Based on Max Gap Space Mapping WANG Guo-Ren,HUANG Jian-Mei,WANG Bin,HAN Dong-Hong,QIAO Bai-You and YU Ge 2007,18(6):1419-1428 [Abstract(4619)]  [View PDF(5263)642.83 K]

F-Index: A Flattened Structural Index for Speeding up Twig Query Processing ZHOU Jun-Feng,MENG Xiao-Feng,JIANG Yu and XIE Min 2007,18(6):1429-1442 [Abstract(4534)]  [View PDF(4885)883.33 K]

Multi-Dimensional Range Search in Unstructured Peer-to-Peer Systems XU Lin-Hao,QIAN Wei-Ning and ZHOU Ao-Ying 2007,18(6):1443-1455 [Abstract(4665)]  [View PDF(5144)804.36 K]

A Multi-Replica Clustering Management Method Based on Limited-Coding ZHOU Jing,WANG Yi-Jie and LI Si-Kun 2007,18(6):1456-1467 [Abstract(3764)]  [View PDF(4552)774.81 K]

Real-Time Concurrency Control Protocol Based on Accessing Temporal Data HAN Qi-Long and HAO Zhong-Xiao 2007,18(6):1468-1476 [Abstract(4170)]  [View PDF(4897)547.03 K]

An Online Adaptive Bandwidth Allocation Optimization Algorithm for Wireless Multimedia Communication Networks JIANG Qi,XI Hong-Sheng and YIN Bao-Qun 2007,18(6):1491-1500 [Abstract(4043)]  [View PDF(4802)664.76 K]

Analysis of Two Improved BLP Models HE Jian-Bo,QING Si-Han and WANG Chao 2007,18(6):1501-1509 [Abstract(4890)]  [View PDF(5858)561.44 K]

Parameter Optimization-Based Batching TLS Protocol QI Fang,JIA Wei-Jia,BAO Feng,WU Yong-Dong and WANG Guo-Jun 2007,18(6):1522-1530 [Abstract(4696)]  [View PDF(4389)672.38 K]

Real-Time Rendering Depth Images on GPU by Forward Warping LIU Bao-Quan,LIU Xue-Hui and WU En-Hua 2007,18(6):1531-1542 [Abstract(4048)]  [View PDF(5087)739.03 K]

Geodesic-Based Constrained Deformations for Polygonal Mesh Models ZHOU Yan,LIU Sheng-Jun,JIN Xiao-Gang,FENG Jie-Qing and YE Xiao-Feng 2007,18(6):1543-1552 [Abstract(4567)]  [View PDF(6399)642.44 K]

Review Articles

Study on Durable Peer-to-Peer Storage Techniques TIAN Jing and DAI Ya-Fei 2007,18(6):1379-1399 [Abstract(7506)]  [View PDF(8036)1.06 M]

Querying Techniques for XML Data KONG Ling-Bo,TANG Shi-Wei,YANG Dong-Qing,WANG Teng-Jiao and GAO Jun 2007,18(6):1400-1418 [Abstract(8526)]  [View PDF(9339)1.08 M]

Research on Transmission Control on Vehicle Ad-Hoc Network CHEN Li-Jia,JIANG Hao,WU Jing,GUO Cheng-Cheng,XU Wu-Ping and YAN Pu-Liu 2007,18(6):1477-1490 [Abstract(9742)]  [View PDF(11400)890.16 K]

Research on Dynamic Trust Model for Large Scale Distributed Environment LI Xiao-Yong and GUI Xiao-Lin 2007,18(6):1510-1521 [Abstract(9872)]  [View PDF(10158)700.42 K]