On evidence preservation requirements for forensic-ready systems
Forensic readiness denotes the capability of a system to support digital forensic
investigations of potential, known incidents by preserving in advance data that could serve …
investigations of potential, known incidents by preserving in advance data that could serve …
Probabilistic QoS-aware placement of VNF chains at the edge
Deploying Internet of Things (IoT)-enabled virtual network function (VNF) chains to Cloud-
Edge infrastructures requires determining a placement for each VNF that satisfies all set …
Edge infrastructures requires determining a placement for each VNF that satisfies all set …
Networcat: applying analysis techniques of shared memory software on message-passing distributed systems
L Bajczi, V Molnár - Software and Systems Modeling, 2025 - Springer
Communication models are a key aspect in the design and implementation of distributed
system architectures. Application logic must consider the guarantees of these models, which …
system architectures. Application logic must consider the guarantees of these models, which …
Verification of sometimes termination of lazy-bounded declarative distributed systems
F Di Cosmo - arxiv preprint arxiv:2308.10007, 2023 - arxiv.org
Declarative Distributed Systems (DDSs) are distributed systems grounded in logic
programming. Although DDS model-checking is undecidable in general, we detect …
programming. Although DDS model-checking is undecidable in general, we detect …
Efficient distributed query processing
A variety of wireless networks, including applications of Wireless Sensor Networks, Internet
of Things, and Cyber-physical Systems, increasingly pervade our homes, retail …
of Things, and Cyber-physical Systems, increasingly pervade our homes, retail …
Declarative networking: Recent theoretical work on coordination, correctness, and declarative semantics
TJ Ameloot - ACM SIGMOD Record, 2014 - dl.acm.org
Declarative Networking Page 1 Declarative Networking: Recent Theoretical Work on
Coordination, Correctness, and Declarative Semantics∗ Tom J. Ameloot † Hasselt …
Coordination, Correctness, and Declarative Semantics∗ Tom J. Ameloot † Hasselt …
Declarative framework for specification, simulation and analysis of distributed applications
Researchers have recently shown that declarative database query languages, such as
Datalog, could naturally be used to specify and implement network protocols and services …
Datalog, could naturally be used to specify and implement network protocols and services …
Decidability Borders of Verification of Communicating Datalog Agents
F Di Cosmo - European Conference on Multi-Agent Systems, 2023 - Springer
Decidability Borders of Verification of Communicating Datalog Agents | SpringerLink Skip to
main content Advertisement SpringerLink Account Menu Find a journal Publish with us …
main content Advertisement SpringerLink Account Menu Find a journal Publish with us …
Putting logic-based distributed systems on stable grounds
TJ Ameloot, J Van den Bussche… - Theory and Practice of …, 2016 - cambridge.org
In the Declarative Networking paradigm, Datalog-like languages are used to express
distributed computations. Whereas recently formal operational semantics for these …
distributed computations. Whereas recently formal operational semantics for these …
Decidability Boundaries in Formal Verification of Declarative Distributed Systems
F Di Cosmo - bia.unibz.it
Abstract Declarative Distributed Systems (DDSs) are a model of distributed computation
grounded in declarative, logic programming. A DDS consists of a finite network of computing …
grounded in declarative, logic programming. A DDS consists of a finite network of computing …