Page 4 - 《软件学报》2020年第12期

Journal of Software Vol.31, No.12 Dec. 2020

Contents

SYSTEM SOFTWARE AND SOFTWARE ENGINEERING
3671 Approach of Sketch-guided GUI Testing for Mobile App
CHENG Hao-Liang, TANG En-Yi, YU Chun-Zhou, ZHANG Chu-Cheng, CHEN Xin, WANG Lin-Zhang,
BU Lei, LI Xuan-Dong
3685 Reliable Algorithm for Computing Cyclic Iterative Program
ZHAO Shi-Zhong, CHEN Dong-Huo, LIU Jing
PATTERN RECOGNITION AND ARTIFICIAL INTELLIGENCE
3700 POI Recommendation Based on Multidimensional Context-aware Graph Embedding Model
CHEN Jin-Song, MENG Xiang-Wu, JI Wei-Yu, ZHANG Yu-Jie
3716 Preference Vector Guided Co-evolutionary Algorithm for Many-objective Optimization
WANG Li-Ping, CHEN Hong, DU Jie-Jie, QIU Qi-Cang, QIU Fei-Yue
3733 Research on Feature Selection Algorithm Based on Natural Evolution Strategy
ZHANG Xin, LI Zhan-Shan
3753 Survey of Traffic Travel-time Prediction Methods
BAI Meng-Ting, LIN Yang-Xin, MA Meng, WANG Ping
3772 Recognition Method Based on Deep Learning for Chinese Textual Entailment Chunks and Labels
YU Dong, JIN Tian-Hua, XIE Wan-Ying, ZHANG Yi, XUN En-Dong
3787 Temporal Epistemic Logic for Perfect Recall
ZHANG Yu-Zhi, TANG Xiao-Jia
3797 Chinese-Vietnamese Convolutional Neural Machine Translation with Incorporating Syntactic Parsing Tree
WANG Zhen-Han, HE Jian-Ya-Lin, YU Zheng-Tao, WEN Yong-Hua, GUO Jun-Jun, GAO Sheng-Xiang
3808 Adaptive Active Learning for Semi-supervised Learning
LI Yan-Chao, XIAO Fu, CHEN Zhi, LI Bo
DATABASE TECHNOLOGY
3823 Fast Temporal Cycle Enumeration Algorithm on Temporal Graphs
PAN Min-Jia, LI Rong-Hua, ZHAO Yu-Hai, WANG Guo-Ren
3836 3D-online Stable Matching Problem for New Spatial Crowdsourcing Platforms
LI Bo-Yang, CHENG Yu-Rong, WANG Guo-Ren, YUAN Ye, SUN Yong-Jiao
COMPUTER NETWORKS AND INFORMATION SECURITY
3852 Deployment and Scheduling for Fusion-based Detection in RF-powered Sensor Networks
LI Yan-Jun, CHEN Yu-Zhe, LIN Rui-Zhong, CHI Kai-Kai, HU Ya-Hong
3867 Implementation of Fair Contract Signing Protocol Based on Blockchain Technology
YU Lei, ZHAO Xiao-Fang, SUN Yi, ZHANG Jun, ZHANG Han-Wen, WANG Ke-Yuan, JIA Lin-Peng,
JIN Yan, HU Bin
3880 Efficient Single-packet Traceback Approach Based on Alliance Theory
LU Ning, ZHANG Jun-Wei, MA Jian-Feng, CHENG Qing-Feng, ZHANG Jia-Wei, WANG Shang-Guang
3909 Scheme of Revisable Blockchain
REN Yan-Li, XU Dan-Ting, ZHANG Xin-Peng, GU Da-Wu
3923 Attribute-based Encryption Scheme with Fast Encryption
LUO Wang-Ping, FENG Chao-Sheng, ZOU Li-Ping, YUAN Ding, WU Tang-Mei, LI Min, WANG Guang-Jie
3937 Routing Algorithm for Video Opportunistic Transmission Based on Multi-player Cooperative Game
WU Hong-Hai, MA Hua-Hong, XING Ling, ZHENG Guo-Qiang
3950 Protocols for Secure Test on Relationship on Number Axis
GONG Lin-Ming, LI Shun-Dong, SHAO Lian-He, XUE Tao, WANG Dao-Shun
COMPUTER GRAPHICS AND COMPUTER AIDED DESIGN
3968 Image Restoration Based on Cascading Dense Network in Contourlet Transform Domain
LIU Yu-Nan, ZHANG Shan-Shan, WANG Chun-Peng, LI Guang-Yu, YANG Jian
OPERATING SYSTEM
3981 Dynamically Fine-grained Scheduling Method in Cloud Environment
ZHOU Mo-Song, DONG Xiao-She, CHEN Heng, ZHANG Xing-Jun

©Copyright 2020, Institute of Software, the Chinese Academy of Sciences. All rights reserved. No part of this
publication may be reproduced, stored in a retrieval system or transmitted in any form without the prior
written permission of the Institute of Software, the Chinese Academy of Sciences.