Mechanized Verification of Cryptographic Security of Cryptographic Security Protocol Implementation in JAVA through Model Extraction in the Computational Model
Zimao Li, Bo Meng, Dejun Wang and Wei Chen
Journal of Software Engineering Volume 9, Number 1, 1-32, 2015
Abstract PDF Fulltext Citations XML References
Research on Cost-Optimal Algorithm of Multi-QoS Constraints for Task Scheduling in Hybrid-Cloud
Liu Yanpei, Li Chunlin, Yang Zhiyong, Chen Yuxuan and Xu Lijun
Journal of Software Engineering Volume 9, Number 1, 33-49, 2015
Abstract PDF Fulltext Citations XML References
A QoS-aware Trust Model for Multipath Load Balancing in Multimedia Sensor Networks
Qian Ye, Meng Wu and Yufei Wang
Journal of Software Engineering Volume 9, Number 1, 50-65, 2015
Abstract PDF Fulltext Citations XML References
Fast Intra Prediction Based on the Texture Feature for H.264/AVC Encoding
Ping Wang, Yichen Chong and Liejun Wang
Journal of Software Engineering Volume 9, Number 1, 66-76, 2015
Abstract PDF Fulltext Citations XML References
A Cooperative Co-Evolutionary Method with Consistency Coordination Mechanisms and its Application to Complex Layout Problem
Junzhou Huo, Jing Chen and Xu Zhang
Journal of Software Engineering Volume 9, Number 1, 77-86, 2015
Abstract PDF Fulltext Citations XML References
New Version of AES-ECC Encryption System Based on FPGA in WSNs
Bing Ji, Liejun Wang and Qinghua Yang
Journal of Software Engineering Volume 9, Number 1, 87-95, 2015
Abstract PDF Fulltext Citations XML References
Collaborative Representation Classifier Based on K Nearest Neighbors for
Classification
Jiangshu Wei, Xiangjun Qi and Mantao Wang
Journal of Software Engineering Volume 9, Number 1, 96-104, 2015
Abstract PDF Fulltext Citations XML References
Emergency Logistics Distribution VRP Based on Differential Evolution Optimization
Pei Tang and Shanhong Zhu
Journal of Software Engineering Volume 9, Number 1, 105-113, 2015
Abstract PDF Fulltext Citations XML References
Research on an ID Authentication Scheme Base on Secret Sharing in Wireless
Sensor Networks
Yongming Li, Qinghua Yang, Liejun Wang and DanTong
Journal of Software Engineering Volume 9, Number 1, 114-120, 2015
Abstract PDF Fulltext Citations XML References
Regional Collaborative Logistics of Agricultural Products Based on Ant Colony Optimization
Journal of Software Engineering Volume 9, Number 1, 121-127, 2015
Abstract PDF Fulltext Citations XML References
Locking Detection on Regenerative Pseudo-Noise Ranging Technology
Ying Xu, Yangbin Liu, Maoshu Zeng, Hong Yuan and Duo Xu
Journal of Software Engineering Volume 9, Number 1, 128-143, 2015
Abstract PDF Fulltext Citations XML References
Implicit Algorithm of Hybrid Hardening Elastic-Plastic Constitutive Relation
and its Application in Autofrettage Residual Stress Analysis
Li Ning, Li Yourong and Zhou Sizhu
Journal of Software Engineering Volume 9, Number 1, 144-156, 2015
Abstract PDF Fulltext Citations XML References
Research on the Steady State and Ripple Current Models of Current Mode Switching
Power Amplifier for Magnetic Bearing
Jun Wang, Liping Wang, Jianghui Dong and Cong Huang
Journal of Software Engineering Volume 9, Number 1, 157-168, 2015
Abstract PDF Fulltext Citations XML References
A Web Service Personal Discovery Based on QoS
Journal of Software Engineering Volume 9, Number 1, 169-178, 2015
Abstract PDF Fulltext Citations XML References
Measuring Overlap-Rate in a Hierarchical Approach for Determining the Number
of Clusters
Journal of Software Engineering Volume 9, Number 1, 179-187, 2015
Abstract PDF Fulltext Citations XML References
DV-Hop Localization Algorithm Based on RSSI Correction
Wanli Zhang, Xiaoying Yang and Qixiang Song
Journal of Software Engineering Volume 9, Number 1, 188-194, 2015
Abstract PDF Fulltext Citations XML References
Review of Large-Scale RDF Data Processing in MapReduce
Ke Hou, Jing Zhang and Xing Fang
Journal of Software Engineering Volume 9, Number 1, 195-202, 2015
Abstract PDF Fulltext Citations XML References