Volume 20,Issue 3,2009 Table of Contents

Other Issues:  
  
Contents

  • Fixpoint Semantics and Reasoning of Terminological Cycles in Description Logic εLN
  • JIANG Yun-Cheng,WANG Ju,SHI Zhong-Zhi and TANG Yong
  • 2009,20(3):477-490 [Abstract(4289)]  [View PDF(3895)863.13 K]
  • Semantics and Reasoning of Description Logic μALCQO
  • JIANG Yun-Cheng,WANG Ju,TANG Yong and DENG Pei-Min
  • 2009,20(3):491-504 [Abstract(3860)]  [View PDF(3727)729.56 K]
  • On the Step Problem for Petri Nets
  • PAN Li,ZHAO Wei-Dong,WANG Zhi-Cheng,ZHOU Xin-Min and LIU Xian-Hui
  • 2009,20(3):505-514 [Abstract(4524)]  [View PDF(4734)598.58 K]
  • Satisfiability and Compactness of NMG-Logic System
  • ZHOU Hong-Jun and WANG Guo-Jun
  • 2009,20(3):515-523 [Abstract(3988)]  [View PDF(3786)629.28 K]
  • Random-QoS-Aware Reliable Web Service Composition
  • FAN Xiao-Qin,JIANG Chang-Jun,WANG Jun-Li and PANG Shan-Chen
  • 2009,20(3):546-556 [Abstract(5038)]  [View PDF(6449)619.06 K]
  • Adaptive Agent Negotiation for Software Process Modeling
  • LI Nao,LI Ming-Shu,WANG Qing,ZHAO Chen and DU Shuan-Zhu
  • 2009,20(3):557-566 [Abstract(4283)]  [View PDF(4063)598.65 K]
  • Fuzzy Multi-Attribute Decision Making-Based Algorithm for Semantic Web ServiceComposition
  • LI Zhen,YANG Fang-Chun and SU Sen
  • 2009,20(3):583-596 [Abstract(4489)]  [View PDF(6162)827.86 K]
  • Refactoring C++ Programs Physically
  • ZHOU Tian-Lin,SHI Liang,XU Bao-Wen and ZHOU Yu-Ming
  • 2009,20(3):597-607 [Abstract(4257)]  [View PDF(4648)615.94 K]
  • QoS Differentiation Based Adaptive p-Persistent MAC Scheme for Dynamic Optimization of the Channel Utilization
  • BAI Xiang,MAO Yu-Ming,LENG Su-Peng,MAO Jian-Bing and XIE Jun
  • 2009,20(3):608-619 [Abstract(4125)]  [View PDF(4106)727.92 K]
  • Internet Registry Mechanism for Preventing Prefix Hijacks
  • LIU Xin,ZHU Pei-Dong and PENG Yu-Xing
  • 2009,20(3):620-629 [Abstract(4071)]  [View PDF(4218)605.03 K]
  • A Scalable Unbiased Sampling Method Based on Multi-Peer Adaptive Random Walk
  • FU Yong-Quan,WANG Yi-Jie and ZHOU Jing
  • 2009,20(3):630-643 [Abstract(3385)]  [View PDF(4101)849.77 K]
  • Equitable Direction Optimizing and Node Scheduling for Coverage in Directional Sensor Networks
  • WEN Jun,JIANG Jie and DOU Wen-Hua
  • 2009,20(3):644-659 [Abstract(3703)]  [View PDF(4545)1.08 M]
  • Self-Adaptive Load Balancing Method in Structured P2P Protocol
  • XIONG Wei1+,,XIE Dong-Qing,JIAO Bing-Wang and LIU Jie
  • 2009,20(3):660-670 [Abstract(4933)]  [View PDF(5503)801.29 K]
  • Research on Smart Space Oriented Location Awareness Method
  • MING Liang,ZHAO Gang,XIE Gui-Hai and WANG Chun-Lei
  • 2009,20(3):671-681 [Abstract(4292)]  [View PDF(4962)706.42 K]
  • Hash Functions Based on Block Ciphers
  • LIN Pin,WU Wen-Ling and WU Chuan-Kun
  • 2009,20(3):682-691 [Abstract(4294)]  [View PDF(4086)512.57 K]
  • Certificateless Proxy Signature Scheme with Provable Security
  • CHEN Hu,ZHANG Fu-Tai and SONG Ru-Shun
  • 2009,20(3):692-701 [Abstract(4758)]  [View PDF(6586)549.41 K]
  • Simulation of Autumn Leaves
  • CHI Xiao-Yu,SHENG Bin,YANG Meng,CHEN Yan-Yun and WU En-Hua
  • 2009,20(3):702-712 [Abstract(4393)]  [View PDF(4119)2.21 M]
  • Mesh Simplification for 3D Models with Feature-Preserving
  • LU Wei,ZENG Ding-Hao and PAN Jin-Gui
  • 2009,20(3):713-723 [Abstract(4038)]  [View PDF(4504)797.01 K]
  • 3D Face Deformable Model Based on Feature Points
  • GONG Xun and WANG Guo-Yin
  • 2009,20(3):724-733 [Abstract(3784)]  [View PDF(7886)927.47 K]
  • Tone Mapping for High Dynamic Range Image Using a Probabilistic Model
  • SONG Ming-Li,WANG Hui-Qiong,CHEN Chun,YE Xiu-Qing and GU Wei-Kang
  • 2009,20(3):734-743 [Abstract(3716)]  [View PDF(5617)933.75 K]
  • A Scheduling Algorithm for Long Duration Transaction Based on Cost of Compensation
  • ZHU Rui,GUO Chang-Guo and WANG Huai-Min
  • 2009,20(3):744-753 [Abstract(3891)]  [View PDF(4324)620.82 K]
  • An Efficient Fine Granularity Multi-Version File System
  • XIANG Xiao-Jia,SHU Ji-Wu and ZHENG Wei-Min
  • 2009,20(3):754-765 [Abstract(3148)]  [View PDF(4391)809.72 K]
  • Scheduling of Real-Time Signal Processing in Cluster-Based Software Radio Systems
  • ZHU Xiao-Min and LU Pei-Zhong
  • 2009,20(3):766-778 [Abstract(4386)]  [View PDF(3841)863.05 K]
  • Review Articles

  • Systematic Review of Software Process Modeling and Analysis
  • LI Ming-Shu,YANG Qiu-Song and ZHAI Jian
  • 2009,20(3):524-545 [Abstract(15076)]  [View PDF(16214)1.09 M]
  • Quality Evaluation of Foundational Software Platform
  • LAN Yu-Qing,ZHAO Tong,GAO Jing,JIE Hui and JIN Mao-Zhong
  • 2009,20(3):567-582 [Abstract(6620)]  [View PDF(11724)780.38 K]