Journal of Computer Science and Technology
Latest Publications

TOTAL DOCUMENTS

2841
(FIVE YEARS 191)

H-INDEX

41
(FIVE YEARS 2)

Published By Springer-Verlag

1860-4749, 1000-9000
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

AMCheX: Accurate Analysis of Missing-Check Bugs for Linux Kernel

2021 ◽  
Vol 36 (6) ◽  
pp. 1325-1341
Author(s):  
Ying-Jie Wang ◽  
Liang-Ze Yin ◽  
Wei Dong
Keyword(s):  
Linux Kernel ◽  
Accurate Analysis

scholarly journals HRPDF: A Software-Based Heterogeneous Redundant Proactive Defense Framework for Programmable Logic Controller

2021 ◽  
Vol 36 (6) ◽  
pp. 1307-1324
Author(s):  
Ke Liu ◽  
Jing-Yi Wang ◽  
Qiang Wei ◽  
Zhen-Yong Zhang ◽  
Jun Sun ◽  
...  
Keyword(s):  
Programmable Logic Controller ◽  
Programmable Logic

MEBS: Uncovering Memory Life-Cycle Bugs in Operating System Kernels

2021 ◽  
Vol 36 (6) ◽  
pp. 1248-1268
Author(s):  
Gen Zhang ◽  
Peng-Fei Wang ◽  
Tai Yue ◽  
Xu Zhou ◽  
Kai Lu
Keyword(s):  
Operating System ◽  
Life Cycle ◽  
Operating System Kernels

Activity Diagram Synthesis Using Labelled Graphs and the Genetic Algorithm

2021 ◽  
Vol 36 (6) ◽  
pp. 1388-1406
Author(s):  
Chun-Hui Wang ◽  
Zhi Jin ◽  
Wei Zhang ◽  
Didar Zowghi ◽  
Hai-Yan Zhao ◽  
...  
Keyword(s):  
Genetic Algorithm ◽  
Activity Diagram ◽  
Labelled Graphs

A Unified Shared-Private Network with Denoising for Dialogue State Tracking

2021 ◽  
Vol 36 (6) ◽  
pp. 1407-1419
Author(s):  
Qing-Bin Liu ◽  
Shi-Zhu He ◽  
Kang Liu ◽  
Sheng-Ping Liu ◽  
Jun Zhao
Keyword(s):  
State Tracking ◽  
Private Network

CDM: Content Diffusion Model for Information-Centric Networks

2021 ◽  
Vol 36 (6) ◽  
pp. 1431-1451
Author(s):  
Bo Chen ◽  
Liang Liu ◽  
Hua-Dong Ma
Keyword(s):  
Diffusion Model

Verification of Real Time Operating System Exception Management Based on SPARCv8

2021 ◽  
Vol 36 (6) ◽  
pp. 1367-1387
Author(s):  
Zhi Ma ◽  
Lei Qiao ◽  
Meng-Fei Yang ◽  
Shao-Feng Li ◽  
Jin-Kun Zhang
Keyword(s):  
Operating System ◽  
Real Time ◽  
Real Time Operating System

A Multi-Agent Spatial Logic for Scenario-Based Decision Modeling and Verification in Platoon Systems

2021 ◽  
Vol 36 (6) ◽  
pp. 1231-1247
Author(s):  
Jingwen Xu ◽  
Yanhong Huang ◽  
Jianqi Shi ◽  
Shengchao Qin
Keyword(s):  
Decision Modeling ◽  
Spatial Logic ◽  
Multi Agent

Trace Semantics and Algebraic Laws for Total Store Order Memory Model

2021 ◽  
Vol 36 (6) ◽  
pp. 1269-1290
Author(s):  
Li-Li Xiao ◽  
Hui-Biao Zhu ◽  
Qi-Wen Xu
Keyword(s):  
Memory Model ◽  
Trace Semantics ◽  
Algebraic Laws
Load More ...
Sign in / Sign up

Export Citation Format

Share Document