THEMIS est un outil permettant de faciliter la conception, le développement et l'analyse d'algorithmes de surveillance décentralisés. Il est développé en Java et AspectJ et fournit une API, des structures de données et des mesures pour la surveillance décentralisée. THEMIS peut être utilisé pour modifier, étendre ou élaborer de nouveaux algorithmes de surveillance décentralisée.