|
|
|
|
|
Yiming Fan and Meng Wang
Software specifications are of great importance to improve the quality of software. To automatically mine specifications from software systems, some specification mining approaches based on finite-state automatons have been proposed. However, these appro...
ver más
|
|
|
|
|
|
|
|
|
|
|
Suhee Jo, Ryeonggu Kwon and Gihwon Kwon
GitHub serves as a platform for collaborative software development, where contributors engage, evolve projects, and shape the community. This study presents a novel approach to analyzing GitHub activity that departs from traditional methods. Using Discre...
ver más
|
|
|
|
|
|
|
|
|
|
|
Tao Feng, Taining Chen and Xiang Gong
This paper presents a formal security analysis of the ISA100.11a standard protocol using the Colored Petri Net (CPN) modeling approach. Firstly, we establish a security threat model for the ISA100.11a protocol and provide a detailed description and analy...
ver más
|
|
|
|
|
|
|
|
|
|
|
Shalaka Hire, Sayali Sandbhor and Kirti Ruikar
With developments in Industry 4.0, there is growing momentum to adopt technology-assisted tools to support existing processes. Even though most construction processes are now computerized, safety procedures have not yet fully embraced the digital revolut...
ver más
|
|
|
|
|
|
|
|
|
|
|
Manos Garefalakis, Zacharias Kamarianakis and Spyros Panagiotakis
As it concerns remote laboratories (RLs) for teaching microcontroller programming, the related literature reveals several common characteristics and a common architecture. Our search of the literature was constrained to papers published in the period of ...
ver más
|
|
|
|
|
|
|
|
|
|
|
Alireza Hajiheidari, Mahmoud Reza Delavar and Abbas Rajabifard
Enriching and updating maps are among the most important tasks of any urban management organization for informed decision making. Urban cadastral map enrichment is a time-consuming and costly process, which needs an expert?s opinion for quality control. ...
ver más
|
|
|
|
|
|
|
|
|
|
|
Fawad Ali Mangi, Guoxin Su and Minjie Zhang
The study of business process analysis and optimisation has attracted significant scholarly interest in the recent past, due to its integral role in boosting organisational performance. A specific area of focus within this broader research field is proce...
ver más
|
|
|
|
|
|
|
|
|
|
|
Yati Phyo, Moe Nandi Aung, Canh Minh Do and Kazuhiro Ogata
Termination or halting is an important system requirement that many systems should satisfy and can be expressed in linear temporal logic as eventual properties. We devised a divide-and-conquer approach to eventual model checking in order to reduce the st...
ver más
|
|
|
|
|
|
|
|
|
|
|
Wei Chen, Xianglin Fu, Wanqing Chen and Zijun Peng
For the development of reinforced concrete structures and infrastructure construction, traditional rebar checking and acceptance methods have shortcomings in terms of efficiency. The use of digital image processing technology cannot easily identify a reb...
ver más
|
|
|
|
|
|
|
|
|
|
|
Yunong Zhang, Anmin Zhang, Miao Gao and Yi Liang
Spatial relation models are the basis for realising three-dimensional spatial analysis. More researchers are now focusing on models that combine topological relations with distance or directional relations; however, a model that unifies all three relatio...
ver más
|
|
|
|
|
|