Vol 9, No 4 (2014)

Table of Contents

REGULAR PAPERS

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


Journal of Software (JSW, ISSN 1796-217X)

Copyright @ 2006-2014 by ACADEMY PUBLISHER – All rights reserved.