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) - Special section on formal methods in pervasive computing, pervasive adaptation, and self-adaptive systems: Models and algorithms, Volume 7 Issue 1, April 2012

Decentralized approaches for self-adaptation in agent organizations
Ramachandra Kota, Nicholas Gibbins, Nicholas R. Jennings
Article No.: 1
DOI: 10.1145/2168260.2168261

Self-organizing multi-agent systems provide a suitable paradigm for developing autonomic computing systems that manage themselves. Towards this goal, we demonstrate a robust, decentralized approach for structural adaptation in explicitly modeled...

Self-organizing virtual macro sensors
Nicola Bicocchi, Marco Mamei, Franco Zambonelli
Article No.: 2
DOI: 10.1145/2168260.2168262

The future large-scale deployment of pervasive sensor network infrastructures calls for mechanisms enabling the extraction of general-purpose data at limited energy costs. The approach presented in this article relies on a simple algorithm to let...

Efficiency of optimistic fair exchange using trusted devices
Mohammad Torabi Dashti
Article No.: 3
DOI: 10.1145/2168260.2168263

Efficiency of asynchronous optimistic fair exchange using trusted devices is studied. It is shown that three messages in the optimistic subprotocol are sufficient and necessary for exchanging idempotent items. When exchanging nonidempotent items,...

Host selection through collective decision
Fabrice Saffre, Aistis Simaitis
Article No.: 4
DOI: 10.1145/2168260.2168264

In this article, we present a collective decision-making framework inspired by biological swarms and capable of supporting the emergence of a consensus within a population of agents in the absence of environment-mediated communication (stigmergy)....

Efficient load balancing in partitioned queries under random perturbations
Anastasios Gounaris, Christos A. Yfoulis, Norman W. Paton
Article No.: 5
DOI: 10.1145/2168260.2168265

This work investigates a particular instance of the problem of designing efficient adaptive systems, under the condition that each adaptation decision incurs some nonnegligible cost when enacted. More specifically, we deal with the problem of...

Section: Decentralized approaches for self-adaptation in agent organizations

Introduction to special section on formal methods in pervasive computing
Mohamed Bakhouya, Roy Campbell, Antonio Coronato, Giuseppe de Pietro, Anand Ranganathan
Article No.: 6
DOI: 10.1145/2168260.2168266

Ubiquitous and pervasive applications may present critical requirements from the point of view of functional correctness, reliability, availability, security, and safety. Unlike traditional safety-critical applications, the behavior of ubiquitous...

A formalized, taxonomy-driven approach to cross-layer application adaptation
Razvan Popescu, Athanasios Staikopoulos, Antonio Brogi, Peng Liu, Siobhán Clarke
Article No.: 7
DOI: 10.1145/2168260.2168267

Advances in pervasive technology have made it possible to consider large-scale application types that potentially span heterogeneous organizations, technologies, and device types. This class of application will have a multilayer architecture,...

FORMS: Unifying reference model for formal specification of distributed self-adaptive systems
Danny Weyns, Sam Malek, Jesper Andersson
Article No.: 8
DOI: 10.1145/2168260.2168268

The challenges of pervasive and mobile computing environments, which are highly dynamic and unpredictable, have motivated the development of self-adaptive software systems. Although noteworthy successes have been achieved on many fronts, the...

Section: Decentralized approaches for self-adaptation in agent organizations

Introduction to the special section on pervasive adaptation
Franco Zambonelli, Ben Paechter
Article No.: 9
DOI: 10.1145/2168260.2168269

3PC: System support for adaptive peer-to-peer pervasive computing
Marcus Handte, Gregor Schiele, Verena Matjuntke, Christian Becker, Pedro José Marrón
Article No.: 10
DOI: 10.1145/2168260.2168270

A major characteristic of pervasive computing applications is their ability to adapt themselves to changing execution environments and physical contexts. In this article, we analyze different kinds of adaptations and introduce a multidimensional...

Autonomic multi-policy optimization in pervasive systems: Overview and evaluation
Ivana Dusparic, Vinny Cahill
Article No.: 11
DOI: 10.1145/2168260.2168271

This article describes Distributed W-Learning (DWL), a reinforcement learning-based algorithm for collaborative agent-based optimization of pervasive systems. DWL supports optimization towards multiple heterogeneous policies and addresses the...

Reflective pervasive systems
Nikola Serbedzija, Stephen Fairclough
Article No.: 12
DOI: 10.1145/2168260.2168272

Pervasive adaptive systems are concerned with the construction of “smart” technologies capable of adapting to the needs of the individual in real time. In order to achieve this level of specificity, systems must be capable of...

Section: Decentralized approaches for self-adaptation in agent organizations

Introduction to the special section on self-adaptive systems: Models and algorithms
Abdelhamid Bouchachia, Nadia Nedjah
Article No.: 13
DOI: 10.1145/2168260.2168273

Decentralized and optimal control of shared resource pools
Emerson Loureiro, Paddy Nixon, Simon Dobson
Article No.: 14
DOI: 10.1145/2168260.2168274

Resource pools are collections of computational resources (e.g., servers) which can be used by different applications in a shared way. A crucial aspect in these pools is to allocate resources so as to ensure their proper usage, taking into account...

A morphogenetic framework for self-organized multirobot pattern formation and boundary coverage
Hongliang Guo, Yaochu Jin, Yan Meng
Article No.: 15
DOI: 10.1145/2168260.2168275

Embryonic development of multicellular organisms, also known as morphogenesis, is regarded as a robust self-organization process for pattern generation. Inspired by the recent findings in biology indicating that morphogen gradients, together with...

Techniques for knowledge acquisition in dynamically changing environments
Dominik Fisch, Dominik Fisch, Martin Jänicke, Edgar Kalkowski, Bernhard Sick
Article No.: 16
DOI: 10.1145/2168260.2168276

Intelligent agents often have the same or similar tasks and sometimes they cooperate to solve a given problem. These agents typically know how to observe their local environment and how to react on certain observations, for instance, and this...