计算机研究与发展
       ISSN 1000-1239   CN 11-1777/TP  
   RSS  Email Alert     
   
 
Nianqi Search Key words Adv search
33
2017 Vol. 54, No. 7
Published: 01 July 2017

   
 
1405 Survey on Development of Solving Methods and State-of-the-Art Applications of Satisfiability Modulo Theories Hot!
Wang Chong, Lü Yinrun, Chen Li, Wang Xiuli, Wang Yongji
DOI: 10.7544/issn1000-1239.2017.20160303
2017 Vol. 54 (7): 1405-1425 [Abstract] ( 760 ) HTML (206 KB)  PDF (5478 KB)  ( 579 )
1426 An Efficient Collaborative Filtering Algorithm Based on Graph Model and Improved KNN
Meng Huanyu, Liu Zhen, Wang Fang, Xu Jiadong, Zhang Guoqiang
DOI: 10.7544/issn1000-1239.2017.20160302
2017 Vol. 54 (7): 1426-1438 [Abstract] ( 526 ) HTML (143 KB)  PDF (4831 KB)  ( 571 )
1439 A Collaborative Filtering Recommendation Method Based on Differential Privacy
He Ming, Chang Mengmeng, Wu Xiaofei
DOI: 10.7544/issn1000-1239.2017.20160207
2017 Vol. 54 (7): 1439-1451 [Abstract] ( 497 ) HTML (140 KB)  PDF (5394 KB)  ( 475 )
1452 Mining Top-k Distinguishing Sequential Patterns Using Spark
Zhang Peng, Duan Lei, Qin Pan, Zuo Jie, Tang Changjie, Yuan Chang’an, Peng Jian
DOI: 10.7544/issn1000-1239.2017.20160553
2017 Vol. 54 (7): 1452-1464 [Abstract] ( 777 ) HTML (130 KB)  PDF (5657 KB)  ( 442 )
1465 An Audience Targeting Algorithm Based on Neighbor Choosing Strategy
Zhou Meng, Zhu Fuxi
DOI: 10.7544/issn1000-1239.2017.20160360
2017 Vol. 54 (7): 1465-1476 [Abstract] ( 485 ) HTML (107 KB)  PDF (4655 KB)  ( 338 )
1477 A Method for Monotonic Classification Based on Decision Forest
Xu Hang, Wang Wenjian, Ren Lifang
DOI: 10.7544/issn1000-1239.2017.20160154
2017 Vol. 54 (7): 1477-1487 [Abstract] ( 427 ) HTML (102 KB)  PDF (5890 KB)  ( 414 )
1488 Analyzing Rating Data and Modeling Dynamic Behaviors of Users Based on the Bayesian Network
Wang Fei, Yue Kun, Sun Zhengbao, Wu Hao, Feng Hui
DOI: 10.7544/issn1000-1239.2017.20160556
2017 Vol. 54 (7): 1488-1499 [Abstract] ( 604 ) HTML (133 KB)  PDF (7278 KB)  ( 478 )
1500 Local Optimal Granularity Selections in Incomplete Multi-Granular Decision Systems
Gu Shenming, Gu Jinyan, Wu Weizhi, Li Tongjun, Chen Chaojun
DOI: 10.7544/issn1000-1239.2017.20160349
2017 Vol. 54 (7): 1500-1509 [Abstract] ( 399 ) HTML (157 KB)  PDF (2089 KB)  ( 220 )
1510 Lattice-Based Forward Secure and Certificateless Signature Scheme
Xu Qian, Tan Chengxiang, Feng Jun, Fan Zhijie, Zhu Wenye
DOI: 10.7544/issn1000-1239.2017.20160427
2017 Vol. 54 (7): 1510-1524 [Abstract] ( 485 ) HTML (236 KB)  PDF (3131 KB)  ( 330 )
1525 Impossible Differential Attack on Crypton
Cui Jingyi, Guo Jiansheng, Liu Yipeng
DOI: 10.7544/issn1000-1239.2017.20160415
2017 Vol. 54 (7): 1525-1536 [Abstract] ( 363 ) HTML (185 KB)  PDF (4586 KB)  ( 219 )
1537 The Malware Detection Based on Data Breach Actions
Wang Lina, Tan Cheng, Yu Rongwei, Yin Zhengguang
DOI: 10.7544/issn1000-1239.2017.20160436
2017 Vol. 54 (7): 1537-1548 [Abstract] ( 417 ) HTML (89 KB)  PDF (7670 KB)  ( 490 )
1549 Protocols for Secure Computation of Set-Inclusion with the Unencrypted Method
Chen Zhenhua, Li Shundong, Wang Daoshun, Huang Qiong, Dong Lihong
DOI: 10.7544/issn1000-1239.2017.20160034
2017 Vol. 54 (7): 1549-1556 [Abstract] ( 323 ) HTML (109 KB)  PDF (1940 KB)  ( 220 )
1557 Dynamically Detecting Multiple Types of Deadlocks Using Lock Allocation Graphs
Yu Zhen, Su Xiaohong, Qiu Jing
DOI: 10.7544/issn1000-1239.2017.20160369
2017 Vol. 54 (7): 1557-1568 [Abstract] ( 279 ) HTML (122 KB)  PDF (4342 KB)  ( 328 )
1569 QEMU-Based Dynamic Function Call Tracing
Xiang Yong, Cao Ruidong, Mao Yingming
DOI: 10.7544/issn1000-1239.2017.20160094
2017 Vol. 54 (7): 1569-1576 [Abstract] ( 596 ) HTML (57 KB)  PDF (3069 KB)  ( 305 )
1577 Web Database top-k Diverse Keyword Query Suggestion Approach
Meng Xiangfu, Bi Chongchun, Zhang Xiaoyan, Tang Xiaoliang, Tang Yanhuan
DOI: 10.7544/issn1000-1239.2017.20160005
2017 Vol. 54 (7): 1577-1591 [Abstract] ( 374 ) HTML (163 KB)  PDF (6668 KB)  ( 437 )
1592 A Multi-Way Spatial Join Querying Processing Algorithm Based on Spark
Qiao Baiyou, Zhu Junhai, Zheng Yujie, Shen Muchuan, Wang Guoren
DOI: 10.7544/issn1000-1239.2017.20160558
2017 Vol. 54 (7): 1592-1602 [Abstract] ( 415 ) HTML (118 KB)  PDF (6150 KB)  ( 176 )
1603 An Access Control Method Supporting Multi-User Collaborative Edit in Cloud Storage
Shi Jiaoli, Huang Chuanhe, He Kai, Shen Xieyang, Hua Chao
DOI: 10.7544/issn1000-1239.2017.20151135
2017 Vol. 54 (7): 1603-1616 [Abstract] ( 310 ) HTML (188 KB)  PDF (7723 KB)  ( 392 )
1617 A Distributed Deadline Propagation Approach to Reduce Long-Tail in Datacenters
Ren Rui, Ma Jiuyue, Sui Xiufeng, Bao Yungang
DOI: 10.7544/issn1000-1239.2017.20160247
2017 Vol. 54 (7): 1617-1628 [Abstract] ( 679 ) HTML (111 KB)  PDF (6790 KB)  ( 221 )
计算机研究与发展
·
·
·
·
·
·
·F5000
·
More....  
More....  
EI Village
China Computer Federation
Institute of Computing, Chinese Academy of Sciences
More....  
 
 
Copyright © Editorial Board of Journal of Computer Research and Development
Supported by:Beijing Magtech