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

General Information

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

What's New

Oct 22, 2024 News!

Vol 19, No 3 has been published with online version [Click]
Jan 04, 2024 News!

JSW will adopt Article-by-Article Work Flow
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]
Jun 12, 2024 News!

Vol 19, No 2 has been published with online version [Click]

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

General Information