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(3113)]  [View PDF(3451)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(3163)]  [View PDF(2786)663.51 K]
  • Topological Characterizations of Automata Theory Based on Quantum Logic
  • GUO Xiu-Hong
  • 2007,18(6):1282-1286 [Abstract(2975)]  [View PDF(2732)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(2996)]  [View PDF(3470)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(2807)]  [View PDF(2995)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(3176)]  [View PDF(4082)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(2958)]  [View PDF(2785)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(2879)]  [View PDF(2781)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(3221)]  [View PDF(3728)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(2903)]  [View PDF(3028)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(2865)]  [View PDF(3032)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(3384)]  [View PDF(3405)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(3261)]  [View PDF(2980)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(3308)]  [View PDF(3255)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(2682)]  [View PDF(2859)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(2912)]  [View PDF(3174)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(2948)]  [View PDF(3042)664.76 K]
  • Analysis of Two Improved BLP Models
  • HE Jian-Bo,QING Si-Han and WANG Chao
  • 2007,18(6):1501-1509 [Abstract(3422)]  [View PDF(3473)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(3422)]  [View PDF(2763)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(2930)]  [View PDF(3349)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(3337)]  [View PDF(4186)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(5493)]  [View PDF(5185)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(6263)]  [View PDF(5911)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(7578)]  [View PDF(7977)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(7190)]  [View PDF(6680)700.42 K]