Cloud storage services and NoSQL systems, which have recently found widespread adoption, typically offer only "Eventual Consistency", a rather weak guarantee covering a broad range of potential data consistency behavior. The degree of actual (in-)consistency as a service quality, however, is always unknown. To avoid cost of opportunity or actual costs, resulting data inconsistencies have to be ...

Object oriented models and methods encompass a set of techniques which have been, and will continue to be, applied in the successful production of complex software systems. The methods are based on the simple concepts of abstraction, encapsulation, classification and polymorphism. The formal verification of logical properties of such models is difficult to integrate into the traditional operati...

This paper considers strongly continuous semigroups of operators on Banach lattices which are locally eventually positive, a property that was first investigated in the context concrete fourth-order evolution equations. We construct simple example to show typical assumptions spectrum semigroup generator considered currently literature far from necessary more general setting local eventual posit...

In this paper we conjecture that the piecewise linear map f(x) = px1I[0,1/p)(x)+ (sx − s/p)1I[1/p,1](x), p > 1, 0 < s < 1 which has an expanding, onto branch and a contracting branch is eventually piecewise expanding. We give a partial proof of the conjecture, in particular for values of p and s such that d− ln(p(1−s)+s) ln s e 6 = d− ln p ln s e.

This paper continues the work of our previous papers, The cyclic spectrum of a Boolean flow TAC 10 392-419 and Spectra of finitely generated Boolean flows TAC 16 434459. We define eventually cyclic Boolean flows and the eventually cyclic spectrum of a Boolean flow. We show that this spectrum, as well as the spectra defined in our earlier papers, extend to parametrized flows on Stone spaces and ...

Many distributed services are hosted at large, shared, geographically diverse data centers, and they use replication to achieve high availability despite the failure of an entire data center. Recent events show that non-crash faults occur in these services and may lead to long outages. While Byzantine Fault Tolerance (BFT) could be used to withstand these faults, current BFT protocols can becom...