Computer Engineering 2012 Issue 17 System Survivability Analysis Based on Model Checking

System Survivability Analysis Based on Model Checking
ZHOU Qing-lei;ZHANG Bing;XI Lin

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

Head Behavior Recognition Based on Analysis of Trajectory
HUANG Teng;RUAN Zong-cai

..............page:218-221,231

An Improved Adaptive Anti-collision Algorithm in RFID
XU Hai-feng;JIANG Hui;LIU Zhen

..............page:290-292,封3

Design and Implementation of Environmental Context Awareness System Based on Internet of Things
LI Zheng;MA Yong-tao;LIU Kai-hua

..............page:1-4

Abnormal Detection Based on Immunodominance Polyclonal Network
BAI Lin;PAN Xiao-ying

..............page:129-132

Dynamic Bandwidth Resource Allocation Algorithm in Internet of Things and Its Application
LI Zheng;LIU Kai-hua

..............page:16-19

Personnel Position System of Beach Based on Middleware of IOT
HUANG Dong-mei;WANG Yuan-zhu;ZHANG Ming-hua

..............page:5-8

Train Motion Model Identification Based on Simulation Data
LIU Zhi-pan;CHEN Xiang-xian;HUANG Hai;DUAN Hui-long

..............page:254-257

Heuristic Lower Approximation Reduction of Inconsistent Dominance Object Information Systems
MO Jing-lan;ZHU Guang-sheng;LV Yue-jin

..............page:52-55

Feature Point Accurate Extraction Algorithm of Airplane Image in Residual Ice Detection
GAO Jian-shu;YANG Tao

..............page:205-208,213

Design and Implementation of Interactive Television Edge Resource Management System
JU Zhao-ming;WANG Ling-fang;LIU Lei

..............page:258-260,264

Cryptographic Algorithm Recognition Based on Dynamic Binary Analysis
LI Yang;KANG Fei;SHU Hui

..............page:106-109,115

Salient Region Detection Algorithm Based on Frequency and Spatial Domain Analysis
WANG Yan;LU Hong-tao;DENG Nan;CAI Neng-bin

..............page:166-170

An Improved Multi-scale Harris Feature Point Detection Method
XU Xian-feng;TAN Jie-qing

..............page:174-177

Extraction of Salient Object in Multi-object Scene
MA Zhi-feng;LI Ying;ZHENG Fang;GAO Zhi-yong

..............page:209-213

Group Search Optimization Algorithm of Differential Variation Based on Simulated Annealing
ZHENG Hui-jie;LIU Hong;ZHENG Xiang-wei;SUN Yu-ling

..............page:178-181

Study of Unknown Word Processing Method in Automatic Tibetan Word Segmentation
Yangmo Droma;GAO Ding-guo

..............page:46-48

Research on Replica Creation Strategy Based on Game Theoretic Thought
WANG Xiao-mei;LI Xin-ming;WANG Shuai

..............page:35-37,41

Streaming Media Data Packet Detection and Filtration Approach Based on Feature Analysis
YANG Rui-guang;CAI Yi-bing;WANG Meng

..............page:272-275

tou gao xu zhi

..............page:封2

API-calling Obfuscation Method Based on 3SAT
CHEN Ya-nan;WANG Qing-xian;ZENG Yong-jun;XI Qi

..............page:119-122

Improvement and Implementation of LRU Page Replacement Algorithm
ZHAO Jun-hua;HU Jin-xia

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

Semi-heterogeneous Wireless Location Method Based on Hidden State Sorting
HU Kun;CHEN Yi-qiang;LIU Jun-fa

..............page:280-283

ChukwaX: A Heterogeneous Data Access System for Internet of Things
CHEN Qing-kui;LV Xiao-ming;HAO Ju-tao;ZHANG Zhe;ZHUANG Song-lin

..............page:12-15

Mesh Simplification Algorithm Combined with Mesh Segmentation and Edge Collapse
ZOU Zhi-wen;ZHANG Li-qiang;CHEN Ji-ming;LIANG Jun

..............page:245-248

Construction Methods of Multi-output Plateaued Function
QIAO Tong-xu;ZENG Bing;ZHANG Wen-zheng;DONG Xin-feng

..............page:123-125,128

