Buscar
Mostrando ítems 1-5 de 5
On Distributed Collaboration for Biomedical Analyses
(IEEE Xplore, 2019)
Cooperation of research groups is nowadays common for the development and execution of biomedical analyses. Multiple partners contribute data in this context, data that is often centralized for processing at some cluster-based ...
REAL-T: Time Modularization in Reactive Distributed Applications
(Springer Nature, 2018)
In this paper, we propose REAL-T, a distributed event-based language with explicit support for time manipulation. The language introduces automata for operational time manipulation, causality constructs and Linear Temporal ...
On Distributed Collaboration for Biomedical Analyses
(IEEE Xplore, 2019)
Cooperation of research groups is nowadays common for the development and execution of biomedical analyses. Multiple partners contribute data in this context, data that is often centralized for processing at some cluster-based ...
Towards Real-Time Semantics for a Distributed Event-Based MOP Language
(Springer Nature, 2018)
This paper investigates rewriting logic as a suitable means to model the semantics of distributed and concurrent systems implemented using Monitoring Oriented Programming (MOP) frameworks. MOP tools close the gap between ...
REAL-T: Time Modularization in Reactive Distributed Applications
(Springer Nature, 2018)
In this paper, we propose REAL-T, a distributed event-based language with explicit support for time manipulation. The language introduces automata for operational time manipulation, causality constructs and Linear Temporal ...