Results 1 to 10 of about 49,891 (172)
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
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
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
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
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
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
Executable Business Process Modeling
Развитие образования, 2020 As noted in the explanatory note to the «Information Systems Specialist» professional standard, the success of implementing information systems is largely determined by the accuracy of their adaptation to the business processes of the customer ...
Natalya V. Bogoslovskaya +1 more
doaj +1 more source
Execution of Partial State Machine Models [PDF]
IEEE Transactions on Software Engineering (TSE). (2020) 1-28, 2021 The iterative and incremental nature of software development using models typically makes a model of a system incomplete (i.e., partial) until a more advanced and complete stage of development is reached. Existing model execution approaches (interpretation of models or code generation) do not support the execution of partial models.
arxiv +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