Results 1 to 10 of about 140,437 (320)
The $\pi$-Calculus is Behaviourally Complete and Orbit-Finitely Executable [PDF]
Logical Methods in Computer Science, 2021 Reactive Turing machines extend classical Turing machines with a facility to model observable interactive behaviour. We call a behaviour (finitely) executable if, and only if, it is equivalent to the behaviour of a (finite) reactive Turing machine.
Bas Luttik, Fei Yang
doaj +1 more source
SoftwareX, 2021 Executable HTML is a collection of custom HTML elements that offer document authors the ability to write and execute procedural logic in HTML5. We discuss the motivation of this approach, which lies in the composition of formal Ambulatory Assessment ...
Nikolaos Batalas +2 more
doaj +1 more source
Version-Wide Software Birthmark via Machine Learning
IEEE Access, 2021 Identifying the credibility of executable files is critical for the security of an operating system. Modern operating systems rely on code signing, which uses a default-valid trust model, for executable files to identify their publishers. A malware could
Chih-Ko Chung, Pi-Chung Wang
doaj +1 more source
Executable Behaviour and the π-Calculus (extended abstract) [PDF]
Electronic Proceedings in Theoretical Computer Science, 2015 Reactive Turing machines extend classical Turing machines with a facility to model observable interactive behaviour. We call a behaviour executable if, and only if, it is behaviourally equivalent to the behaviour of a reactive Turing machine.
Bas Luttik, Fei Yang
doaj +1 more source
EIPPM—The Executable Integrative Product-Production Model
Computers, 2021 In this paper, a combination of graph-based design and simulation-based engineering (SBE) into a new concept called Executable Integrative Product-Production Model (EIPPM) is elaborated.
Dominik Schopper +3 more
doaj +1 more source
A new method for performance evaluation of enterprise architecture using streotypes [PDF]
Management Science Letters, 2013 These days, we see many organizations with extremely complex systems with various processes, organizational units, individuals, and information technology support where there are complex relationships among their various elements. In these organizations,
Samaneh Khamseh +2 more
doaj +1 more source
Learning an Executable Neural Semantic Parser [PDF]
Computational Linguistics, 2019 This article describes a neural semantic parser that maps natural language utterances onto logical forms that can be executed against a task-specific environment, such as a knowledge base or a database, to produce a response.
Jianpeng Cheng +3 more
doaj +1 more source
Web-Based Malware Detection System Using Convolutional Neural Network
Digital, 2023 In this article, we introduce a web-based malware detection system that leverages a deep-learning approach. Our primary objective is the development of a robust deep-learning model designed for classifying malware in executable files.
Ali Alqahtani +3 more
doaj +1 more source
Journal of Wound Care, 2015 The impact of dietary fats and oils on health continues to be a controversial subject. In addition, the ability of the food industry to freely alter the fat content and composition of foods to meet dietary recommendations is limited by how these food components affect food quality and stability.
Donna Angel +6 more
openaire +4 more sources
Executable Map Paper (EMaP) for Archaeological LiDAR
Journal of Computer Applications in Archaeology, 2023 Archaeological LiDAR has evolved into an indispensable component of archaeological prospection and landscape archaeology. However, it is frequently employed as a black-box digital method, which confines it to the realm of a specialized field.
Benjamin Štular, Edisa Lozić
doaj +1 more source