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(4419)]  [View PDF(6232)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(4574)]  [View PDF(5188)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(4136)]  [View PDF(4926)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(4009)]  [View PDF(5366)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(4754)]  [View PDF(5744)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(4445)]  [View PDF(4987)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(4809)]  [View PDF(5654)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(3610)]  [View PDF(6114)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(4553)]  [View PDF(6670)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(4270)]  [View PDF(5648)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(5213)]  [View PDF(5894)862.84 K]

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

TCP Proxy for Satellite Network ZENG Bin,LI Zhi-Tang and XU Fan-Jiang 2007,18(7):1695-1704 [Abstract(4467)]  [View PDF(6299)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(3896)]  [View PDF(5362)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(4723)]  [View PDF(6431)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(4550)]  [View PDF(5462)538.32 K]

Applying Dixon Resultants in Cryptography TANG Xi-Jin and FENG Yong 2007,18(7):1738-1745 [Abstract(4492)]  [View PDF(5520)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(4172)]  [View PDF(5969)824.71 K]

A Parallelizable Message Authentication Code WANG Da-Yin,LIN Dong-Dai and WU Wen-Ling 2007,18(7):1756-1764 [Abstract(5053)]  [View PDF(5530)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(3706)]  [View PDF(5167)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(4460)]  [View PDF(5702)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(4525)]  [View PDF(5502)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(4196)]  [View PDF(5569)887.59 K]

Compression of Tate Pairings on Elliptic Curves HU Lei 2007,18(7):1799-1805 [Abstract(4472)]  [View PDF(5301)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(4236)]  [View PDF(5425)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(4246)]  [View PDF(5208)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(4273)]  [View PDF(5364)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(3992)]  [View PDF(5785)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(7643)]  [View PDF(10519)845.09 K]