Journal of Software 2007 Issue 7 ruan jian xue bao tou gao zhi nan

..............page:封3

..............page:1773

A Static Priority Assignment Algorithm with the Least Number of Priority Levels
XING Jian-Sheng;WANG Yong-Ji;LIU Jun-Xiang;ZENG Hai-Tao;NASRO Min-Allah

..............page:1844-1854

Stream Task Scheduling Method for Deadline-Sensitive Applications
YU Ge;LI Xiao-Jing;YANG Xiao-Chun;OU Zheng-Yu;DENG Qing-Xu

..............page:1831-1843

An NPV-Based Optimal Fault-Tolerant Routing Algorithm for Generalized Hypercube
TIAN Shao-Huai;LU Ying-Ping;ZHANG Da-Fang

..............page:1818-1830

Hardware/Software Interface Design of Godson-2 Simultaneous Multithreading Processor
LI Zu-Song;XU Xian-Chao;HU Wei-Wu;TANG Zhi-Min

..............page:1806-1817

Compression of Tate Pairings on Elliptic Curves
HU Lei

..............page:1799-1805

A Cluster-Based QoS Multipath Routing Protocol for Large-Scale MANET
LU Xi-Cheng;AN Hui-Yao;PENG Yu-Xing;PENG Wei

..............page:1786-1798

Debt Relationship Based Fair File Exchange in Distributed Hash Table Network
YU Kun;WU Guo-Xin;XU Li-Bo;CHEN Gang

..............page:1778-1785

A Prestige Reporting Mechanism Based on Gray System Theory
XU Lan-Fang;HU Huai-Fei;SANG Zi-Xia;XU Feng-Ming;ZOU De-Qing

..............page:1730-1737

Capture and Storage of Digital Evidence Based on Security Operating System
DING Li-Ping;ZHOU Bo-Wen;WANG Yong-Ji

..............page:1715-1729

A Semantic Data Coordination Based Approach for Application Integration in Portals
SONG Jing-Yu;WEI Jun;WAN Shu-Chao

..............page:1705-1714

TCP Proxy for Satellite Network
ZENG Bin;LI Zhi-Tang;XU Fan-Jiang

..............page:1695-1704

Sequential Patterns-Based Cache Replacement in Servlet Container
LI Yang;ZHANG Wen-Bo;WEI Jun;ZHONG Hua;HUANG Tao

..............page:1592-1602

Feature Model Driven Web Services Composition Approach and Its Support Tool
XING Yan;GU Fang;MEI Hong

..............page:1582-1591

The Complexity of Dual Models Problem of Propositional Linear Temporal Logics
WU Zhi-Lin;ZHANG Wen-Hui

..............page:1573-1581

Reasoning Within Extended Fuzzy Description Logic Supporting Terminological Axiom Restrictions
KANG Da-Zhou;XU Bao-Wen;LU Jian-Jiang;LI Yan-Hui

..............page:1563-1572

A Reduction Technique of Petri Nets Based on Logic Circuit
YE Jian-Hong;SONG Wen;SUN Shi-Xin

..............page:1553-1562

Construction of Elliptic Curves over Finite Fields with a Point of Given Order
WANG Kun-Peng;LI Bao

..............page:1774-1777

Coverage-Ensured Reliable Links with Accurate Timing in Mobile Ad Hoc Network
ZHANG Zhi-Guo;LIU Cong;ZHANG Peng

..............page:1765-1773

A Parallelizable Message Authentication Code
WANG Da-Yin;LIN Dong-Dai;WU Wen-Ling

..............page:1756-1764

An Improved Formal Model of Cryptographic Protocol
ZHANG Chang;WANG Ya-Di;HAN Ji-Hong;GUO Yuan-Bo

..............page:1746-1755

Applying Dixon Resultants in Cryptography
TANG Xi-Jin;FENG Yong

..............page:1738-1745

A Collaborative Filtering Recommendation Algorithm Based on Influence Sets
CHEN Jian;YIN Jian

..............page:1685-1694

A Location-Independent Connected Coverage Protocol for Wireless Sensor Networks
MAO Ying-Chi;FENG Guo-Fu;CHEN Li-Jun;CHEN Dao-Xu

..............page:1672-1684

Online Model Estimating-Based Performance Guarantee Mechanism for Dynamic Web Site
ZHANG Yong;HUANG Tao;CHEN Ning-Jiang;JIN Bei-Hong

..............page:1660-1671

Evaluation and Improvement of Vertical Handoff Algorithms in Heterogeneous Wireless Networks
LIU Min;LI Zhong-Cheng;GUO Xiao-Bing;ZHANG De-Kui

..............page:1652-1659

Lightweight Intrusion Detection System Based on Feature Selection
CHEN You;CHENG Xue-Qi;LI Yang;DAI Lei

..............page:1639-1651

Manufacturing Supply Chain Planning Based on Extended State Task Network
SU Sheng;ZHAN De-Chen;XU Xiao-Fei

..............page:1626-1638

MDA-Based Model Management Method and Its Application for TRISO-Model
YUAN Feng;LI Ming-Shu

..............page:1612-1625

EfLA Algorithm Based on Dynamic Feedback
TANG Feng;WU Cheng-Gang;FENG Xiao-Bing;ZHANG Zhao-Qing

..............page:1603-1611