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(4916)]  [View PDF(7126)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(5155)]  [View PDF(6504)663.51 K]

Topological Characterizations of Automata Theory Based on Quantum Logic GUO Xiu-Hong 2007,18(6):1282-1286 [Abstract(4898)]  [View PDF(5959)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(5062)]  [View PDF(8314)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(4814)]  [View PDF(6860)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(5231)]  [View PDF(7614)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(4792)]  [View PDF(6214)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(4752)]  [View PDF(6506)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(5284)]  [View PDF(7952)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(4716)]  [View PDF(6405)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(4720)]  [View PDF(6660)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(5371)]  [View PDF(7238)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(5288)]  [View PDF(6708)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(5517)]  [View PDF(6912)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(4485)]  [View PDF(6206)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(4876)]  [View PDF(6452)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(4898)]  [View PDF(6645)664.76 K]

Analysis of Two Improved BLP Models HE Jian-Bo,QING Si-Han and WANG Chao 2007,18(6):1501-1509 [Abstract(5725)]  [View PDF(8963)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(5469)]  [View PDF(6148)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(4877)]  [View PDF(6830)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(5217)]  [View PDF(8236)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(8350)]  [View PDF(11085)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(9391)]  [View PDF(12417)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(10733)]  [View PDF(14154)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(11031)]  [View PDF(14443)700.42 K]