The Prometheus Design Tool (PDT) is a graphical tool that is used to design a Multi-Agent System following the Prometheus Methodology. This paper describes the latest version of P...
The MILOS system supports software development processes over the Internet. It integrates process modeling with project planning and enactment. Our flexible workflow engine allows...
Frank Maurer, Giancarlo Succi, Harald Holz, Boris ...
The transition from single-core to multi-core processors has made multi-threaded software an important subject over the last years in computer-aided verification. Model checkers ...
SUDS is a powerful infrastructure for creating dynamic bug detection tools. It contains phases for both static analysis and dynamic instrumentation allowing users to create tools ...
Lately, there have been considerable efforts to computerize Clinical Practice Guidelines (CPG) so that they can be executed via Clinical Decision Support Systems (CDSS) at the poin...