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(4286)]  [View PDF(5966)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(4512)]  [View PDF(5330)663.51 K]

Topological Characterizations of Automata Theory Based on Quantum Logic GUO Xiu-Hong 2007,18(6):1282-1286 [Abstract(4183)]  [View PDF(4945)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(4355)]  [View PDF(6900)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(4125)]  [View PDF(5634)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(4490)]  [View PDF(6434)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(4194)]  [View PDF(5080)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(4094)]  [View PDF(5279)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(4510)]  [View PDF(6824)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(4080)]  [View PDF(5251)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(3971)]  [View PDF(5434)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(4678)]  [View PDF(5982)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(4607)]  [View PDF(5426)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(4718)]  [View PDF(5677)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(3817)]  [View PDF(5080)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(4232)]  [View PDF(5418)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(4108)]  [View PDF(5390)664.76 K]

Analysis of Two Improved BLP Models HE Jian-Bo,QING Si-Han and WANG Chao 2007,18(6):1501-1509 [Abstract(5005)]  [View PDF(7693)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(4750)]  [View PDF(4965)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(4127)]  [View PDF(5639)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(4607)]  [View PDF(6971)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(7580)]  [View PDF(9199)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(8637)]  [View PDF(10492)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(9801)]  [View PDF(12659)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(9971)]  [View PDF(12352)700.42 K]