Volume 21,Issue 7,2010 Table of Contents
Subtyping Algorithm with Pruning OptimizationDAI Xiao-Jun and CHEN Hai-Ming2010,21(7):1481-1490 [Abstract(5040)] [View PDF(7114)571.22 K]Improved SMT-Based Bounded Model Checking for Real-Time SystemsXU Liang2010,21(7):1491-1502 [Abstract(5831)] [View PDF(8330)631.43 K]Research on Relationship Between Patterns and Text in String Matching AlgorithmsLIU Ping,LIU Ping,LIU Yan-Bing,GUO Li and FANG Bin-Xing2010,21(7):1503-1514 [Abstract(5472)] [View PDF(8168)1007.40 K]Improved Parameterized Algorithm for the Multicut ProblemLIU Yun-Long,WANG Jian-Xin and CHEN Jian-Er2010,21(7):1515-1523 [Abstract(5920)] [View PDF(7386)663.52 K]Graph-Based Optimal Cache Deployment Algorithm for Distributed Caching SystemsLI Wen-Zhong,CHEN Dao-Xu and LU Sang-Lu2010,21(7):1524-1535 [Abstract(5875)] [View PDF(8025)665.38 K]Specification-Based Logic Coverage Testing CriteriaQIAN Zhong-Sheng and MIAO Huai-Kou2010,21(7):1536-1549 [Abstract(5659)] [View PDF(7624)746.98 K]Skyband Cardinality Estimation Based on the Inclusion-Exclusion PrincipleZHAO Jia-Kui,YANG Dong-Qing and CHEN Li-Jun2010,21(7):1550-1560 [Abstract(5322)] [View PDF(7396)797.43 K]Maximum Lifetime Genetic Routing Algorithm in Wireless Sensor NetworksTANG Wei and GUO Wei2010,21(7):1646-1656 [Abstract(5782)] [View PDF(8604)680.53 K]Cross-Layer Optimal Congestion Control Scheme in Mobile Ad Hoc NetworksXU Wei-Qiang,WANG Ya-Ming,YU Cheng-Hai,LIU Liang-Gui and ZHANG Yun-Hua2010,21(7):1667-1678 [Abstract(6097)] [View PDF(10072)705.74 K]Dynamic Key Management Scheme for Wireless Sensor NetworkKONG Fan-Rui and LI Chun-Wen2010,21(7):1679-1691 [Abstract(5930)] [View PDF(8195)696.61 K]Adaptively Imperceptible Video Watermarking Algorithm Using Entropy ModelLI Zhi and CHEN Xiao-Wei2010,21(7):1692-1703 [Abstract(6310)] [View PDF(7778)725.30 K]Enhancing the Ability of Inter-Domain IP Spoofing PreventionLü Gao-Feng,SUN Zhi-Gang and LU Xi-Cheng2010,21(7):1704-1716 [Abstract(5452)] [View PDF(8182)947.72 K]Provably Secure Approach for Multiple Node-Disjoint Paths Source Routing ProtocolFENG Tao,GUO Xian,MA Jian-Feng and LI Xing-Hua2010,21(7):1717-1731 [Abstract(5138)] [View PDF(7722)733.96 K]Compact Routing Scheme for Scale-Free NetworksTANG Ming-Dong,ZHANG Guo-Qing,YANG Jing and ZHANG Guo-Qiang2010,21(7):1732-1743 [Abstract(5382)] [View PDF(8062)645.41 K]Exact Algorithm for Multi-Constrained Shortest Link-Disjoint PathsXIONG Ke,QIU Zheng-Ding,GUO Yu-Chun,ZHANG Hong-Ke and QIN Ya-Juan2010,21(7):1744-1757 [Abstract(4943)] [View PDF(7788)913.06 K]Construction of Boolean Functions with Maximum Algebraic ImmunityMENG Qiang,CHEN Lu-Sheng and FU Fang-Wei2010,21(7):1758-1767 [Abstract(5081)] [View PDF(7344)580.83 K]Security Analysis of 3GPP Authentication and Key Agreement ProtocolLU Feng,LU Feng,ZHENG Kang-Feng,NIU Xin-Xin,YANG Yi-Xian and LI Zhong-Xian2010,21(7):1768-1782 [Abstract(5804)] [View PDF(11022)872.46 K]
Transport Protocols for Fast Long Distance NetworksREN Yong-Mao,TANG Hai-Na,LI Jun and QIAN Hua-Lin2010,21(7):1576-1588 [Abstract(9672)] [View PDF(16173)664.60 K]Disruption-Free Forwarding Survivable Routing Protocols on InternetSU Jin-Shu,HU Qiao-Lin and ZHAO Bao-Kang2010,21(7):1589-1604 [Abstract(7707)] [View PDF(12678)827.17 K]Research on Cyberspace Situational AwarenessGONG Zheng-Hu and ZHUO Ying2010,21(7):1605-1619 [Abstract(11259)] [View PDF(29630)856.25 K]Broadcasting Methods in Vehicular Ad Hoc NetworksLI Li-Jun,LIU Hong-Fei,YANG Zu-Yuan,GE Li-Jia and HUANG Xi-Yue2010,21(7):1620-1634 [Abstract(13619)] [View PDF(25747)765.23 K]End-System Performance Aware Transport ProtocolsWANG Wei-Hang,REN Yong-Mao,TANG Ming-Jie,LI Jun and QIAN Hua-Lin2010,21(7):1635-1645 [Abstract(8654)] [View PDF(11436)637.59 K]
Clustering Web Images by Correlation Mining of Image-TextWU Fei,HAN Ya-Hong,ZHUANG Yue-Ting and SHAO Jian2010,21(7):1561-1575 [Abstract(7914)] [View PDF(10918)784.24 K]Model of the Resource Addressing in the Internet of ThingsKONG Ning,LI Xiao-Dong,LUO Wan-Ming and YAN Bao-Ping2010,21(7):1657-1666 [Abstract(7868)] [View PDF(10472)566.91 K]
