International Journal of Software and Informatics
Latest Publications

TOTAL DOCUMENTS

26
(FIVE YEARS 26)

H-INDEX

0
(FIVE YEARS 0)

Published By International Journal Of Software And Informatics (IJSI)

1673-7288
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

scholarly journals Preface: Special Issue on Advances in System Software

2021 ◽  
Vol 11 (2) ◽  
pp. 117-119
Author(s):  
Yanjun Wu ◽  
Keyword(s):  
System Software ◽  
Special Issue

scholarly journals Reverse Unfolding of Petri Nets and its Application in Program Data Race Detection

2021 ◽  
Vol 11 (4) ◽  
pp. 405-428
Author(s):  
Zongyin Hao ◽  
◽  
Faming Lu
Keyword(s):  
Petri Nets ◽  
Data Race ◽  
Data Race Detection ◽  
Race Detection ◽  
Program Data

scholarly journals Approach to Generating TAP Rules in IoT Systems Based on Enviro nment Modeling

2021 ◽  
Vol 11 (3) ◽  
pp. 259-262
Author(s):  
Minxue Pan ◽  
◽  
Jun Wei ◽  
Zhanqi Cui

scholarly journals Efficient Blockchain-Empowered Data Sharing Incentive Scheme for Internet of Things

2021 ◽  
Vol 11 (3) ◽  
pp. 287-313
Author(s):  
Ting Cai ◽  
◽  
Hui Lin ◽  
Wuhui Chen ◽  
Zibin Zheng ◽  
...  
Keyword(s):  
Internet Of Things ◽  
Data Sharing ◽  
Incentive Scheme

scholarly journals Preface to the Special Issue on Data Management and Analysis Technique Supporting AI

2021 ◽  
Vol 11 (1) ◽  
pp. 1-4
Author(s):  
Lei Chen ◽  
◽  
Hongzhi Wang ◽  
Yongxin Tong ◽  
Hong Gao
Keyword(s):  
Data Management ◽  
Special Issue ◽  
Analysis Technique

scholarly journals Time Series Data Cleaning under Multi-Speed Constraints

2021 ◽  
Vol 11 (1) ◽  
pp. 29-54
Author(s):  
Fei Gao ◽  
◽  
Shaoxu Song ◽  
Jianmin Wang
Keyword(s):  
Time Series ◽  
Time Series Data ◽  
Data Cleaning ◽  
Series Data

scholarly journals A Meta-Modeling Approach for Autonomous Driving Scenario Based on STTD

2021 ◽  
Vol 11 (3) ◽  
pp. 315-333
Author(s):  
Menghan Zhang ◽  
◽  
Dehui Du ◽  
Mingzhuo Zhang ◽  
Lei Zhang ◽  
...  
Keyword(s):  
Autonomous Driving ◽  
Modeling Approach ◽  
Driving Scenario ◽  
Meta Modeling

scholarly journals Smooth Intervention Model of Individual Interactive Behavior

2021 ◽  
Vol 11 (4) ◽  
pp. 453-472
Author(s):  
Xiao Liu ◽  
◽  
Zhaohui Zhang ◽  
Ziming Wei ◽  
Pengwei Wang
Keyword(s):  
Intervention Model ◽  
Interactive Behavior

scholarly journals Preface to the Topic of Formal Methods and Their Applications

2021 ◽  
Vol 11 (4) ◽  
pp. 379-381
Author(s):  
Cong Tian ◽  
◽  
Yuxin Deng ◽  
Yu Jiang
Keyword(s):  
Formal Methods

scholarly journals Automatic Generation of Large-Granularity Pull Request Description

2021 ◽  
Vol 11 (4) ◽  
pp. 383-403
Author(s):  
Li Kuang ◽  
◽  
Ruyi Shi ◽  
Leihao Zhao ◽  
Huan Zhang ◽  
...  
Keyword(s):  
Automatic Generation ◽  
Pull Request
Load More ...
Sign in / Sign up

Export Citation Format

Share Document