Results 21 to 30 of about 140,437 (320)
Lightweight and static verification of UML executable models [PDF]
, 2016 Executable models play a key role in many software development methods by facilitating the (semi)automatic implementation/execution of the software system under development.
Cabot, Jordi +2 more
core +3 more sources
DEBS Grand Challenge: Glasgow Automata Illustrated [PDF]
, 2012 The challenge is solved using Glasgow automata, concise complex event processing engines executable in the context of a topic-based publish/subscribe cache of event streams and relations.
Koliousis, Alexandros, Sventek, Joseph
core +1 more source
Dynamic Analysis of ARM ELF Shared Libraries Using Static Binary Instrumentation
Труды Института системного программирования РАН, 2018 Dynamic program analysis is a prominent approach towards software quality control allowing to perform automatic profiling, defect detection and other activities during software development. In this paper we focus on static binary code instrumentation – a
M. K. Ermakov, S. P. Vartanov
doaj +1 more source
Nature, 2007 China won't achieve a tenable drug regulation policy by hanging public officials.
openaire +2 more sources
Formalising Filesystems in the ACL2 Theorem Prover: an Application to FAT32 [PDF]
Electronic Proceedings in Theoretical Computer Science, 2018 In this work, we present an approach towards constructing executable specifications of existing filesystems and verifying their functional properties in a theorem proving environment. We detail an application of this approach to the FAT32 filesystem. We
Mihir Parang Mehta
doaj +1 more source
BOXVIA: Bayesian optimization executable and visualizable application
SoftwareX, 2022 Bayesian optimization (BO) has attracted attention in various research fields as a powerful probabilistic approach for solving optimization problems. To further facilitate the use of BO, we developed a graphical user interface-based Python application ...
Akimitsu Ishii +3 more
doaj +1 more source
Executable network of SARS-CoV-2-host interaction predicts drug combination treatments
npj Digital Medicine, 2022 The COVID-19 pandemic has pushed healthcare systems globally to a breaking point. The urgent need for effective and affordable COVID-19 treatments calls for repurposing combinations of approved drugs.
Rowan Howell +10 more
doaj +1 more source
Proceedings of the International Florida Artificial Intelligence Research Society Conference, 2021 Regulatory agencies publish tax-compliance content written in natural language intended for human consumption. There has been very little work on automated methods for interpreting this content and for generating executable calculations from it.
Esme Manandise +2 more
doaj +1 more source
Semi-automatic distribution pattern modeling of web service compositions using semantics [PDF]
, 2006 Enterprise systems are frequently built by combining a number of discrete Web services together, a process termed composition. There are a number of architectural configurations or distribution patterns, which express how a composed system is to be ...
Barrett, Ronan, Pahl, Claus
core +2 more sources
Abstraction in situation calculus action theories [PDF]
, 2017 We develop a general framework for agent abstraction based on the situation calculus and the ConGolog agent programming language. We assume that we have a high-level specification and a low-level specification of the agent, both repre- sented as basic ...
Banihashemi, Bita +2 more
core +1 more source