enter search term and/or author name
Game-Theoretic Mechanisms to Increase Data Availability in Decentralized Storage Systems
Krzysztof Rzadca, Anwitaman Datta, Gunnar Kreitz, Sonja Buchegger
Article No.: 14
In a decentralized storage system, agents replicate each other’s data to increase availability. Compared to organizationally centralized solutions, such as cloud storage, a decentralized storage system requires less trust in the provider and...
MAPE-K Formal Templates to Rigorously Design Behaviors for Self-Adaptive Systems
Didac Gil De La Iglesia, Danny Weyns
Article No.: 15
Designing software systems that have to deal with dynamic operating conditions, such as changing availability of resources and faults that are difficult to predict, is complex. A promising approach to handle such dynamics is self-adaptation that...
Computing Swarms for Self-Adaptiveness and Self-Organization in Floating-Point Array Processing
Danilo Pani, Carlo Sau, Francesca Palumbo, Luigi Raffo
Article No.: 16
Advancements in CMOS technology enable the integration of a huge number of resources on the same system-on-chip. Managing the consequent growing complexity, including fault tolerance issues in deep submicron technologies, is a hard challenge for...
We present algorithms for gesture recognition using in-network processing in distributed sensor arrays embedded within systems such as tactile input devices, sensing skins for robotic applications, and smart walls. We describe three distributed...
Autonomous Orchestration of Distributed Discrete Event Simulations in the Presence of Resource Uncertainty
Zhiquan Sui, Matthew Malensek, Neil Harvey, Shrideep Pallickara
Article No.: 18
Discrete event simulations model the behavior of complex, real-world systems. Simulating a wide range of events and conditions provides a more nuanced model, but also increases its computational footprint. To manage these processing requirements...
Distributed Binary Consensus in Networks with Disturbances
Alexander Gogolev, Nikolaj Marchenko, Lucio Marcenaro, Christian Bettstetter
Article No.: 19
This article evaluates convergence rates of binary majority consensus algorithms in networks with different types of disturbances and studies the potential capacity of randomization to foster convergence. Simulation results show that (a) additive...
Fault Monitoring with Sequential Matrix Factorization
Dawei Feng, Cecile Germain
Article No.: 20
For real-world distributed systems, the knowledge component at the core of the MAPE-K loop has to be inferred, as it cannot be realistically assumed to be defined a priori. Accordingly, this paper considers fault monitoring as a latent factors...
SMT-Based Synthesis of Distributed Self-Stabilizing Systems
Fathiyeh Faghih, Borzoo Bonakdarpour
Article No.: 21
A self-stabilizing system is one that guarantees reaching a set of legitimate states from any arbitrary initial state. Designing distributed self-stabilizing protocols is often a complex task and developing their proof of correctness...