High-capacity Lossless Information Hiding Algorithm Based on Pixel Difference of Image Block
LI Xiao-bo;ZHOU Quan

..............page:102-105

Application of Improved D-P Algorithm in Image Edge Smoothing
CHENG Li;WANG Jiang-qing;TIAN Wei;ZHU Zong-xiao;WEI Hong-yun;LIU Sai;XU Ke

..............page:232-234

Strong Vertex-distinguishing Total Coloring Algorithm of Complete Graph
ZHAO Huan-ping;LIU Ping;LI Jing-wen

..............page:32-34

Research of Unsupervised Chinese Noun Phrase Coreference Resolution
GAO Jun-wei;KONG Fang;ZHU Qiao-ming;LI Pei-feng;HUA Xiu-li

..............page:189-191

Research and Improvement on Alpha-Beta Search Algorithm in Gobang
CHENG Yu;LEI Xiao-feng

..............page:186-188

Super-resolution Image Reconstruction Based on Variation Regularization
ZHU Gao;WANG Pei-kang;SONG Hui-hui

..............page:235-237,241

Super-resolution Reconstruction for Sub-pixel Image with Fiber Bundle Coupling
AN Bo-wen;XUE Bing-bin

..............page:222-225

An Improved Data Gathering Scheme in Wireless Sensor Network
LI Wei

..............page:91-93,97

A Cache Optimization Strategy in Ad Hoc Multicast Network
CHEN Zhuo;CHEN Li-xia

..............page:63-65

Research on Algorithm of Integrated Navigation System in Mine
HUANG Hui-xian;XIAO Ye-wei;WANG Hui

..............page:265-267,275

Classification Rule Mining Based on Improved Ant-miner Algorithm
XIAO Jing;LIANG Yan-hui

..............page:162-165

SIFT Feature Matching Algorithm Based on Ncut
CHEN Shu-rong;LI Bo;DONG Rong;CHEN Qi-mei

..............page:196-200

Self-routing Switching Model of Group Sorter MPMS
HUANG Ji-hai;ZHANG Bo;ZHANG Jian-ping

..............page:94-97

Proxy Re-signature Scheme Based on Multivariate Public Key Cryptography
SUN Chang-yi;LI Yi-fa;SI Xue-ming

..............page:116-118

Recovery Scheme for Multicast Link of BGP/MPLS VPN
LI Hai-hua

..............page:73-76

Research on Malicious Nodes Control Algorithm in P2P Network
WANG Hu-qing;SUN Zhi-xin

..............page:142-144,147

Parameter Estimation of Helicopter Blade Based on Micro-doppler Analysis
CHEN Guang-feng;ZHANG Lin-rang;LIU Gao-gao

..............page:249-253

A Network Flow Identification Method Based on SVM Posteriori Probability
LIU San-min;WANG Cai-xia;SUN Zhi-xin

..............page:171-173

Adaptive Threshold De-noising Algorithm Combined with Fourier Transform and Non-subsampled Contourlet Transform
LI Li;YANG Hui-xian;HE Ya-li;LENG Ai-lian;YUE Xu-yao

..............page:238-241

Hyper L-shaped Title Simulation of Triple-loop Network in 3D Cartesian Coordinate System
SU Xiao-hu;TAI Wei-peng;FANG Mu-yun

..............page:287-289

Three Layers Steganography Algorithm Based on Linear Block Code and Wet Paper Code
YANG Xiao-ling;ZHANG Min-qing;LIU Yuan;LEI Yu

..............page:136-138,141

Design of Remote Farmland Monitoring System Based on IOT Technology
LI Xue-gang;HUANG Meng-xing;ZHU Dong-hai

..............page:20-23

Network Security Model Based on Classification Management of Trading Nodes
WANG Hai-sheng;GUI Xiao-lin;WANG Hai-chen

..............page:152-156,161

Research on DDoS Defense Technology Based on Ant Colony Optimization
XIE Jia-chen;LI Xin-ming;LI Yi

..............page:145-147

Web Service Discovery Method Based on OWL-S Process Model
ZENG Yi;HU Yan-qiang;HONG Hao

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

MR Image Segmentation Based on Improved Gaussian Mixed Model
CHEN Liang;CHEN Yun-jie

..............page:242-244,248

