Volume 20,Issue 3,2009 Table of Contents
Fixpoint Semantics and Reasoning of Terminological Cycles in Description Logic εLNJIANG Yun-Cheng,WANG Ju,SHI Zhong-Zhi and TANG Yong2009,20(3):477-490 [Abstract(5202)] [View PDF(5799)863.13 K]Semantics and Reasoning of Description Logic μALCQOJIANG Yun-Cheng,WANG Ju,TANG Yong and DENG Pei-Min2009,20(3):491-504 [Abstract(4752)] [View PDF(6044)729.56 K]On the Step Problem for Petri NetsPAN Li,ZHAO Wei-Dong,WANG Zhi-Cheng,ZHOU Xin-Min and LIU Xian-Hui2009,20(3):505-514 [Abstract(5310)] [View PDF(6289)598.58 K]Satisfiability and Compactness of NMG-Logic SystemZHOU Hong-Jun and WANG Guo-Jun2009,20(3):515-523 [Abstract(5065)] [View PDF(5942)629.28 K]Random-QoS-Aware Reliable Web Service CompositionFAN Xiao-Qin,JIANG Chang-Jun,WANG Jun-Li and PANG Shan-Chen2009,20(3):546-556 [Abstract(6139)] [View PDF(8299)619.06 K]Adaptive Agent Negotiation for Software Process ModelingLI Nao,LI Ming-Shu,WANG Qing,ZHAO Chen and DU Shuan-Zhu2009,20(3):557-566 [Abstract(5258)] [View PDF(5691)598.65 K]Fuzzy Multi-Attribute Decision Making-Based Algorithm for Semantic Web ServiceCompositionLI Zhen,YANG Fang-Chun and SU Sen2009,20(3):583-596 [Abstract(5436)] [View PDF(7896)827.86 K]Refactoring C++ Programs PhysicallyZHOU Tian-Lin,SHI Liang,XU Bao-Wen and ZHOU Yu-Ming2009,20(3):597-607 [Abstract(5433)] [View PDF(6661)615.94 K]QoS Differentiation Based Adaptive p-Persistent MAC Scheme for Dynamic Optimization of the Channel UtilizationBAI Xiang,MAO Yu-Ming,LENG Su-Peng,MAO Jian-Bing and XIE Jun2009,20(3):608-619 [Abstract(5045)] [View PDF(5912)727.92 K]Internet Registry Mechanism for Preventing Prefix HijacksLIU Xin,ZHU Pei-Dong and PENG Yu-Xing2009,20(3):620-629 [Abstract(5128)] [View PDF(5882)605.03 K]A Scalable Unbiased Sampling Method Based on Multi-Peer Adaptive Random WalkFU Yong-Quan,WANG Yi-Jie and ZHOU Jing2009,20(3):630-643 [Abstract(4360)] [View PDF(5933)849.77 K]Equitable Direction Optimizing and Node Scheduling for Coverage in Directional Sensor NetworksWEN Jun,JIANG Jie and DOU Wen-Hua2009,20(3):644-659 [Abstract(4600)] [View PDF(6302)1.08 M]Self-Adaptive Load Balancing Method in Structured P2P ProtocolXIONG Wei1+,,XIE Dong-Qing,JIAO Bing-Wang and LIU Jie2009,20(3):660-670 [Abstract(5693)] [View PDF(7064)801.29 K]Research on Smart Space Oriented Location Awareness MethodMING Liang,ZHAO Gang,XIE Gui-Hai and WANG Chun-Lei2009,20(3):671-681 [Abstract(5317)] [View PDF(6974)706.42 K]Hash Functions Based on Block CiphersLIN Pin,WU Wen-Ling and WU Chuan-Kun2009,20(3):682-691 [Abstract(5302)] [View PDF(6251)512.57 K]Certificateless Proxy Signature Scheme with Provable SecurityCHEN Hu,ZHANG Fu-Tai and SONG Ru-Shun2009,20(3):692-701 [Abstract(5666)] [View PDF(8364)549.41 K]Simulation of Autumn LeavesCHI Xiao-Yu,SHENG Bin,YANG Meng,CHEN Yan-Yun and WU En-Hua2009,20(3):702-712 [Abstract(5410)] [View PDF(6019)2.21 M]Mesh Simplification for 3D Models with Feature-PreservingLU Wei,ZENG Ding-Hao and PAN Jin-Gui2009,20(3):713-723 [Abstract(4981)] [View PDF(7027)797.01 K]3D Face Deformable Model Based on Feature PointsGONG Xun and WANG Guo-Yin2009,20(3):724-733 [Abstract(4897)] [View PDF(10087)927.47 K]Tone Mapping for High Dynamic Range Image Using a Probabilistic ModelSONG Ming-Li,WANG Hui-Qiong,CHEN Chun,YE Xiu-Qing and GU Wei-Kang2009,20(3):734-743 [Abstract(5190)] [View PDF(7419)933.75 K]A Scheduling Algorithm for Long Duration Transaction Based on Cost of CompensationZHU Rui,GUO Chang-Guo and WANG Huai-Min2009,20(3):744-753 [Abstract(4728)] [View PDF(5938)620.82 K]An Efficient Fine Granularity Multi-Version File SystemXIANG Xiao-Jia,SHU Ji-Wu and ZHENG Wei-Min2009,20(3):754-765 [Abstract(3933)] [View PDF(6215)809.72 K]Scheduling of Real-Time Signal Processing in Cluster-Based Software Radio SystemsZHU Xiao-Min and LU Pei-Zhong2009,20(3):766-778 [Abstract(5404)] [View PDF(5564)863.05 K]
Systematic Review of Software Process Modeling and AnalysisLI Ming-Shu,YANG Qiu-Song and ZHAI Jian2009,20(3):524-545 [Abstract(17277)] [View PDF(22102)1.09 M]Quality Evaluation of Foundational Software PlatformLAN Yu-Qing,ZHAO Tong,GAO Jing,JIE Hui and JIN Mao-Zhong2009,20(3):567-582 [Abstract(8315)] [View PDF(17693)780.38 K]