A recurrent task in coordinated systems is managing (estimating, predict...
Emerging application scenarios, such as cyber-physical systems (CPSs), t...
Recent works in contexts like the Internet of Things (IoT) and large-sca...
Field-based coordination has been proposed as a model for coordinating
c...
Runtime verification is a computing analysis paradigm based on observing...
Collecting statistic from graph-based data is an increasingly studied to...
Collective adaptive systems are an emerging class of networked computati...