Results 31 to 40 of about 22,226,095 (257)
linkml/linkml-runtime: v1.6.0rc1
, 2023 <p>RC for 1.6.x series, allowing for use of pydantic v2</p> What's Changed <ul> <li>Bump pydantic requirement by @caufieldjh in <a href="https://github.com/linkml/linkml-runtime/pull/272">https://github.com/linkml/linkml ...
Sierra Moxon +19 more
core +1 more source
Designing Multi-Agent System Organisations for Flexible Runtime Behaviour
Applied Sciences, 2020 We address the challenge of multi-agent system (MAS) design for organisations of agents acting in dynamic and uncertain environments where runtime flexibility is required to enable improvisation through sharing knowledge and adapting behaviour.
Kathleen Keogh, Liz Sonenberg
doaj +1 more source
Session Types with Runtime Adaptation: Overview and Examples [PDF]
Electronic Proceedings in Theoretical Computer Science, 2013 In recent work, we have developed a session types discipline for a calculus that features the usual constructs for session establishment and communication, but also two novel constructs that enable communicating processes to be stopped, duplicated, or ...
Cinzia Di Giusto, Jorge A. Pérez
doaj +1 more source
IncDTW: An R Package for Incremental Calculation of Dynamic Time Warping
Journal of Statistical Software, 2021 Dynamic time warping (DTW) is a popular distance measure for time series analysis and has been applied in many research domains. This paper proposes the R package IncDTW for the incremental calculation of DTW, and based on this principle IncDTW also ...
Maximilian Leodolter +2 more
doaj +1 more source
, 2021 What's Changed <ul> <li>Corresponding linkml changes for <a href="https://github.com/linkml/linkml-model/pull/52">https://github.com/linkml/linkml-model/pull/52</a> by @cmungall in <a href="https://github.com/linkml/linkml ...
Sierra Moxon +6 more
core +1 more source
On the Performance Evaluation of Protocol State Machine Reverse Engineering Methods
Journal of Communications Software and SystemsHaving access to the specifications of network protocols is essential for several reasons in IT security. When the specifications are not known, one may turn to protocol reverse engineering methods to reconstruct these, typically by analysing recorded ...
Gergo Ladi, Tamas Holczer
doaj +1 more source
An Automated Framework for Runtime Analysis of Malicious Executables on Linux
Telfor Journal, 2021 One way of testing a malware detection tool is to expose it to a large number of diverse malware samples and verify its detection accuracy. During these tests, the host system must not be harmed by malware and yet be able to analyze its harmful behavior.
I. Vurdelja +3 more
doaj +1 more source
linkml/linkml-runtime: v1.5.0rc2
, 2023 For model changes, see: https://github.com/linkml/linkml-model/releases/tag/v1.5.0rc1 Full Changelog: https://github.com/linkml/linkml-runtime/compare/v1.4.0...v1.5 ...
Sierra Moxon +16 more
core +1 more source
Runtime Instrumentation for Precise Flow-Sensitive Type Analysis [PDF]
We describe a combination of runtime information and static analysis for checking properties of complex and configurable systems. The basic idea of our approach is to 1) let the program execute and thereby read the important dynamic configuration data ...
Kneuss, Etienne +2 more
core +2 more sources
, 2015 In runtime verification, the central problem is to decide if a given program execution violates a given property. In online runtime verification, a monitor observes a program’s execution as it happens.
Kiefer, Stefan +3 more
core +1 more source