A remarkable interest in the Internet of Things (IoT)-based smart cities from both academia
and industry has been observed in recent years. Smart cities can offer various smart …

Increased resource overhead and low throughput are major issues associated with current
BFT consensus systems. EPaxos [48], a leaderless crash fault-tolerant protocol can perform …

In this paper we formally study the guarantees provided by highly available, eventually
consistent replicated systems in an environment in which machine failures and network …

Modern transactional platforms strive to jointly ensure ACID consistency and high scalability.
In order to pursue these antagonistic goals, several recent systems have revisited the …

This work presents STR, a geo-distributed, partially replicated transactional data store,
which leverages on novel speculative techniques to mask the inter-replica synchronization …

This work presents Speculative Transaction Replication (STR), a protocol that exploits
transparent speculation techniques to enhance performance of geo-distributed, partially …

We propose Hybrid Transactional Replication (HTR), a novel replication scheme for highly
dependable services. It combines two schemes: a transaction is executed either …

Replication is an established method to increase service availability and dependability. It
means deployment of a service on multiple machines and coordination of their actions so …

Global services that lie at the heart of today's Internet must remain operational at all times.
To avoid downtimes caused by machine and network failures, highly available systems …

The last few decades have witnessed the unprecedented growth of large-scale online
services. Distributed data storage systems, which are the fundamental building blocks of …