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(6059)]  [View PDF(7704)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(5394)]  [View PDF(7724)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(5978)]  [View PDF(7947)598.58 K]

Satisfiability and Compactness of NMG-Logic System ZHOU Hong-Jun and WANG Guo-Jun 2009,20(3):515-523 [Abstract(5805)]  [View PDF(8323)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(7011)]  [View PDF(10204)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(6042)]  [View PDF(7806)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(6164)]  [View PDF(9938)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(6543)]  [View PDF(8809)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(6259)]  [View PDF(7865)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(5993)]  [View PDF(7758)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(5378)]  [View PDF(7999)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(5457)]  [View PDF(8185)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(6422)]  [View PDF(8811)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(6027)]  [View PDF(9017)706.42 K]

Hash Functions Based on Block Ciphers LIN Pin,WU Wen-Ling and WU Chuan-Kun 2009,20(3):682-691 [Abstract(5993)]  [View PDF(8177)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(6501)]  [View PDF(10619)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(6122)]  [View PDF(8041)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(5938)]  [View PDF(9447)797.01 K]

3D Face Deformable Model Based on Feature Points GONG Xun and WANG Guo-Yin 2009,20(3):724-733 [Abstract(5787)]  [View PDF(12450)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(6709)]  [View PDF(9462)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(5526)]  [View PDF(7791)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(4782)]  [View PDF(8283)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(6108)]  [View PDF(7386)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(18771)]  [View PDF(32608)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(9343)]  [View PDF(21838)780.38 K]