Abstract: Over the last thirty years, numerous consistency conditions for replicated data have been proposed and implemented. Popular examples of such conditions include linearizability (or atomicity), sequential consistency, causal consistency, and eventual consistency. These consistency conditions are usually defined independently from the computing entities (nodes) that manipulate the replic...

In this paper, we present a framework for performing incremental design in the domain of linear circuits (Kerr 1977 ; Lancaster 1974 ; Walton 1987) . By incremental design, we mean the modification of an existing design to meet additional design goals while not denying certain design constraints . We start with a given circuit and want to modify aspects of its behavior while not changing others...

To relieve the burden of reasoning on a point to point basis, in many domains there is a need to reduce large and noisy data sets into trends for qualitative reasoning. In this paper we propose and describe a new architectural design pattern called reducing large and noisy data sets that can be tailored for particular situations. REDUCER consists of 2 consecutive process which takes the origina...

Consistency sounds like something to strive for. After all, who would strive for inconsistency? Consistency is widely praised in guidelines and principles, but with some scrutiny, it becomes clear that consistency is hard to define and measure. Oellogg discusses several dimensions of consistency (including platform/devices) [kellT7, kellTU] and both Oellogg and Grudin [grudTU] note that a desig...

We consider Bayesian information collection, in which a measurement policy collects information to support a future decision. This framework includes ranking and selection, continuous global optimization, and many other problems in sequential experimental design. We give a sufficient condition under which measurement policies sample each measurement type infinitely often, ensuring consistency, ...

Consistency is a practical metric that evaluates an instrument’s reliability based on its ability to yield the same output when repeatedly given a particular input. Despite its broad usage, little is understood about the feasibility of using consistency as a measure of worker reliability in crowdwork. In this paper, we explore the viability of measuring a worker’s reliability by their ability t...

Modeling of real time software systems (RTSS) consist of different components with UML 2. 0 leads to a design model using various diagrams. To get a consistent model, a consistency concept for different diagrams type is needed that takes into account real time constraints. Ensuring consistency of The Unified Modeling Language (UML) model is very crucial as it is effect to the quality of UML mod...

The management of inconsistency between multiple viewpoints is a central problem in the design of large software systems. However, many of the formalisms we use in software design cannot handle inconsistent descriptions. This leads to two common reactions: to abandon the formalisms (and use semi-formal or informal design notations) or to repair inconsistent descriptions at all costs, if necessa...

This paper describes a constraint propagation method for logical structure extraction of Library references without the use of ocr. The accent is put on the search of anchor points from visual indices extraction. A mixed strategy is performed. For each anchor points. the system proposes in a bottom-up manner the most probable model hypothesis and tries to verify in a top-down manner its left an...