Journal of Chinese Computer Systems 2012 Issue 1 Research on Monitoring-oriented Runtime Verification Method Based on Multi-core Architecture

Research on Monitoring-oriented Runtime Verification Method Based on Multi-core Architecture
ZHANG Jian;HU Jun;GUO Li-juan

..............page:102-109

Introducing Active Index to the Microbloggers\' Ranking
SHI Lei;ZHANG Cong;WEI Lin

..............page:110-114

Servo System Developing Method Based on V Model
XING Jia-mao;HE Ping;WANG Zhi-cheng

..............page:183-187

Research and Implementation of Load Balancing Mechanism for Multi-tenant SaaS Application
WANG De-shuai;ZHANG Yi-chuan;ZHANG Bin;LIU Ying

..............page:71-77

Research of an Adaptive Backoff Mechanism Based on Congestion Avoidance
SHI Sheng-lin;SU Gang;ZHU Guang-xi

..............page:7-10

Universally Composable Security Model of Ring Signature and its Applications
WEI Yun;XIONG Guo-hua;ZHANG Xing-kai;BAO Wan-su

..............page:38-41

Routing Optimization on the Layered Peer-to-Peer Management Network
LI Zhen;DUAN Han-cong;NIE Xiao-wen;ZHOU Xu;WANG Zhi-ping

..............page:54-57

Analyzing the Live Intervals of Register Files for Soft Errors
XU Jian-jun;TAN Qing-ping;YE Jun

..............page:83-89

Research on the Deployment Algorithm of Heterogeneous Sensor Networks Based on Probability Model
CHEN Jie;DU Qing-wei;LI Xiao-yu;DING Feng

..............page:49-53

Efficient Variant of Batch RSA Cryptosystem
LI Yun-fei;LIU Qing;LI Tong;HAO Lin

..............page:64-70

Dynamic Particle Swarm Optimization Algorithm Based on Two-layer Alterable Sub-population
WANG Wei;LI Mei-yi;PENG Xia-dan

..............page:145-150

Method for Image Retrieval Based on Salient Points and SVM Relevance Feedback
GAO Ru-ru;ZHU Jun-zhu;DENG Chang-ge;TONG Chao

..............page:173-177

Possibilistic Fuzzy Clustering Algorithm Based on Web User Access Paths
YU Hong;LUO Hu

..............page:135-139

Discrete Differential Evolution with Fitness Uniform Selection Scheme
ZHOU Ya-lan;ZHU Yao-hui

..............page:151-154

Comparative Study of Different Core Definition in Rough Set
ZHANG Qing-guo;ZHENG Xue-feng;ZHANG Ming-de;YU Yi-ke

..............page:121-125

Reconfigurable Routing Algorithm for Fault-Tolerant 2D Mesh NoCs
SHI Ze-wen;ZENG Xiao-yang;YU Zhi-yi

..............page:178-182

Cloud Computing Oriented Workflow Technology
CHAI Xue-zhi;CAO Jian

..............page:90-95

Real-time Smoke Simulation in the Wind
LV Meng-ya;ZHAI Song-qing;TANG Yong;MA Kun-qi;LI Jin

..............page:165-168

Routing Protocol Optimization for Ad hoc Networks Based on Genetic Algorithm
ZHAN Si-yu;LI Jian-ping

..............page:24-27

Frequent Subgraph Mining Algorithm Based on Canonical Code
ZOU Xiao-hong;ZHENG Chao

..............page:78-82

Novel Oppositional Differential Evolution Algorithm Based on Theory of Molecular Motion
LIU Gang;LI Yuan-xiang

..............page:115-120

QoS-sensitive Packet Scheduling Algorithm for IEEE 802.11e
XIE Kun;GONG Chuang;SUN Jia-qi;WEN Ji-gang

..............page:32-37

Critical Data Management Algorithm Based on Hardware Monitoring
ZHANG Wei-gong;RONG Jin-ye;QIU Qing-lin;GAO Lan-zhi

..............page:188-192

Scalable P2P Overlay Architecture for MMOG
DU Ling;SHI Xiang-bin;LI Yu-hang

..............page:58-63

New Particle Swarm Optimization with Changeable Dimension for Path Planning
SONG Chen;YAN Xue-feng

..............page:155-158

Online Detection for P2P Botnets Based on Host Behavioral Anomaly
YU Xiao-cong;DONG Xiao-mei;YU Ge

..............page:11-17

Virtual MIMO Multicast-based Multihop Transmission Scheme for Wireless Sensor Networks
XIAO Ming;HUANG Liu-sheng;XU Hong-li

..............page:18-23

New Approach of Vulnerability Finding for File-reading Applications Based on Taint Analysis
LIU Zhi;ZHANG Xiao-song

..............page:42-48

zheng gao jian ze

..............page:192

Spatio-temporal Pyramid Matching Using Sparse Coding for Action Recognition
LIU Chang-hong;YANG Yang;LIU Ying-hui

..............page:169-172

Minimum MPR Set Selection: an Improved Ant Colony Optimization Approach
ZHANG He-liang;XIONG Yan;MIAO Fu-you

..............page:126-129

Study and Improvement on Web Services Clustering Approach
ZHU Zhi-liang;YUAN Hai-tao;SONG Jie;LIU Guo-qi

..............page:96-101

Reverse Location of Web Proxies with Delay Constraint on the Network
YANG Jian-fang;GAO Yan;DANG Ya-zheng

..............page:28-31

Novel Incentive Model for P2P File Sharing System Based on Market Mechanism
GUO Dong;LU Shan;YIN Bao-qun

..............page:1-6

Research on a Combinational Solution on Space-ground Integration Imaging Reconnaissance Task Scheduling
LI Jian-jun;GUO Hao;ZHU Jiang-han

..............page:159-164

Efficient Genetic Algorithm of Attribute Reduction Based on Rough Set
YANG Bo;XU Zhang-yan;SHU Wen-hao

..............page:140-144

Particle Swarm Optimization with Multi-leader Crossover Operator
HUANG Fa-liang;ZHENG Xiao-jian

..............page:130-134