Networking Model of Self-organization Networks Based on Bouncing and Clustering Strategy
LIAN Hui-juan;TANG Jun-hua;LI Sheng-hong

..............page:66-69

Mobile Database Application in Ad Hoc Network
FAN Jun;LI Xiao-yu

..............page:49-51,55

Design and Implementation of Tracking and Traceability System for Salt Based on RFID
HU Di;QIAN Song-rong

..............page:9-11,15

A Player Tracking Algorithm of Multi-feature Adaptive Fusion
ZHANG Xiao-wei;LIU Hong;SUN Yu-ling

..............page:214-217,225

Neural Network Composite Classifying Method for Visible Foreign Body in Healthy Wine
ZHU Hui-hui;WANG Yao-nan

..............page:182-185,188

Reduction Method of Role-based Access Control Test Suite Based on Improved Finite State Machine
YUAN Jia-lin;GAO Jian-hua

..............page:42-45,48

Identification of Linear Block Codes and Packet Interleaving Based on Matrix Model
ZHENG Peng-peng;ZHANG Yu;YANG Xiao-jing

..............page:84-86,90

NTRU-class Digital Signature Scheme Based on Gaussian Sampling Algorithm
ZHANG Jian-hang;HU Yu-pu;LAI Qi-qi

..............page:126-128

Design of Chaotic Spread-spectrum Communication Scheme Based on Phase Offset
HE Shi-biao;TIAN Dong;ZHANG Xue

..............page:81-83

Estimation Performance Analysis of Time-varying Phase Difference with Low SNR Signal
LV Zong-shen;YU Hong-yi;SHEN Cai-yao

..............page:70-72,76

Programming Optimization Method in Data Storage Processing Based on C6000
YUAN Wei-qi;WANG Bin

..............page:276-279,283

Backoff Algorithm of 802.11 Contention Window Based on Change Rate
CHEN Jun-xia;SONG Shun-lin;CHENG Ke-yang

..............page:77-80,83

Clustering Routing Protocol for Wireless Sensor Networks Based on PSO
JIANG Chang-jiang;XIANG Min;TANG Xian-lun

..............page:59-62

Forest Fire Disaster Modeling Based on Digital Earth
WU Ling-da;CAO Rui;YANG Chao;JIANG Jie

..............page:261-264

Strong Designated Verifier Signature Scheme Based on Identity Non-delegatability
LI Cong;YAN De-qin

..............page:139-141

Clustering Algorithm for Ad Hoc Network Based on Stability Degree
ZHONG Ming-yang;FU Yun-qing;XIAO Lei;JIA Xin-qiang

..............page:98-101,105

A Precoding Scheme for Two-way Relay System of Multi-user
TIAN Xin-ji;LI Ya;SONG Cheng

..............page:284-286,289

Research on Image Debluring Based on Adaptive Least Mean Square Algorithm
WANG Jun-zhi;YU Zhen-ming

..............page:226-231

Improved VSM Algorithm and Its Application in FAQ
ZHENG Cheng;LI Qing;LIU Fu-jun

..............page:201-204

A Dynamic Task Mapping Strategy of GPU Cluster
CHEN Qing-kui;CAO Huan-huan;ZHUANG Song-lin

..............page:268-271

Trajectory Clustering Algorithm Based on Improved Hausdorff Distance
CHEN Jin-yang;SONG Jia-tao;LIU Liang-xu;WANG Rang-ding

..............page:157-161

Local Searching Weak Community Structure Discovery Algorithm Based on Combinatorial Model
YE Hui;LI Min

..............page:56-58,62

Video Encryption Algorithm Based on H.264 and Rijndael
ZHOU Xian-cheng;HUANG Ren

..............page:133-135

Chosen Plaintext Attack for Hyper-chaotic System Image Encryption Algorithm
LONG Zhuo-min;YU Bin

..............page:148-151

A GAC Model Accelerated by Vector Field Convolution External Force
GAO Xiang-jun

..............page:192-195

Reliability Analysis and Improvement of BAN Logic
WANG Zheng-cai;XU Dao-yun;WANG Xiao-feng;TANG Zheng-yi;WEI Li

..............page:110-115

An Adaptive Load Balancing Clustering Algorithm Based on HEED
LI Xin;ZHANG Xia;YU Hong-yi

..............page:87-90