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(5280)]  [View PDF(6537)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(4837)]  [View PDF(6716)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(5403)]  [View PDF(6969)598.58 K]

Satisfiability and Compactness of NMG-Logic System ZHOU Hong-Jun and WANG Guo-Jun 2009,20(3):515-523 [Abstract(5140)]  [View PDF(6830)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(6269)]  [View PDF(9029)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(5360)]  [View PDF(6607)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(5548)]  [View PDF(8712)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(5566)]  [View PDF(7697)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(5152)]  [View PDF(6745)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(5241)]  [View PDF(6700)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(4433)]  [View PDF(6761)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(4725)]  [View PDF(6997)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(5756)]  [View PDF(7727)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(5436)]  [View PDF(7804)706.42 K]

Hash Functions Based on Block Ciphers LIN Pin,WU Wen-Ling and WU Chuan-Kun 2009,20(3):682-691 [Abstract(5410)]  [View PDF(7081)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(5747)]  [View PDF(9319)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(5504)]  [View PDF(6802)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(5115)]  [View PDF(8155)797.01 K]

3D Face Deformable Model Based on Feature Points GONG Xun and WANG Guo-Yin 2009,20(3):724-733 [Abstract(5009)]  [View PDF(11026)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(5351)]  [View PDF(8254)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(4802)]  [View PDF(6619)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(4012)]  [View PDF(6955)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(5513)]  [View PDF(6270)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(17541)]  [View PDF(24793)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(8463)]  [View PDF(19761)780.38 K]