Volume 9 Number 4 (Apr. 2014)

Volume 9 Number 4 (Apr. 2014)

Article#	Article Title & Authors	Page
1	Web Service Composition Verification of Safety Properties Based on Predicate Abstraction Yuying Wang and Ning Yang	793
2	Modeling and Analyzing Flight Control Software of Unmanned Aerial Vehicle Using UML and B Method Jiufu Liu, Jianyong Zhou, Chunsheng Liu, Zhong Yang, Zhisheng Wang, and Yifan Zhang	800
3	A Formal Transformation Approach for Embedded Software Modeling Haiyang Xu and Yi Zhuang	807
4	Design of Resource Repository in Virtual Test Architecture Lian-Lei Lin, Yue Ma, and Ling-Yu Li	814
5	Measurement and Control of Operational Risk of Banking Industry based on Complex Network Xiaoling Hao and Songqiao Han	820
6	A Web Framework for SMEs (Small and Medium Enterprises) using Loosely Coupled Web Services Ardiansyah, Brian Timothy, and Widodo Budiharto	829
7	A Complex Event Detection Method for multiprobability RFID Event Stream Jianhua Wang, Lianglun Cheng, and Jun Liu	834
8	A Novel K-Nearest Neighbor Algorithm Based on I-Divergence with Application to Soil Moisture Estimation in Maize Field Xiangyan Meng, Zhongxue Zhang, and Xinying Xu	841
9	Multi-operative USB HD: An All-In-One Solution to IT Supports and Forensic Experts Anil Kumar Karna and Yuting Chen	847
10	A Novel Image Fusion Method based on Translation Invariant Wavelet Transforms Fen Xiao, Xieping Gao, and Bodong Li	859
11	Modeling and Description of Organization-Oriented Architecture Munan Li, Junfeng Zhou, and Xinyi Liang	867
12	The Workflow Task Scheduling Algorithm Based on the GA Model in the Cloud Computing Environment Jie Huang	873
13	A Fuzzy Path Preview Algorithm for the Rice Transplanting Robot Navigation System Zhiyan Zhou, Zhigang Zhang, and Xiwen Luo	881
14	Real-time Multiresolution Rendering for Dynamic Terrain Dong Wang, Qing-sheng Zhu, and Yi Xia	889
15	Resource Scheduling Optimization Algorithm of Energy Consumption for Cloud Computing Based on Task Tolerance Liang Hao, Gang Cui, Mingcheng Qu, and Wende Ke	895
16	Edge Extraction for Human Body Images based on ACAFCM Algorithm Xiaoning Jing, Xiaojiu Li, and Xiaojie Li	902
17	Detecting Fake-Quality MP3 based on Huffman Table Index Xianmin Yu, Rangding Wang, Diqun Yan, and Pengfei Ma	907
18	Digital Image Stabilization Based on Harmony Filter Xiaofei Wang, Xiaohai He, Qizhi Teng, and Mingliang Gao	913
19	An Greedy-Based Job Scheduling Algorithm in Cloud Computing Ji Li, Longhua Feng, and Shenglong Fang	921
20	QoS Constraint Based Workflow Scheduling for Cloud Computing Services Guangzhen Lu, Wen’an Tan, Yong Sun, Zijian Zhang, and Anqiong Tang	926
21	An Effective Image Retrieval Method Based on Multi-features Lang Sun, Yan Tang, and Hong Zhang	931
22	Chinese Herbal Medicine Classification Based on BP Neural Network Changjiang Liu, Xuling Wu, and Wei Xiong	938
23	Verification of Behavior-aware Privacy Requirements in Web Services Composition Jiajun Lu, Zhiqiu Huang, and Changbo Ke	944
24	Construction of Network Security Architecture Based on Formal Specification in Digital Campus Xiaole Li, Ming Weng, and Ying Wen	952
25	Provable Dynamic Data Possession by Datalog Rules Jing Lu and Ting Dou	958
26	A Method of Image Registration Based On Best Similarity of Local Geometric Figure Zetao Jiang, Le Zhou, and Liwen Zhang	964
27	Conversion Algorithm of Linear-Time Temporal Logic to B¨uchi Automata Laixiang Shan, Zheng Qin, Shengnan Li, Renwei Zhang, and Xiao Yang	970
28	Web Event Topic Analysis by Topic Feature Clustering and Extended LDA Model Yuanzi Xu, Qingzhong Li, Zhongmin Yan, and Wei Wang	977
29	Mining Web User Behaviors to Detect Application Layer DDoS Attacks Chuibi Huang, Jinlin Wang, Gang Wu, and Jun Chen	985
30	Study of Highly Efficient Algorithms for the Character Recognition System of Medicine Bottle Label Yueqiu Jiang, Caiyuan Jin, and Hongwei Gao	991
31	An Improved Collaborative Filtering Algorithm Based on User Interest Li Zhang, Tao Qin, and PiQiang Teng	999
32	Toward Customer-centric SOA: Services Resource Active Provisioning Approach Bin Wen, Ziqiang Luo, and Peng Liang	1007
33	QoS Bee Routing Protocol for Ad Hoc Networks Jing Li, Yanping Li, Yuan Wang, and Huakui Wang	1019
34	The Large-scale Dynamic Data Rapid Reduction Algorithm Based on Map-Reduce Jing-ling Yuan, Jing Xie, Yan Yuan, and Lin Li	1028
35	Functional Dependency based on XML Node Sets Husheng Liao, Jia Wu, and Jia Liu	1036
36	Uncertainty Community Detection in Social Networks Hongwei Liu, Li Chen, Hui Zhu, Tao Lu, and Fei Liang	1045
37	An Objective Quality Metric for Image Fusion based on Mutual Information and Muti-scale Structural Similarity Chunyan You, Yong Liu, Bo Zhao, and Shizhong Yang	1050

General Information

ISSN: 1796-217X (Online)
Abbreviated Title: J. Softw.
Frequency: Biannually
APC: 500USD
DOI: 10.17706/JSW
Editor-in-Chief: Prof. Antanas Verikas
Executive Editor: Ms. Cecilia Xie
Abstracting/ Indexing: DBLP, CNKI,
Google Scholar, ProQuest,
INSPEC(IET), ULRICH's Periodicals
Directory, WorldCat, etc
E-mail: editor@jsoftware.us

What's New

Aug 27, 2026 News!

Vol 21, No 1 has been published with online version
Mar 30, 2026 News!

Vol 20, No 2 has been published with online version [Click]
Apr 01, 2024 News!

Vol 14, No 4- Vol 14, No 12 has been indexed by IET-(Inspec) 　 [Click]
Apr 01, 2024 News!

Papers published in JSW Vol 18, No 1- Vol 18, No 6 have been indexed by DBLP [Click]
Mar 07, 2025 News!

JSW had implemented online submission system [Click]

Home > Archive > 2014 > Volume 9 Number 4 (Apr. 2014) >

General Information