enter search term and/or author name
Characterizing and Adapting the Consistency-Latency Tradeoff in Distributed Key-Value Stores
Muntasir Raihan Rahman, Lewis Tseng, Son Nguyen, Indranil Gupta, Nitin Vaidya
Article No.: 20
The CAP theorem is a fundamental result that applies to distributed storage systems. In this article, we first present and prove two CAP-like impossibility theorems. To state these theorems, we present probabilistic models to characterize the...
Topology Control for Self-Adaptation in Wireless Sensor Networks with Temporary Connection Impairment
Arijit Roy, Sudip Misra, Pushpendu Kar, Ayan Mondal
Article No.: 21
In this work, the problem of topology control for self-adaptation in stationary Wireless Sensor Networks (WSNs) is revisited, specifically for the case of networks with a subset of nodes having temporary connection impairment between them. This...
Section: Characterizing and Adapting the Consistency-Latency Tradeoff in Distributed Key-Value Stores
Introduction to the Special Section on Best Papers from SEAMS 2015
Bradley Schmerl, Paola Inverardi
Article No.: 22
Today’s system developers and operators face the challenge of creating software systems that make efficient use of dynamically allocated resources under highly variable and dynamic load profiles, while at the same time delivering reliable...
Control Strategies for Self-Adaptive Software Systems
Antonio Filieri, Martina Maggio, Konstantinos Angelopoulos, Nicolás D’ippolito, Ilias Gerostathopoulos, Andreas Berndt Hempel, Henry Hoffmann, Pooyan Jamshidi, Evangelia Kalyvianaki, Cristian Klein, Filip Krikava, Sasa Misailovic, Alessandro V. Papadopoulos, Suprio Ray, Amir M. Sharifloo, Stepan Shevtsov, Mateusz Ujma, Thomas Vogel
Article No.: 24
The pervasiveness and growing complexity of software systems are challenging software engineering to design systems that can adapt their behavior to withstand unpredictable, uncertain, and continuously changing execution environments. Control...
Formal Design and Verification of Self-Adaptive Systems with Decentralized Control
Paolo Arcaini, Elvinia Riccobene, Patrizia Scandurra
Article No.: 25
Feedback control loops that monitor and adapt managed parts of a software system are considered crucial for realizing self-adaptation in software systems. The MAPE-K (Monitor-Analyze-Plan-Execute over a shared Knowledge) autonomic control loop is...