Contents

Approximate-Backbone Guided Fast Ant Algorithms to QAP ZOU Peng,ZHOU Zhi,CHEN Guo-Liang,JIANG He and GU Jun 2005,16(10):1691-1698 [Abstract(5398)]  [View PDF(6947)549.96 K]

A Practical Algorithm for Haplotyping by Maximum Parsimony ZHANG Qiang-Feng,CHE Hao-Yang,CHEN Guo-Liang and SUN Guang-Zhong 2005,16(10):1699-1707 [Abstract(4666)]  [View PDF(6332)588.96 K]

Effective Synchronization Removal in Concurrent Java Programs WU Ping,CHEN Yi-Yun and ZHANG Jian 2005,16(10):1708-1716 [Abstract(4772)]  [View PDF(7156)487.16 K]

An Extended Resources Model Based on Distributed Cognition Theory WANG Chang-Qing,DENG Chang-Zhi,MA Cui-Xia,HUA Qing-Yi and DAI Guo-Zhong 2005,16(10):1717-1725 [Abstract(4824)]  [View PDF(7241)1.29 M]

A Real-Time Dynamic Voltage Scaling Algorithm Based on Syntax Tree for Low Power YI Hui-Zhan,CHEN Juan,YANG Xue-Jun and LIU Zhe 2005,16(10):1726-1734 [Abstract(4581)]  [View PDF(7512)541.03 K]

Event Constraint Based Software Process Validation GU Qing and CHEN Dao-Xu 2005,16(10):1735-1742 [Abstract(4647)]  [View PDF(6307)541.03 K]

A Formal Method for Analyzing Electronic Commerce Protocols QING Si-Han 2005,16(10):1757-1765 [Abstract(4572)]  [View PDF(6397)412.54 K]

A Minimum Delay Spanning Tree Algorithm for the Application-Layer Multicast CAO Jia and LU Shi-Wen 2005,16(10):1766-1773 [Abstract(5116)]  [View PDF(8374)368.00 K]

A Generic Audit Policy Model on Multilevel Secure DBMS HE Yong-Zhong,LI Lan and FENG Deng-Guo 2005,16(10):1774-1783 [Abstract(4798)]  [View PDF(6237)524.99 K]

Extending the Theory of Strand Spaces SHEN Hai-Feng,XUE Rui,HUANG He-Yan and CHEN Zhao-Xiong 2005,16(10):1784-1789 [Abstract(4656)]  [View PDF(6736)488.57 K]

P2P-Oriented Secure Reliable Storage System CHEN Ming,YANG Guang-Wen,LIU Xue-Zheng,SHI Shu-Ming and WANG Ding-Xing 2005,16(10):1790-1797 [Abstract(4853)]  [View PDF(6761)332.04 K]

A Multiplicative Watermark Detection Algorithm for Digital Images in the DCT Domains SUN Zhong-Wei and FENG Deng-Guo 2005,16(10):1798-1804 [Abstract(5100)]  [View PDF(7567)496.95 K]

An Electronic Voting Scheme LI Yan-Jiang,MA Chuan-Gui and HUANG Liu-Sheng 2005,16(10):1805-1810 [Abstract(4514)]  [View PDF(7280)297.62 K]

A Study of Online Financial Trading Confirmation Scheme CHEN Shun,YAO Qian and XIE Li 2005,16(10):1811-1815 [Abstract(4619)]  [View PDF(6176)300.34 K]

An Anonymous Fingerprinting Scheme Based on Additively Homomorphic Public Key Cryptosystem SUN Zhong-Wei,FENG Deng-Guo and WU Chuan-Kun 2005,16(10):1816-1821 [Abstract(4566)]  [View PDF(7465)250.59 K]

Three Algorithms for Improving the Effectiveness of Software Pipelining:Comparison and Combination LI Wen-Long,CHEN Yu,LIN Hai-Bo and TANG Zhi-Zhong 2005,16(10):1822-1832 [Abstract(4463)]  [View PDF(7543)731.74 K]

Hiding Memory Access Latency in Software Pipelining LIU Li,LI Wen-Long,CHEN Yu,LI Sheng-Mei and TANG Zhi-Zhong 2005,16(10):1833-1841 [Abstract(5947)]  [View PDF(7133)619.93 K]

Optimization to Prevent Cache Penalty in Modulo Scheduling LIU Li,LI Wen-Long,GUO Zhen-Yu,LI Sheng-Mei and TANG Zhi-Zhong 2005,16(10):1842-1852 [Abstract(4875)]  [View PDF(6532)697.82 K]

Summarization of Results of Program Funded by NSFC in the Field of Natural Language Processing in Recent Years XU Lin and ZHAO Tie-Jun 2005,16(10):1853-1858 [Abstract(5340)]  [View PDF(8893)352.46 K]

Review Articles

Research on Theory and Approach of Provable Security FENG Deng-Guo 2005,16(10):1743-1756 [Abstract(11576)]  [View PDF(28080)545.62 K]