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(3066)]  [View PDF(3431)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(3126)]  [View PDF(2758)663.51 K]
  • Topological Characterizations of Automata Theory Based on Quantum Logic
  • GUO Xiu-Hong
  • 2007,18(6):1282-1286 [Abstract(2923)]  [View PDF(2708)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(2939)]  [View PDF(3448)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(2773)]  [View PDF(2971)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(3117)]  [View PDF(4059)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(2893)]  [View PDF(2761)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(2837)]  [View PDF(2754)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(3150)]  [View PDF(3687)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(2855)]  [View PDF(3000)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(2825)]  [View PDF(3006)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(3333)]  [View PDF(3383)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(3209)]  [View PDF(2959)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(3276)]  [View PDF(3236)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(2636)]  [View PDF(2839)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(2862)]  [View PDF(3152)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(2913)]  [View PDF(3016)664.76 K]
  • Analysis of Two Improved BLP Models
  • HE Jian-Bo,QING Si-Han and WANG Chao
  • 2007,18(6):1501-1509 [Abstract(3358)]  [View PDF(3454)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(3383)]  [View PDF(2741)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(2876)]  [View PDF(3328)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(3288)]  [View PDF(4162)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(5408)]  [View PDF(5160)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(6164)]  [View PDF(5881)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(7458)]  [View PDF(7950)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(7072)]  [View PDF(6649)700.42 K]