A java client for accessing Treasure Data API. With this client, you can: submit Hive/Presto queries to Treasure Data; check the status of jobs (queries) retrieve query results; check the information ...

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 ...