Volume 23,Issue 7,2012 Table of Contents
On the Expressiveness of Context-Sensitive Graph GrammarsZOU Yang,Lü Jian,CAO Chun,HU Hao,SONG Wei and YANG Qi-Liang2012,23(7):1635-1655 [Abstract(5235)] [View PDF(7459)1.12 M]Bounded Model Checking for Probabilistic Computation Tree LogicZHOU Cong-Hua,LIU Zhi-Feng and WANG Chang-Da2012,23(7):1656-1668 [Abstract(5655)] [View PDF(8812)734.14 K]W4H: An Analytical Framework for Software Deployment TechnologiesCHEN Wei,WEI Jun and HUANG Tao2012,23(7):1669-1687 [Abstract(5043)] [View PDF(8144)916.89 K]A Constraint-Based Approach to Identifying and Analyzing Failure-Causing RegionsSUN Chang-Ai2012,23(7):1688-1701 [Abstract(4130)] [View PDF(6744)706.39 K]Genetic Algorithm Based Approach to Personal Worklist Resource SchedulingDENG Tie-Qing,REN Gen-Quan and LIU Ying-Bo2012,23(7):1702-1716 [Abstract(5701)] [View PDF(8161)836.69 K]Loop-Nest Auto-Vectorization Based on SLPWEI Shuai,ZHAO Rong-Cai and YAO Yuan2012,23(7):1717-1728 [Abstract(5261)] [View PDF(7793)613.61 K]Approximation Sets of Rough SetsZHANG Qing-Hua,WANG Guo-Yin and XIAO Yu2012,23(7):1745-1759 [Abstract(6504)] [View PDF(8134)772.09 K]Nature Computation with Self-Adaptive Dynamic Control Strategy of Population SizeWANG Rong-Fang,JIAO Li-Cheng,LIU Fang and YANG Shu-Yuan2012,23(7):1760-1772 [Abstract(5145)] [View PDF(8463)839.34 K]Modified Immune Clonal Constrained Multi-Objective Optimization AlgorithmSHANG Rong-Hua,JIAO Li-Cheng,HU Chao-Xu and MA Jing-Jing2012,23(7):1773-1786 [Abstract(5096)] [View PDF(7285)924.27 K]Visual Word Soft-Histogram for Image RepresentationWANG Yan-Jie,LIU Xia-Bi and JIA Yun-De2012,23(7):1787-1795 [Abstract(4810)] [View PDF(7845)602.71 K]On the Limitation of the Power of Coalitional Normative SystemsWANG Chong-Jun,WU Jun,ZHANG Lei and XIE Jun-Yuan2012,23(7):1796-1804 [Abstract(4561)] [View PDF(5414)513.65 K]Multi-Scale Cooperative Mutation Particle Swarm Optimization AlgorithmTAO Xin-Min,LIU Fu-Rong,LIU Yu and TONG Zhi-Jing2012,23(7):1805-1815 [Abstract(5894)] [View PDF(8722)598.97 K]Improving Coarse-Grained Arc Consistency Algorithms in Solving Constraint Satisfaction ProblemsLI Hong-Bo,LI Zhan-Shan and WANG Tao2012,23(7):1816-1823 [Abstract(5044)] [View PDF(7595)448.76 K]Active Routing Based Intra-Domain Mobility Management for Wireless Mesh NetworksZHANG Yu-Jun,ZHANG Han-Wen and XU Zhi-Jun2012,23(7):1838-1848 [Abstract(5050)] [View PDF(6824)761.97 K]TypeSampler: A Type Sampling Approach Based on GossipZHENG Zhong,WANG Yi-Jie,MA Xing-Kong and YANG Yong-Tao2012,23(7):1849-1868 [Abstract(4686)] [View PDF(6652)1.15 M]JPEG Steganalysis Based on Feature Fusion by Principal Component AnalysisHUANG Wei,ZHAO Xian-Feng,FENG Deng-Guo and SHENG Ren-Nong2012,23(7):1869-1879 [Abstract(5641)] [View PDF(8198)754.67 K]Efficiency Evaluation Model of System Security Measures in the Given Vulnerabilities SetWU Di,FENG Deng-Guo,LIAN Yi-Feng and CHEN Kai2012,23(7):1880-1898 [Abstract(4751)] [View PDF(8254)1022.97 K]Cryptographic Properties of BOMMYANG Xiao,FAN Xiu-Bin,WU Chuan-Kun,YU Yu-Yin and FENG Xiu-Tao2012,23(7):1899-1907 [Abstract(5311)] [View PDF(9627)512.14 K]Origin Authentication Scheme Against BGP Address Prefix HijackingLIU Zhi-Hui,SUN Bin,GU Li-Ze and YANG Yi-Xian2012,23(7):1908-1923 [Abstract(5414)] [View PDF(8252)916.93 K]A Demand Based Packet Scheduling Algorithm for Multipath TransferCAO Yu and XU Ming-Wei2012,23(7):1924-1934 [Abstract(4791)] [View PDF(8322)812.00 K]
Research on Resolving Object Coreference on the Semantic WebHU Wei,BAI Wen-Yang and QU Yu-Zhong2012,23(7):1729-1744 [Abstract(8270)] [View PDF(9951)826.66 K]MAC Protocols for Cognitive Radio NetworksKAN Bao-Qiang,FAN Jian-Hua and WANG Jian-Ye2012,23(7):1824-1837 [Abstract(8795)] [View PDF(13545)780.12 K]
