Vast amounts of data are continually being generated by a wide variety of data producers. This data ranges from quantitative sensor observations produced by rob

There is currently an increasing demand for concurrent programs. Checking the correctness of concurrent programs is a complex task due to the interleavings of p

Services are prone to change in the form of expected and unexpected variations and disruptions, more so given the increasing interconnectedness and complexity o

In this thesis we study the worst-case complexity ofconstraint satisfaction problems and some of its variants. We use methods from universal algebra: in particu

This book provides a broad coverage of the recent advances in robustness analysis in decision aiding, optimization, and analytics. It offers a comprehensive ill