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(3976)]  [View PDF(3690)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(3498)]  [View PDF(3480)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(4127)]  [View PDF(4504)598.58 K]
  • Satisfiability and Compactness of NMG-Logic System
  • ZHOU Hong-Jun and WANG Guo-Jun
  • 2009,20(3):515-523 [Abstract(3580)]  [View PDF(3492)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(4566)]  [View PDF(6093)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(3910)]  [View PDF(3840)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(4146)]  [View PDF(5854)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(3907)]  [View PDF(4447)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(3772)]  [View PDF(3825)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(3716)]  [View PDF(3972)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(3037)]  [View PDF(3828)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(3369)]  [View PDF(4285)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(4575)]  [View PDF(5205)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(3881)]  [View PDF(4514)706.42 K]
  • Hash Functions Based on Block Ciphers
  • LIN Pin,WU Wen-Ling and WU Chuan-Kun
  • 2009,20(3):682-691 [Abstract(3991)]  [View PDF(3849)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(4352)]  [View PDF(6371)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(4046)]  [View PDF(3755)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(3726)]  [View PDF(4233)797.01 K]
  • 3D Face Deformable Model Based on Feature Points
  • GONG Xun and WANG Guo-Yin
  • 2009,20(3):724-733 [Abstract(3331)]  [View PDF(6983)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(3361)]  [View PDF(5267)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(3592)]  [View PDF(4001)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(2865)]  [View PDF(3989)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(4029)]  [View PDF(3587)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(14031)]  [View PDF(14628)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(6095)]  [View PDF(10939)780.38 K]