Results 31 to 40 of about 45,458 (300)

Malware Authorship Attribution Model using Runtime Modules based on Automated Analysis

JOIV: International Journal on Informatics Visualization, 2022
Malware authorship attribution is a research field that identifies the author of malware by extracting and analyzing features that relate the authors from the source code or binary code of malware.
Sangwoo Lee, Jungwon Cho
doaj   +1 more source

TRAP: trace runtime analysis of properties [PDF]

Frontiers of Computer Science, 2019
We present a method and a tool for the verification of causal and temporal properties for embedded systems. We analyze trace streams resulting from the execution of virtual prototypes that combine simulated hardware and embedded software. The main originality lies in the use of logical clocks to abstract away irrelevant information from the trace.
Yue, Daian, Joloboff, Vania, Mallet, Frédéric   +2 more
openaire   +2 more sources

Analysis-Runtime Co-design for Adaptive Mixed Criticality Scheduling [PDF]

, 2022
In this paper, we use the term “Analysis-Runtime Co-design” to describe the technique of modifying the runtime protocol of a scheduling scheme to closely match the analysis derived for it. Carefully designed modifications to the runtime protocol make the
Davis, Robert Ian, Burns, Alan, Bate, Iain John   +2 more
core   +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, Claudia Plant, Norbert Brändle   +2 more
doaj   +1 more source

Runtime Analysis of Whole-System Provenance [PDF]

Proceedings of the 2018 ACM SIGSAC Conference on Computer and Communications Security, 2018
Identifying the root cause and impact of a system intrusion remains a foundational challenge in computer security. Digital provenance provides a detailed history of the flow of information within a computing system, connecting suspicious events to their root causes.
Thomas F. J.-M. Pasquier, Xueyuan Han, Thomas Moyer, Adam Bates 0001, Olivier Hermant, David M. Eyers, Jean Bacon, Margo I. Seltzer   +7 more
openaire   +4 more sources

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

On the Role of Primary and Secondary Assets in Adaptive Security: An Application in Smart Grids [PDF]

, 2012
Adaptive security aims to protect valuable assets managed by a system, by applying a varying set of security controls. Engineering adaptive security is not an easy task. A set of effective security countermeasures should be identified.
Inah Omoronyia, Omoronyia, Inah, Liliana Pasquale, Mazeiar Salehie, Inah, O., Mazeiar, S., Nuseibeh, Bashar, Raian Ali, Ali, Raian, Liliana Pasquale (12615865), Omoronyia, I., Bashar Nuseibeh, BASHAR NUSEIBEH (12348499), Salehie, Mazeiar, Ali, R., Inah Omoronyia (12616039), Bashar, N., Liliana, P., Pasquale, Liliana, Pasquale, L., Salehie, M., Nuseibeh, B., Raian Ali (12066006), Salehie Mazeiar (12617047)   +23 more
core   +1 more source

On the Performance Evaluation of Protocol State Machine Reverse Engineering Methods

Journal of Communications Software and Systems
Having 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

Runtime Analysis of Crowding Mechanisms for Multimodal Optimization [PDF]

IEEE Transactions on Evolutionary Computation, 2020
Many real-world optimisation problems lead to multimodal domains and require the identification of multiple optima. Crowding methods have been developed to maintain population diversity, to investigate many peaks in parallel and to reduce genetic drift.
Covantes Osuna, E., Sudholt, D.
openaire   +3 more sources