Journal of Chinese Computer Systems 2011 Issue 4 BT Modeling and Conformance Test Generation

BT Modeling and Conformance Test Generation
LI Hua;YE Xin-ming;WU Cheng-yong;WANG Jia;LU Dong-xu

..............page:676-679

Research of Resource Management in Authorization and Access Control Technology
WANG Ting;CHEN Xing-yuan;ZHANG Bin;ZHANG Hong-qi

..............page:619-625

Strongly Secure Identity-based Authenticated Key Exchange Protocol
SHU Jian

..............page:632-638

Two Stages Scheduling Algorithm for Real-time Transaction Model Based on Functional Alternatives
XIA Jia-li;CHEN Hui

..............page:594-598

Personalized Recommendation Algorithm Based on the Combination of Item and User
LI Ming;XU De-zhi

..............page:611-613

Routing Evolutionary Strategy of Pipeline Reconfigurable Structure Based on Two Dimensional Array Logic Structure
GUO Zhi-yong;LI Guang-jun;LIU Yang

..............page:797-800

Application of VTS Approximation Based Feature Compensation Approach to Speech Recognition
YANG Zhao;DU Jun;HU Yu;LIU Qing-feng;DAI Li-rong

..............page:782-786

Dual-channel IMS-based IPTV Fast Channel Switching Method
BAI Song;LEI Wei-min;LIN Jing-hua;LI Ling-nai

..............page:713-716

Video Object Removal Using Global Motion Based Affine Model
PAN Hao;CHENG Yi-min;CHEN Zhi-xiang;XIE Chun-hui

..............page:777-781

Differential Timing Attack Against the Software Implementation of RSA
CHEN Cai-sen;WANG Tao;TIAN Jun-jian

..............page:672-675

Research OH Affective Annotation for Natural Scene Images
GAO Yan-yu;WANG Xin-ping;YIN Yi-xin

..............page:767-771

Congestion Avoidance Communication Protocol for Network on Chip
LI Zi-di;JIANG Lin;LI Cui-jin

..............page:696-700

Evaluation for Evidence Theory Based on Modified PIC Metric
XIA Jian-ming;YANG Jun-an;ZHANG Qiong

..............page:757-762

Constructing Dependence Graph for EFSM
HAN Zhe;CHEN Shi-hong

..............page:577-583

Evolutionary Computing Method for Supporting Collaborative Design of 3D Cartoon Modeling
YU Han-chao;LIU Hong

..............page:747-751

Research on User Profile Based on Time Element Interest Rate Quantification Method and VSM Extension
LIE Xin;QIAN Song-rong

..............page:708-712

Singularity Spectrum Estimation for Network Traffic Based on Wavelet Transform
WANG Bian-qin;YU Shun-zheng

..............page:680-685

Two-stage Genetic Algorithm for Set Covering Problem
WU Zhi-yong;CHEN Tao;WANG Hong-chuan;SUN Le-chang;ZHANG Min;LI Zhi

..............page:732-737

Algorithm for Constructing Petri Net Based on Language Expression
ZHANG Ji-jun;FAN Hao

..............page:726-731

Attribute Reduction of Decision Information System of Soft Sets
GENG Sheng-ling;LI Yong-ming;FENG Feng

..............page:721-725

Robust Watermark Algorithm Using the Magnitude Relationship of Wavelet Coefficients
HU Qing;LONG Dong-yang;LU Wei

..............page:772-776

Harmonically Coupled Chaotic System for a Pseudo-random Bit Generator
WU Qi;TAN Zuo-Wen;WAN Chang-xuan

..............page:639-643

Differential Fault Analysis of AES Block Cipher Base on S-box
GAO Jing-zhe;ZHAO Xin-jie;JIAO Wen-cheng;WANG Su-zhen

..............page:662-667

Recognition of P2P Bots Control Behavior
CHEN Hao;LI Zhi-tang;WANG Bin-bin;LI Dong

..............page:647-650

Memory Management Solution in Embedded Linux Systems
GAO Chao;HAN Rui;NI Hong

..............page:614-618

Fuzzing Testing Based on Vulnerability Database
ZHANG Mei-chao;ZENG Fan-ping;HUANG Yi

..............page:651-655

31/21/2-axis Method for Tilted Working Plane Machining on a 5-axis Machine Tool
LIN Hu;PU Xiao-fei;ZHANG Liao-mo;PENG Yong

..............page:763-766

Cooperative Cache for P2P Network Research
JIA Lei;ZHANG Xin-you

..............page:701-707

New Robust Hash Algorithm for Image Against Rotation Attack
SUN Yang;ZHU Hong-feng;LIU Tian-hua

..............page:668-671

Comparative Research on Spectral Clustering Based Web Community Discovery
HUANG Fa-liang;XIAO Nan-feng

..............page:584-587

Consistency Maintenance of Reference Operations Based on Address Space Transformation Strategy in Replicated Collaborative Design Environments
GAO Li-ping

..............page:599-605

Community Detecting Based on Strong Definition of Community Structure in Complex Net works
LIU Jin-xia;ZENG Jian-chao;XUE Yao-wen

..............page:686-690

Null Value Estimation Method Based On Information Granularity for Incomplete Information System
ZHANG xia;CHU Shang-jun;XU Ming-zhu

..............page:752-756

Method for Mutual Nearest Neighbor Query in Road Networks
CHEN Zi-jun;WANG Lu;LIE Wen-yuan

..............page:606-610

Design and Implementation of High Resolution Camera Driver Based on Embedded System
SONG Li-hua;WANG Jing-jing;LI Ye-bai

..............page:787-792

Dynamic Determination Scheme of Subject\'s Integrity Level and its Correctness Proof
ZHANG Ming-xi;WEI Jun-yin;ZHANG Xiang-feng;WANG Yi-fang;LIU Hui

..............page:656-661

Research Security for Batch Steganography
CHEN Gou-xi;CHEN Jun-jie

..............page:644-646

Research on Online Recognition Technology for Float Glass Defects
LIU Huai-guang;CHEN You-ping;XIE Jing-ming;PENG Xiang-qian

..............page:738-742

Fast Integer Pixel Motion Estimation Algorithm for AVS-M
ZHANG Xin-an;GONG Yan-jun;LI Xiao-WU

..............page:793-796

Hardware/Software Dual Communication Mode of RSoC for Dynamic Partitioning in Function Level
YANG Wang-xian;LI Ren-fa;WU Qiang;LIU Yan;CHEN Yu

..............page:717-720

Design of the Socket-based IPC Messaging Platform
WANG Chong-wen;ZHAO Yi

..............page:588-593

Research on Sensitivity Analysis Algorithm of Minimum Spanning Tree
NING Ai-bing;XIONG Xiao-hua;MA Liang

..............page:743-746

Digital Image Copyright Protection Scheme Using Joint Feature Extraction
FAN Li;GAO Tie-gang;YANG Qun-ting

..............page:626-631

Design and Realization of Distributed Nodes in a Multilevel-P2P Video-on-demand System
WANG Song;LING Qing;WU Gang;ZHENG Quan

..............page:691-695

xin xi dong tai

..............page:650,667,762