1. Home
  2. Proceedings
  3. WCSE
  4. WCSE 2013
Default Cover Image

2013 Fourth World Congress on Software Engineering (WCSE)

Dec. 3 2013 to Dec. 4 2013

Hong Kong, China

Table of Contents

[Title page i]Freely available from IEEE.pp. i-i
[Title page iii]Freely available from IEEE.pp. iii-iii
[Copyright notice]Freely available from IEEE.pp. iv-iv
Table of contentsFreely available from IEEE.pp. v-x
PrefaceFreely available from IEEE.pp. xi-xii
Conference CommitteeFreely available from IEEE.pp. xiii-xv
Additional reviewersFreely available from IEEE.pp. xvi-xvi
KeynotesFull-text access may be available. Sign in or learn about subscription options.pp. xvii-xix
Objective Image Quality Assessment Based on Image Complexity and Color SimilarityFull-text access may be available. Sign in or learn about subscription options.pp. 5-9
by Shuang Yang, Pan Gao, Fang Meng, Xiuhua Jiang, Hao Liu
Agent-Based Distributed Simulation Technology of Satellite Formation FlyingFull-text access may be available. Sign in or learn about subscription options.pp. 13-16
by Chong Zhang, Yankai Wang, Yinghong Zhao
Study on Compensation for Software Infringement in Network Externality EnvironmentsFull-text access may be available. Sign in or learn about subscription options.pp. 19-23
by Jianhui Zhu
Improved Text Clustering Algorithm and Application in Microblogging Public Opinion AnalysisFull-text access may be available. Sign in or learn about subscription options.pp. 27-31
by Yiyang Wang, Li Wang, Jing Qi, Zhong Qian, Bo Xu, Chao Lei, Yuexiang Yang, Huali Cai
Schematizing UML Use CasesFull-text access may be available. Sign in or learn about subscription options.pp. 35-41
by Sabah Al-Fedaghi, Asad Alrashed
Architecting and Constructing an SOA Bridge for an MVC PlatformFull-text access may be available. Sign in or learn about subscription options.pp. 45-49
by Sabelo Yalezo, Mamello Thinyane
Framework Planning of an Integrated Management Platform Applied for Environment Protection Based on SOA InfrastructureFull-text access may be available. Sign in or learn about subscription options.pp. 50-55
by Lei Ma, Qinan Jia, Jun Zhang, Jianfeng He
A Formal Definition of Software Testing Based on Fuzzy MeasureFull-text access may be available. Sign in or learn about subscription options.pp. 59-63
by Zhitao He, Chao Liu, Haihua Yan, Huacan He
A Formal Model for Metamorphic Relation DecompositionFull-text access may be available. Sign in or learn about subscription options.pp. 64-68
by Zhan-Wei Hui, Song Huang
A Method of State Addreviation for Verification of Class ModelFull-text access may be available. Sign in or learn about subscription options.pp. 69-72
by Soo-Kyung Choi, Byungho Park, Robert Young Chul Kim, Young B. Park
Achievements and Challenges of Metamorphic TestingFull-text access may be available. Sign in or learn about subscription options.pp. 73-77
by Zhan-Wei Hui, Song Huang
Evaluation of Stability and Similarity of Latent Dirichlet AllocationFull-text access may be available. Sign in or learn about subscription options.pp. 78-83
by Jun Tang, Ruilong Huo, Jiali Yao
Improvement on ABDOM-Qd and Its Application in Open-Source Community Software Defect Discovery ProcessFull-text access may be available. Sign in or learn about subscription options.pp. 84-90
by Zhitao He, Haihua Yan, Chao Liu
Locating Faulty Code Using Failure-Causing Input Combinations in Combinatorial TestingFull-text access may be available. Sign in or learn about subscription options.pp. 91-98
by Chunyan Ma, Yifei Zhang, Jie Liu, Mengzhao
Research on Loop Path Selection in Coverage TestingFull-text access may be available. Sign in or learn about subscription options.pp. 99-104
by Qiang Wang, Jun-Fei Huang, Yun-Zhan Gong
Model Checking CTMDP against Temporal Specifications Characterized by Regular ExpressionsFull-text access may be available. Sign in or learn about subscription options.pp. 107-111
by Jun Niu, Guosun Zeng, Weihua Zhan
A Method-Based Tool Support for Rapid Software Development and Effective Process ManagementFull-text access may be available. Sign in or learn about subscription options.pp. 115-118
by Jyhjong Lin, Chaoyu Lin, Weipang Yang
Security Key Designed for LAN and Mobile TerminalFull-text access may be available. Sign in or learn about subscription options.pp. 121-124
by Xiaochun Chen, Haojiong Liu, Jinxia Dai
Explore the Competitive Patterns of the TFT-LCD Industry - The Comparison among Japan, Taiwan, and South KoreaFull-text access may be available. Sign in or learn about subscription options.pp. 127-130
by Wen-Pin Tien
Neural Network Ensemble Based on K-Means Clustering Individual Selection and Application for Software Reliability PredictionFull-text access may be available. Sign in or learn about subscription options.pp. 131-135
by Kewen Li, Kang Zhao, Wenying Liu
Using Artificial Neural Network (ANN) to Explore the Influences of Number of Inventors, Average Age of Patents, and Age of Patenting Activities on Patent Performance and Corporate PerformanceFull-text access may be available. Sign in or learn about subscription options.pp. 136-139
by Yu-Shan Chen, Wen-Pin Tien, Yi-Wen Chen, Chien-Chiang Lin, Yu-I Lee
Design and Implementation on Sorting and Tracking Processor for Radar Signal Based on DSPFull-text access may be available. Sign in or learn about subscription options.pp. 145-149
by Jiang Yan, Haiqing Jiang, Zhenxing Lu
A Theoretical Study of the Influence of Gas Pump Thermocouple Hot Cover Structure on Temperature MeasurementFull-text access may be available. Sign in or learn about subscription options.pp. 153-157
by Zhengang Zhang, Qing Feng, Lang Wang
EJDB - Embedded JSON Database EngineFull-text access may be available. Sign in or learn about subscription options.pp. 161-164
by Anton Adamanskiy, Andrey Denisov
Java Source Code Static Check Eclipse Plug-In Based on Common Design PatternFull-text access may be available. Sign in or learn about subscription options.pp. 165-170
by Haotian Zhang, Shu Liu
Research on the Implementation of Internal Control in Enterprise Information System by Domain Analysis and Formal Methods: A Case Study of Sales Activities Internal Control Under Chinese Enterprise EnvironmentFull-text access may be available. Sign in or learn about subscription options.pp. 171-175
by Xiaoyi Chen, Dianping Ouyang
Soft General Rough Formal ContextFull-text access may be available. Sign in or learn about subscription options.pp. 176-180
by Li Fu
A Flexible Transfer Function Model for the Volume Rendering of Finite Element DataFull-text access may be available. Sign in or learn about subscription options.pp. 185-189
by Yi Tang, Zhong Ning Guo, Zhi Gang Huang
Individual Emotion Classification between Happiness and Sadness by Analyzing Photoplethysmography and Skin TemperatureFull-text access may be available. Sign in or learn about subscription options.pp. 190-194
by Min Woo Park, Chi Jung Kim, Mincheol Hwang, Eui Chul Lee
A Method of Suppressing Coherent Interference Based on Improved Nulling TechnologyFull-text access may be available. Sign in or learn about subscription options.pp. 197-201
by Jianhong Xiang, Chunlei Dong
Computing the Sparse Solution to Fourier Extension of Nonperiodic FunctionFull-text access may be available. Sign in or learn about subscription options.pp. 202-206
by Guojun Jiang, Yawen Luo, Kun Zhang, Chuanlin Zhang
Concept of a Speech Assistant SystemFull-text access may be available. Sign in or learn about subscription options.pp. 207-211
by Laszlo Czap, Attila Karoly Varga, Bela Illes
Design and Implementation of a Real-Time Video Stream Analysis System Based on FFMPEGFull-text access may be available. Sign in or learn about subscription options.pp. 212-216
by Xiaohua Lei, Xiuhua Jiang, Caihong Wang
Iterative MUSIC for Highly Correlated MEG Source Localization: A Simulation StudyFull-text access may be available. Sign in or learn about subscription options.pp. 217-220
by Zhongping Tao, Junpeng Zhang
Large Image Fast Compositing Based on Uniform SampleFull-text access may be available. Sign in or learn about subscription options.pp. 221-224
by Jian Wu, Tianxiu Yu, Lei Zhao
Re-configurable DSP Processor - A New Computing Platform for Software Radio ApplicationsFull-text access may be available. Sign in or learn about subscription options.pp. 225-228
by Amrita Saha, Amitabha Sinha
Blog Recommender Based on Hypergraph Modeling Clustering AlgorithmFull-text access may be available. Sign in or learn about subscription options.pp. 231-235
by Yongen Luo, Jicheng Hu, Xiaofeng Wei
DPRP: Distributed Parallelled Rule Pre-matchings for NIDS: A Possible Way to Deploy Middlebox in Future InternetFull-text access may be available. Sign in or learn about subscription options.pp. 236-240
by Yi Zhang, Zhigang Sun
FSArch: Enables FPGA-Based Platforms to Provide Network ServicesFull-text access may be available. Sign in or learn about subscription options.pp. 241-245
by Jianbiao Mao, Qingjie Xu, Zhigang Sun, Xicheng Lu
Improvement of High-Availability Seamless Redundancy (HSR) Unicast Traffic Performance Using Port LockingFull-text access may be available. Sign in or learn about subscription options.pp. 246-250
by Ibraheem Raed Abdulsalam, Jong Myung Rhee
Migrating OpenDPI to Multi-core Platforms for Performance EnhancementFull-text access may be available. Sign in or learn about subscription options.pp. 251-256
by Ying Le, Leijun Huang
Research on the Next-Generation Green Data Center TechnologyFull-text access may be available. Sign in or learn about subscription options.pp. 257-260
by Hanmin Ye, Zihang Song
RNP: A Remote-Desktop Based NetMagic Remote Debugging PlatformFull-text access may be available. Sign in or learn about subscription options.pp. 261-265
by Tao Zhao, Jianbiao Mao, Jinfeng Huang
Sensitivity Analysis of the Transient Response of Nonuniform Coupled Transmission Lines in Frequency DomainFull-text access may be available. Sign in or learn about subscription options.pp. 266-270
by Jianhua Yin, Xingxin Guo, Wenwen Cao, Cheng Gao, Jinquan Zhao
System Level Delay Modeling for Network-on-ChipFull-text access may be available. Sign in or learn about subscription options.pp. 271-275
by Fang Zhou, Ning Wu
Traffic-Reduction for High-Availability Seamless Redundancy (HSR) Protocol Using Dual Virtual Paths AlgorithmFull-text access may be available. Sign in or learn about subscription options.pp. 276-280
by Saad Allawi Nsaif, Jong Myung Rhee
Design of Nonlinear Aero Controller and Simulation for Quadrotor Unmanned Aerial VehiclesFull-text access may be available. Sign in or learn about subscription options.pp. 283-287
by Ming Yao, Yunqing Xu
Optimal Actuator and Sensor Locations for Active Vibration Control: Using Improved Particle Swarm AlgorithmFull-text access may be available. Sign in or learn about subscription options.pp. 288-292
by Tian-xiong Wang, Yu-ming Bo, Xiang-ming Wang, Gao-peng Zhao
The State-Space Model Identification-Based Adaptive Collaborative Multi-satellite Simulation SystemFull-text access may be available. Sign in or learn about subscription options.pp. 293-297
by Yinghong Zhao, Yankai Wang, Chong Zhang
A Three Dimensional Imaging-Based Framework for Planning Maxillomandibular Advancement Surgery for the Treatment of Obstructive Sleep ApnoeaFull-text access may be available. Sign in or learn about subscription options.pp. 301-306
by Syed M.S. Islam, Anthony D. Lucey, Julien Cisonni, Mithran S. Goonewardene, M. Bennamoun, Mauro Farella, Jaafar Abduo
Collaboration and Research Information System Used for Sustainable Long-Term ResearchFull-text access may be available. Sign in or learn about subscription options.pp. 307-310
by Petr Vcelak, Michal Kratochvil, Jana Kleckova
Detection of Moving Target Using Improved Optical Flow MethodFull-text access may be available. Sign in or learn about subscription options.pp. 311-315
by Mai Liu, Nan Liang
Development of Large Scale Integrated Measurement Database Middleware on 400km/h SpeedFull-text access may be available. Sign in or learn about subscription options.pp. 316-320
by Ok-Yul Yang, Kyung-Hun Hwang
Improved Harris Corner Detection for Chinese CharactersFull-text access may be available. Sign in or learn about subscription options.pp. 321-325
by Na Yao, Tiecheng Bai, Xia Jiang, Haifang Lv
Research on Subjective Assessment Method of Ultra High Definition Video QualityFull-text access may be available. Sign in or learn about subscription options.pp. 326-330
by Jiangbo Xu, Xiuhua Jiang
Semantic Analysis and Implicit Target Extraction of Comments from E-Commerce WebsitesFull-text access may be available. Sign in or learn about subscription options.pp. 331-335
by Hui Song, Jianfeng Chu, Yun Hu, Xiaoqiang Liu
Sparse Representation for 3D Face RecognitionFull-text access may be available. Sign in or learn about subscription options.pp. 336-339
by Zhe Guo, Yang-yu Fan
The Image Retrieval Based on Scale and Rotation-Invariant Texture Features of Gabor Wavelet TransformFull-text access may be available. Sign in or learn about subscription options.pp. 340-344
by Gang Chen, Ning Chen, Xia Lin
Author indexFreely available from IEEE.pp. 345-346
[Roster page]Freely available from IEEE.pp. 348-348
Showing 68 out of 68