1000-1239
2013 Issue 2
The Property Inference of Aspect-Oriented Program
Ye Jun;Tan Qingping;Li Tun
Ye Jun;Tan Qingping;Li Tun
..............page:344-351
Construction of Symmetrical Filled-in Julia Sets on Spherical Surfaces
Chen Ning;Lin Qiufang
Chen Ning;Lin Qiufang
..............page:394-400
Advances in Spatiotemporal Data Mining
Liu Dayou;Chen Huiling;Qi Hong;Yang Bo
Liu Dayou;Chen Huiling;Qi Hong;Yang Bo
..............page:225-239
Survey of Security and Trust in Opportunistic Networks
Wu Yue;Li Jianhua;Lin Chuang
Wu Yue;Li Jianhua;Lin Chuang
..............page:278-290
..............page:361-370
Formal Software Specification Generation Approach Based on Problem Patterns
Wang Changjing;Luo Haimei;Zuo Zhengkang
Wang Changjing;Luo Haimei;Zuo Zhengkang
..............page:352-360
Parallel Computing of Central Difference Explicit Finite Element Based on GPU General Computing Platform
Cai Yong;Li Guangyao;Wang Hu
Cai Yong;Li Guangyao;Wang Hu
..............page:412-419
Action Recognition Based on Sine Series Fitting
Zhao Xuan;Peng Qimin
Zhao Xuan;Peng Qimin
..............page:379-386
ID Based Signature Scheme from Strong RSA Assumption in the Standard Model
Wang Zhiwei;Zhang Wei
Wang Zhiwei;Zhang Wei
..............page:302-306
Expression Detail Synthesis Based on Wavelet-Based Image Fusion
Wang Xiaohui;Jia Jia;Cai Lianhong
Wang Xiaohui;Jia Jia;Cai Lianhong
..............page:387-393
Call-Graph-Based Interclass MM Path Generation
He Wei;Zhao Ruilian;Zhu Qunxiong
He Wei;Zhao Ruilian;Zhu Qunxiong
..............page:332-343
Formal Verification of TCG Remote Attestation Protocols Based on Process Algebra
Wang Yong;Fang Juan;Ren Xingtian;Lin Li
Wang Yong;Fang Juan;Ren Xingtian;Lin Li
..............page:325-331
A Multi-Motive Reinforcement Learning Framework
Zhao Fengfei;Qin Zheng
Zhao Fengfei;Qin Zheng
..............page:240-247
Pornography Web Site Identification Based on User Behavior Analysis
Cao Jianxun;Liu Yiqun;Cen Rongwei;Ma Shaoping;Ru Liyun
Cao Jianxun;Liu Yiqun;Cen Rongwei;Ma Shaoping;Ru Liyun
..............page:430-436
Similarity Analysis of RNA Secondary Structure with Symbolic Dynamics
Tian Fengchun;Wang Shiyuan;Wang Jia;Liu Xiao
Tian Fengchun;Wang Shiyuan;Wang Jia;Liu Xiao
..............page:445-452
An Online Mobile Payment Model with Simplified Terminal Authentication
Wang Hongxin;Yang Deli;Jiang Nan;Ma Hui
Wang Hongxin;Yang Deli;Jiang Nan;Ma Hui
..............page:291-301
WSD Method Based on Heterogeneous Relation Graph
Yang Zhizhuo;Huang Heyan
Yang Zhizhuo;Huang Heyan
..............page:437-444
Parallel Acceleration and Performance Optimization for GRAPES Model Based on GPU
Wang Zhuowei;Xu Xianbin;Zhao Wuqing;He Shuibing;Zhang Yuping
Wang Zhuowei;Xu Xianbin;Zhao Wuqing;He Shuibing;Zhang Yuping
..............page:401-411
Particle Swarm Optimization for Multiple Multicast Routing Problem
Ma Xuan;Liu Qing
Ma Xuan;Liu Qing
..............page:260-268
An Encryption Algorithm for Image Based on Affine and Composed Chaos
Wen Changci;Wang Qin;Liu Xianghong;Huang Fumin;Yuan Zhishu
Wen Changci;Wang Qin;Liu Xianghong;Huang Fumin;Yuan Zhishu
..............page:319-324
Heuristic Discrimination Cotton Ripeness Using Hybrid Filter and Wrapper
Wang Ling;Liu Shanjun;Chen Binglin;Ji Changying
Wang Ling;Liu Shanjun;Chen Binglin;Ji Changying
..............page:269-277
Duplication Based Energy-Efficient Scheduling for Dependent Tasks in Grid Environment
Ma Yan;Gong Bin;Zou Lida
Ma Yan;Gong Bin;Zou Lida
..............page:420-429
..............page:429
Theory and Algorithms of Attribute Decrement for Concept Lattice
Zhang Lei;Zhang Hongli;Yin Lihua;Han Daojun
Zhang Lei;Zhang Hongli;Yin Lihua;Han Daojun
..............page:248-259
Steganalysis of Color Images Based on Noise Model and Channels Integration
Qi Ke;Xie Dongqing
Qi Ke;Xie Dongqing
..............page:307-318
A Novel Approach for Abstractive Video Visualization
Peng Dichao;Liu Lin;Chen Guangyu;Chen Haidong;Zuo Wuheng;Chen Wei
Peng Dichao;Liu Lin;Chen Guangyu;Chen Haidong;Zuo Wuheng;Chen Wei
..............page:371-378