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

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

Mission Reliability Analysis of Generalized Phased Mission Systems
MO Yu-Chang;YANG Xiao-Zong;CUI Gang;LIU Hong-Wei

..............page:1068-1076

Automatedly Checking Function Execution Context of Kernel Programs in Operation Systems
WANG Li;YANG Xue-Jun;WANG Ji;LUO Yu

..............page:1056-1067

SimOS-Goodson: A Goodson-Processor Based Multi-Core Full-System Simulator
GAO Xiang;ZHANG Fu-Xin;TANG Yan;ZHANG Long-Bing;HU Wei-Wu;TANG Zhi-Min

..............page:1047-1055

AHPCC: A High Performance Computer System Evaluation Model Based on HPCC and Analytic Hierarchy Process
LIU Chuan-Yi;WANG Dong-Sheng

..............page:1039-1046

Macor: A Maintainable XQuery Model for Representing Nested Schema Mappings
QIAN Gang;DONG Yi-Sheng

..............page:1026-1038

Independent Oblivious Transfer
HUANG Qiong;ZHAO Yi-Ming

..............page:1015-1025

Forking Lemma and the Security Proofs for a Class of ID-Based Signatures
GU Chun-Xiang;ZHU Yue-Fei;PAN Xiao-Yu

..............page:1007-1014

Percolation-Based Probabilistic Reliable Dissemination for Mobile Ad Hoc Networks
ZHENG Jing;LU Xi-Cheng;CAO Jian-Nong

..............page:996-1006

A Cluster-Based Multipath Routing Algorithm in Mobile Ad Hoc Networks
AN Hui-Yao;LU Xi-Cheng;PENG Wei

..............page:987-995

Towards the Optimization of Access Control List
ZENG Kuang-Yi;YANG Jia-Hai

..............page:978-986

Anomaly Detection Based on Web Users' Browsing Behaviors
XIE Yi;YU Shun-Zheng

..............page:967-977

Access Control in New Network Environment
LIN Chuang;FENG Fu-Jun;LI Jun-Shan

..............page:955-966

Topology Control for Wireless Sensor Networks
ZHANG Xue;LU Sang-Lu;CHEN Gui-Hai;CHEN Dao-Xu;XIE Li

..............page:943-954

A Fast Outlier Detection Algorithm for High Dimensional Categorical Data Streams
ZHOU Xiao-Yun;SUN Zhi-Hui;ZHANG Bai-Li;YANG Yi-Dong

..............page:933-942

Layered Solution for SLCA Problem in XML Information Retrieval
KONG Ling-Bo;TANG Shi-Wei;YANG Dong-Qing;WANG Teng-Jiao;GAO Jun

..............page:919-932

Clustering Evolving Data Streams over Sliding Windows
CHANG Jian-Long;CAO Feng;ZHOU Ao-Ying

..............page:905-918

Complex Twig Pattern Query Processing over XML Streams
YANG Wei-Dong;WANG Qing-Ming;SHI Bai-Le

..............page:893-904

An Efficient Algorithm for Mining Approximate Frequent Item over Data Streams
WANG Wei-Ping;LI Jian-Zhong;ZHANG Dong-Dong;GUO Long-Jiang

..............page:884-892

Robust Speech Recognition Based on Neighborhood Space
YAN Bin-Feng;ZHU Xiao-Yan;ZHANG Zhi-Jiang;ZHANG Fan

..............page:878-883

A More Topologically Stable ISOMAP Algorithm
SHAO Chao;HUANG Hou-Kuan;ZHAO Lian-Wei

..............page:869-877

A Simpler and More Effective Particle Swarm Optimization Algorithm
HU Wang;LI Zhi-Shu

..............page:861-868

Block Motion Estimation Based on Immune Clonal Selection
LIU Fang;PAN Xiao-Ying

..............page:850-860

Levelset Method with Multi-Speed-Function and Its Application in Segmentation of Medical Images
CHEN Jian;TIAN Jie;XUE Jian;DAI Ya-Kang

..............page:842-849

An Approach to Analyzing Dependence Based on Exception Propagation Analysis
JIANG Shu-Juan;XU Bao-Wen;SHI Liang;ZHOU Xiao-Yu

..............page:832-841

An Approach for Optimizing Test Suite Based on Testing Requirement Reduction
ZHANG Xiao-Fang;XU Bao-Wen;NIE Chang-Hai;SHI Liang

..............page:821-831

Error Flow Model: Modeling and Analysis of Software Propagating Hardware Faults
YANG Xue-Jun;GAO Long

..............page:808-820

Detecting Feature Interactions by Pattern Analysis
ZUO Ji-Hong;WANG Qian-Xiang;MEI Hong

..............page:796-807

Software Cost Estimation Method and Application
LI Ming-Shu;HE Mei;YANG Da;SHU Feng-Di;WANG Qing

..............page:775-795