Contents

Subnettrees for Strict Pattern Matching with General Gaps and Length Constraints WU You-Xi,LIU Ya-Wei,GUO Lei and WU Xin-Dong 2013,24(5):915-932 [Abstract(6350)]  [View PDF(4859)1.03 M]

Commutativity of Quantum Weakest Liberal Precondition and Its Properties LEI Hong-Xuan,XI Zheng-Jun and LI Yong-Ming 2013,24(5):933-941 [Abstract(4851)]  [View PDF(3734)623.22 K]

Model-Based Change Impact Analysis for Component-Based Software TAO Chuan-Qi,LI Bi-Xin,Jerry GAO and SUN Xiao-Bing 2013,24(5):942-960 [Abstract(5262)]  [View PDF(4249)1.74 M]

From User Requirements to Software Specifications：An Approach Based on Problem Transformation LI Zhi and JIN Zhi 2013,24(5):961-976 [Abstract(5832)]  [View PDF(4900)1.07 M]

Technique of Software Fault Localization Based on Hierarchical Slicing Spectrum WEN Wan-Zhi,LI Bi-Xin,SUN Xiao-Bing and LIU Cui-Cui 2013,24(5):977-992 [Abstract(5898)]  [View PDF(6093)986.02 K]

Sound and Complete Set of Reduction Rules of Free Choice WF-Nets ZHANG Man,DUAN Zhen-Hua and WANG Xiao-Bing 2013,24(5):993-1005 [Abstract(4534)]  [View PDF(3729)909.46 K]

Web-Based Dynamic Multi-Document Summarization System Framework LIU Mei-Ling,REN Hong-E,YU Yang,ZHENG De-Quan and ZHAO Tie-Jun 2013,24(5):1006-1021 [Abstract(4901)]  [View PDF(3899)1001.06 K]

Implicit Discourse Relation Recognition Based on Tree Kernel XU Fan,ZHU Qiao-Ming and ZHOU Guo-Dong 2013,24(5):1022-1035 [Abstract(4777)]  [View PDF(3836)935.04 K]

Subjectivity Ranking of Verbs and Adjectives with an Unlabeled Corpus XU Ge,MENG Xin-Fan and WANG Hou-Feng 2013,24(5):1036-1050 [Abstract(4593)]  [View PDF(4252)982.02 K]

Open Domain New Word Detection Using Condition Random Field Method CHEN Fei,LIU Yi-Qun,WEI Chao,ZHANG Yun-Liang,ZHANG Min and MA Shao-Ping 2013,24(5):1051-1060 [Abstract(5219)]  [View PDF(10534)820.24 K]

Building Entity Relationship Models for PDDL and Developing Planners Based on Stored Procedures RAO Dong-Ning,JIANG Zhi-Hua and JIANG Yun-Fei 2013,24(5):1061-1077 [Abstract(4436)]  [View PDF(6129)1.42 M]

Reliable Dynamic Source Routing Protocol Based on Local Trust System SUN Yu-Xing,XIE Li and CHEN Yi-Fei 2013,24(5):1098-1110 [Abstract(4393)]  [View PDF(4009)1.04 M]

Algebraic Truncated Differential Cryptanalysis of 5-Round Salsa20 GUAN Jie and ZHANG Zhong-Ya 2013,24(5):1111-1126 [Abstract(4619)]  [View PDF(4613)925.00 K]

Extensible User Interface Description Language DU Yi,DENG Chang-Zhi,TIAN Feng,REN Lei and DAI Guo-Zhong 2013,24(5):1127-1142 [Abstract(5429)]  [View PDF(4436)2.15 M]

Sparsity and Smoothing Multi-Regularization Constraints for Blind Image Deblurring TANG Shu,GONG Wei-Guo and ZHONG Jian-Hua 2013,24(5):1143-1154 [Abstract(4337)]  [View PDF(4784)2.07 M]

Weighted Cost Sensitive Locality Preserving Projection for Face Recognition WAN Jian-Wu,YANG Ming,JI Gen-Lin and CHEN Yin-Juan 2013,24(5):1155-1164 [Abstract(4879)]  [View PDF(4866)1.19 M]

Review Articles

Research on OpenFlow-Based SDN Technologies ZUO Qing-Yun,CHEN Ming,ZHAO Guang-Song,XING Chang-You,ZHANG Guo-Min and JIANG Pei-Cheng 2013,24(5):1078-1097 [Abstract(13592)]  [View PDF(19447)1.74 M]