Results 11 to 20 of about 1,347,993 (267)
A manifesto for applicable formal methods [PDF]
Software and Systems Modeling, 2023 AbstractRecently, formal methods have been used in large industrial organisations (including AWS, Facebook/Meta, and Microsoft) and have proved to be an effective part of a software engineering process finding important bugs. Perhaps because of that, practitioners are interested in using them more often.
Mario Gleirscher +2 more
openaire +4 more sources
Mobile Agent-Based Software Systems Modeling Approaches: A Comparative Study
Journal of Computing and Information Technology, 2016 Mobile agent-based applications are special type of software systems which take the advantages of mobile agents in order to provide a new beneficial paradigm to solve multiple complex problems in several fields and areas such as network management, e ...
Aissam Belghiat +3 more
doaj +1 more source
Classic and generalized solutions of the mixed problem for wave equation with a summable potential. Part I. Classic solution of the mixed problem [PDF]
Известия Саратовского университета. Новая серия: Математика. Механика. Информатика, 2023 The resolvent approach and the using of the idea of A. N. Krylov on the acceleration of convergence of Fourier series, the properties of a formal solution of a mixed problem for a homogeneous wave equation with a summable potential and a zero initial ...
Kurdyumov, Vitalii Pavlovich
doaj +1 more source
A Systematic Analysis Method for 5G Non-Access Stratum Signalling Security
IEEE Access, 2019 This paper proposes a systematic analysis method for 5G Non-Access Stratum Signalling security based on formal analysis, which has identified 10 new 5G protocol vulnerabilities, and an improved PKI security mechanism targeted at eliminating these ...
Xinxin Hu +5 more
doaj +1 more source
Modeling and verification of finite field multiplier using formal method
Dianzi Jishu Yingyong, 2018 This paper focused on the correctness of finite field multiplier, and described the detailed process of formal modeling and verification of finite field multiplier in higher-order logic theorem prover HOL4.
Zhang Jie, Wang Shaochao, Guan Yong
doaj +1 more source
Research on Community Division Method Under Network Formal Context
Jisuanji kexue yu tansuo, 2021 Network community division is the basis of concept cognition and pattern learning from social networks, and is also a hot topic in the study of machine learning under the network background.
LIU Wenxing, FAN Min, LI Jinhai
doaj +1 more source
A Formal Framework for Integrated Environment Modeling Systems
ISPRS International Journal of Geo-Information, 2017 Integrated Environment Modeling (IEM) has become more and more important for environmental studies and applications. IEM systems have also been extended from scientific studies to much wider practical application situations.
Gaofeng Zhang +5 more
doaj +1 more source
A Formal Modeling and Verification Method for Token Smart Contract [PDF]
Jisuanji gongcheng, 2020 To address the frequent security incidents of token smart contracts,this paper proposes a formal modeling and verification method based on integer overflow vulnerabilities of token smart contracts.The DAO and BEC vulnerability attacks are analyzed,and on
OUYANG Hengyi, XIONG Yan, HUANG Wenchao
doaj +1 more source
Edge Computing-Enabled Train Fusion Positioning: Modeling and Analysis
MathematicsFor train control systems, the accuracy of positioning tracking is essential for ensuring the safety and efficiency of operations. Multi-source information fusion techniques can improve positioning accuracy, but the computational limitations of onboard ...
Hao Yin +5 more
doaj +1 more source
Electronic Notes in Theoretical Computer Science, 1999 AbstractTechnology transfer from academic research to industrial practice is hampered by social, political and economic problems more that by technical issues. This paper describes one instance of successful technology transfer based on a special-purpose language and associated translation tool tailored to the customer's needs.
openaire +1 more source