ACM DL

Autonomous and Adaptive Systems (TAAS)

Menu

Search Issue
enter search term and/or author name

Archive


ACM Transactions on Autonomous and Adaptive Systems (TAAS), Volume 11 Issue 4, February 2017

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
DOI: 10.1145/2997654

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
DOI: 10.1145/2979680

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
DOI: 10.1145/3018658

Modeling and Extracting Load Intensity Profiles
Jóakim Von Kistowski, Nikolas Herbst, Samuel Kounev, Henning Groenda, Christian Stier, Sebastian Lehrig
Article No.: 23
DOI: 10.1145/3019596

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
DOI: 10.1145/3024188

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
DOI: 10.1145/3019598

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...