Volume 18,Issue 6,2007 Table of Contents

Other Issues:  
  
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(3195)]  [View PDF(3498)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(3244)]  [View PDF(2834)663.51 K]
  • Topological Characterizations of Automata Theory Based on Quantum Logic
  • GUO Xiu-Hong
  • 2007,18(6):1282-1286 [Abstract(3060)]  [View PDF(2769)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(3101)]  [View PDF(3521)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(2881)]  [View PDF(3038)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(3256)]  [View PDF(4122)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(3065)]  [View PDF(2816)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(2965)]  [View PDF(2829)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(3341)]  [View PDF(3801)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(2978)]  [View PDF(3058)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(2918)]  [View PDF(3085)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(3474)]  [View PDF(3433)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(3346)]  [View PDF(3018)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(3374)]  [View PDF(3289)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(2753)]  [View PDF(2892)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(2985)]  [View PDF(3203)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(3011)]  [View PDF(3081)664.76 K]
  • Analysis of Two Improved BLP Models
  • HE Jian-Bo,QING Si-Han and WANG Chao
  • 2007,18(6):1501-1509 [Abstract(3517)]  [View PDF(3510)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(3505)]  [View PDF(2795)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(3041)]  [View PDF(3387)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(3453)]  [View PDF(4216)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(5665)]  [View PDF(5227)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(6475)]  [View PDF(5979)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(7838)]  [View PDF(8026)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(7465)]  [View PDF(6750)700.42 K]