THEMIS: A Tool for Decentralized Monitoring Algorithms - Inria - Institut national de recherche en sciences et technologies du numérique
Conference Papers Year : 2017

THEMIS: A Tool for Decentralized Monitoring Algorithms

Abstract

THEMIS is a tool to facilitate the design, development, and analysis of decentralized monitoring algorithms; developed using Java and AspectJ. It consists of a library and command-line tools. THEMIS provides an API, data structures and measures for decentralized monitoring. These building blocks can be reused or extended to modify existing algorithms, design new more intricate algorithms, and elaborate new approaches to assess existing algorithms. We illustrate the usage of THEMIS by comparing two variants of a monitoring algorithm.
Fichier principal
Vignette du fichier
themis-demo.pdf (411.2 Ko) Télécharger le fichier
Origin Files produced by the author(s)
Loading...

Dates and versions

hal-01653727 , version 1 (01-12-2017)

Identifiers

Cite

Antoine El-Hokayem, Yliès Falcone. THEMIS: A Tool for Decentralized Monitoring Algorithms. ISSTA 2017, Jul 2017, Santa Barbara, United States. pp.125-135 ⟨10.1145/3092703.3092723⟩. ⟨hal-01653727⟩
516 View
299 Download

Altmetric

Share

More