The goal of this research is to build and evaluate collaborative tools that persuade behavior change over a group of individuals. Preliminary work in this area is presented and fu...
An overview is given of a number of recent developments in SAT and SAT Modulo Theories (SMT). In particular, based on our k of Abstract DPLL and Abstract DPLL modulo Theories, we e...
This panel paper presents the views of six researchers and practitioners of simulation modeling. Collectively we attempt to address a range of key future challenges to modeling me...
Simon J. E. Taylor, Peter Lendermann, Ray J. Paul,...
Distributed research testbeds play a fundamental role in the evaluation of disruptive innovations for the Future Internet. In recent years, the main research funding agencies have ...
Alessio Botta, Roberto Canonico, Giovanni Di Stasi...
Due to their layered approach, Networks-on-Chip (NoC) are a promising communication backbone in the field of heterogeneous dynamically reconfigurable systems. In this paper a fu...
Ronald Hecht, Stephan Kubisch, Andreas Herrholtz, ...