Contents

A Reduction Technique of Petri Nets Based on Logic Circuit YE Jian-Hong,SONG Wen and SUN Shi-Xin 2007,18(7):1553-1562 [Abstract(4394)]  [View PDF(6133)734.05 K]

Reasoning Within Extended Fuzzy Description Logic Supporting Terminological Axiom Restrictions KANG Da-Zhou,XU Bao-Wen,LU Jian-Jiang and LI Yan-Hui 2007,18(7):1563-1572 [Abstract(4553)]  [View PDF(5107)479.43 K]

The Complexity of Dual Models Problem of Propositional Linear Temporal Logics WU Zhi-Lin and ZHANG Wen-Hui 2007,18(7):1573-1581 [Abstract(4123)]  [View PDF(4851)598.30 K]

Feature Model Driven Web Services Composition Approach and Its Support Tool XING Yan,GU Fang and MEI Hong 2007,18(7):1582-1591 [Abstract(3986)]  [View PDF(5278)564.42 K]

Sequential Patterns-Based Cache Replacement in Servlet Container LI Yang,ZHANG Wen-Bo,WEI Jun,ZHONG Hua and HUANG Tao 2007,18(7):1592-1602 [Abstract(4729)]  [View PDF(5661)699.64 K]

EfLA Algorithm Based on Dynamic Feedback TANG Feng,WU Cheng-Gang,FENG Xiao-Bing and ZHANG Zhao-Qing 2007,18(7):1603-1611 [Abstract(4427)]  [View PDF(4901)562.14 K]

MDA-Based Model Management Method and Its Application for TRISO-Model YUAN Feng and LI Ming-Shu 2007,18(7):1612-1625 [Abstract(4795)]  [View PDF(5547)758.25 K]

Manufacturing Supply Chain Planning Based on Extended State Task Network SU Sheng,ZHAN De-Chen and XU Xiao-Fei 2007,18(7):1626-1638 [Abstract(3602)]  [View PDF(6000)971.52 K]

Evaluation and Improvement of Vertical Handoff Algorithms in Heterogeneous Wireless Networks LIU Min,LI Zhong-Cheng,GUO Xiao-Bing and ZHANG De-Kui 2007,18(7):1652-1659 [Abstract(4535)]  [View PDF(6588)535.17 K]

Online Model Estimating-Based Performance Guarantee Mechanism for Dynamic Web Site ZHANG Yong,HUANG Tao,CHEN Ning-Jiang and JIN Bei-Hong 2007,18(7):1660-1671 [Abstract(4253)]  [View PDF(5559)787.71 K]

A Location-Independent Connected Coverage Protocol for Wireless Sensor Networks MAO Ying-Chi,FENG Guo-Fu,CHEN Li-Jun and CHEN Dao-Xu 2007,18(7):1672-1684 [Abstract(5198)]  [View PDF(5804)862.84 K]

A Collaborative Filtering Recommendation Algorithm Based on Influence Sets CHEN Jian and YIN Jian 2007,18(7):1685-1694 [Abstract(4874)]  [View PDF(6510)669.61 K]

TCP Proxy for Satellite Network ZENG Bin,LI Zhi-Tang and XU Fan-Jiang 2007,18(7):1695-1704 [Abstract(4445)]  [View PDF(6216)671.08 K]

A Semantic Data Coordination Based Approach for Application Integration in Portals SONG Jing-Yu,WEI Jun and WAN Shu-Chao 2007,18(7):1705-1714 [Abstract(3883)]  [View PDF(5281)529.10 K]

Capture and Storage of Digital Evidence Based on Security Operating System DING Li-Ping,ZHOU Bo-Wen and WANG Yong-Ji 2007,18(7):1715-1729 [Abstract(4697)]  [View PDF(6326)762.96 K]

A Prestige Reporting Mechanism Based on Gray System Theory XU Lan-Fang,HU Huai-Fei,SANG Zi-Xia,XU Feng-Ming and ZOU De-Qing 2007,18(7):1730-1737 [Abstract(4523)]  [View PDF(5393)538.32 K]

Applying Dixon Resultants in Cryptography TANG Xi-Jin and FENG Yong 2007,18(7):1738-1745 [Abstract(4476)]  [View PDF(5434)673.01 K]

An Improved Formal Model of Cryptographic Protocol ZHANG Chang,WANG Ya-Di,HAN Ji-Hong and GUO Yuan-Bo 2007,18(7):1746-1755 [Abstract(4159)]  [View PDF(5887)824.71 K]

A Parallelizable Message Authentication Code WANG Da-Yin,LIN Dong-Dai and WU Wen-Ling 2007,18(7):1756-1764 [Abstract(5040)]  [View PDF(5417)505.24 K]

Coverage-Ensured Reliable Links with Accurate Timing in Mobile Ad Hoc Network ZHANG Zhi-Guo,LIU Cong and ZHANG Peng 2007,18(7):1765-1773 [Abstract(3683)]  [View PDF(5083)536.53 K]

Construction of Elliptic Curves over Finite Fields with a Point of Given Order WANG Kun-Peng and LI Bao 2007,18(7):1774-1777 [Abstract(4444)]  [View PDF(5598)250.29 K]

Debt Relationship Based Fair File Exchange in Distributed Hash Table Network YU Kun,WU Guo-Xin,XU Li-Bo and CHEN Gang 2007,18(7):1778-1785 [Abstract(4504)]  [View PDF(5406)505.20 K]

A Cluster-Based QoS Multipath Routing Protocol for Large-Scale MANET LU Xi-Cheng,AN Hui-Yao,PENG Yu-Xing and PENG Wei 2007,18(7):1786-1798 [Abstract(4185)]  [View PDF(5490)887.59 K]

Compression of Tate Pairings on Elliptic Curves HU Lei 2007,18(7):1799-1805 [Abstract(4464)]  [View PDF(5223)466.54 K]

Hardware/Software Interface Design of Godson-2 Simultaneous Multithreading Processor LI Zu-Song,XU Xian-Chao,HU Wei-Wu and TANG Zhi-Min 2007,18(7):1806-1817 [Abstract(4224)]  [View PDF(5340)591.80 K]

An NPV-Based Optimal Fault-Tolerant Routing Algorithm for Generalized Hypercube TIAN Shao-Huai,LU Ying-Ping and ZHANG Da-Fang 2007,18(7):1818-1830 [Abstract(4226)]  [View PDF(5064)1.35 M]

Stream Task Scheduling Method for Deadline-Sensitive Applications YU Ge,LI Xiao-Jing,YANG Xiao-Chun,OU Zheng-Yu and DENG Qing-Xu 2007,18(7):1831-1843 [Abstract(4256)]  [View PDF(5273)527.59 K]

A Static Priority Assignment Algorithm with the Least Number of Priority Levels XING Jian-Sheng,WANG Yong-Ji,LIU Jun-Xiang,ZENG Hai-Tao and NASRO Min-Allah 2007,18(7):1844-1854 [Abstract(3976)]  [View PDF(5710)734.26 K]

Review Articles

Lightweight Intrusion Detection System Based on Feature Selection CHEN You,CHENG Xue-Qi,LI Yang and DAI Lei 2007,18(7):1639-1651 [Abstract(7613)]  [View PDF(10237)845.09 K]