Volume 27,Issue 3,2016 Table of Contents

Other Issues:  
  
Contents

  • Online Web News Extraction via Tag Path Feature Fusio
  • WU Gong-Qing, HU Jun, LI Li, XU Zhe-Hao, LIU Peng-Cheng, HU Xue-Gang and WU Xin-Dong
  • 2016,27(3):714-735 [Abstract(2142)]  [View PDF(1654)2.39 M]
  • Special Issue's Articles

  • 软件形式化方法与应用专题前言
  • 詹乃军,王戟,李宣东
  • 2016,27(3):495-496 [Abstract(2727)]  [View PDF(2205)364.87 K]
  • Formalization of Geometric Algebra Theories in Higher-Order Logic
  • MA Sha, SHI Zhi-Ping, LI Li-Ming, GUAN Yong, ZHANG Jie and Xiaoyu SONG
  • 2016,27(3):497-516 [Abstract(3162)]  [View PDF(2260)476.76 K]
  • Termination Analysis of Non-Linear Loops over Closed and Bounded Connected Domain
  • LI Yi and FENG Yong
  • 2016,27(3):517-526 [Abstract(2829)]  [View PDF(1271)1.11 M]
  • Modeling Urban Traffic Control Systems from the Perspective of Real Time Calculus
  • SUN Jing-Hao, GUAN Nan, DENG Qing-Xu, ZHANG Xin and YANG Feng-Yuan
  • 2016,27(3):527-546 [Abstract(2808)]  [View PDF(1920)3.09 M]
  • Interrupt Data Race Detection Based on Shared Variable Access Order Pattern
  • CHEN Rui, YANG Meng-Fei and GUO Xiang-Ying
  • 2016,27(3):547-561 [Abstract(2563)]  [View PDF(1925)1.69 M]
  • Equipment Collaboration in General Test Languages of Safety Critical Syst
  • LÜ Jiang-Hua, GAO Shi-Wei, MA Shi-Long, SUN Bo and LI Xian-Jun
  • 2016,27(3):562-579 [Abstract(2464)]  [View PDF(1433)1.93 M]
  • Refinement Checking Based on Simulation Relations
  • WANG Ting, CHEN Tie-Ming and LIU Yang
  • 2016,27(3):580-592 [Abstract(2674)]  [View PDF(1534)1.44 M]
  • Test Generation Approach Guided by Linear Fitting for Condition/Decision Coverage Crit
  • TANG En-Yi, ZHOU Yan, OU Jian-Sheng and CHEN Xin
  • 2016,27(3):593-610 [Abstract(2666)]  [View PDF(2050)2.13 M]
  • Time-Predictable Multi-Threaded Code Generation with Synchronous Languages
  • YANG Zhi-Bin, ZHAO Yong-Wang, HUANG Zhi-Qiu, HU Kai, MA Dian-Fu, Jean-Paul BODEVEIX and Mamoun FILALI
  • 2016,27(3):611-632 [Abstract(2784)]  [View PDF(1768)2.35 M]
  • Tool for Analyzing Interference Problems in Aspect-Oriented Designs
  • CHEN Xin, HUANG Chao, ZHANG Yi-Fan and Mei Yi-Ming
  • 2016,27(3):633-644 [Abstract(2681)]  [View PDF(1440)1.41 M]
  • Barrier Certificate Generation for Safety Verification of Continuous Systems for a Bounded Time
  • GAN Ting and XIA Bi-Can
  • 2016,27(3):645-654 [Abstract(2542)]  [View PDF(1576)1.20 M]
  • Formal Evaluation of Scheduling Strategies for Smart Building Air-Conditioning Systems under Uncertain Environment
  • CHEN Ming-Song, GU Fan, XU Si-Yuan and CHEN Xiao-Hong
  • 2016,27(3):655-669 [Abstract(3089)]  [View PDF(1789)3.01 M]
  • Checking Satisfiability of Two-Dimensional Logic PPTLSL
  • LU Xu, DUAN Zhen-Hua and TIAN Cong
  • 2016,27(3):670-681 [Abstract(2690)]  [View PDF(1335)1.37 M]
  • Survey on Formal Models to Reason about Infinite Data Values
  • SONG Fu and WU Zhi-Lin
  • 2016,27(3):682-690 [Abstract(3053)]  [View PDF(1795)1.04 M]
  • Review Articles

  • Survey on Learning-to-Rank Based Recommendation Algorithms
  • HUANG Zhen-Hua, ZHANG Jia-Wen, TIAN Chun-Qi, SUN Sheng-Li and XIANG Yang
  • 2016,27(3):691-713 [Abstract(5728)]  [View PDF(9415)2.43 M]
  • Research on Green Network Theory and Technology
  • ZHANG Guo-Qiang, XU Zi-Qu and LIU Zhen
  • 2016,27(3):736-759 [Abstract(4031)]  [View PDF(1886)2.61 M]
  • Introduction to Public Key Cryptanalysis
  • XIAO Ren-Yi
  • 2016,27(3):760-767 [Abstract(3983)]  [View PDF(2633)948.75 K]