This repository contains a demo for real-time fraud detection. Installation prerequisites Docker Compose: This tutorial uses Docker Compose to manage an Apache Kafka environment (including sample data ...

This repository holds a series of Java and Scala examples, that demonstrate typical use cases for the HERE Workspace – a part of HERE platform. HERE Workspace is an environment to enrich, transform ...

The use of runtime verification, as a lightweight approach to guarantee properties of systems, has been increasingly employed on real-life software. In this paper, we present the tool LARVA, for the ...