In this paper, we propose a new language-independent representation of adhoc constraints, called a box constraint collection. Using constructive disjunction, this representation achieves domain consistency. We develop an algorithm to automatically generate a box constraint collection for a given adhoc constraint. The result is guaranteed to be complete and correct, and achieve domain consistenc...

A well-known result in Social Choice theory is the following: every scoring rule (positional rules) violates Condorcet consistency. A rule is Condorcet consistent when it selects the alternative that is preferred to every other alternative by a majority of individuals. In this paper, we investigate some limits of this negative result. We expose the relationship between a weaker version of the C...

We present new complexity results on the class of All constraints The central idea involves func tional elimination a general method of elimination whose focus is on the subclass of functional constraints One result is that for the subclass of All constraints strong n consistency and minimality is achievable in O en time where e n are the number of constraints and variables The main result is t...

We present new complexity results on the class of 0/1/All constraints. The central idea involves functional elimination, a general method of elimination whose focus is on the subclass of functional constraints. One result is that for the subclass of "All" constraints, strong n-consistency and minimality is achievable in O(en) time, where e, n are the number of constraints and variables. The mai...

Titanium is a single program, multiple data (SPMD) programming language based on Java. Titanium defines a data consistency model equivalent to the Java specification. This consistency model calls for locally sequential consistency, with global consistency attained at synchronization points and arbitrary write reordering. The Titanium language is targeted at homogeneous multiprocessors on distri...

The NFSv4 protocol includes features intended to enhance its use in global, wide-area networks. In this paper we describe the design and implementation of a prototype for global name space, transparent migration and fine-grained replication that uses and extends these features. In our system, directory migration and replication use the FS_LOCATIONS attribute to redirect I/O requests. For read/w...

the main purpose of this paper is theoretically to design the optimal intervention in the foreign exchange market in iran, which has not been investigated by previous studies. the economic fundamentals are strongly affected by the optimal foreign exchange intervention, the consistency of foreign exchange intervention with other policies and political authorities' beliefs about the interven...

Dual Consistency (DC) is a property of Constraint Networks (CNs) which is equivalent, in its unrestricted form, to Path Consistency (PC). The principle is to perform successive singleton checks (i.e. enforcing arc consistency after the assignment of a value to a variable) in order to identify inconsistent pairs of values, until a fixpoint is reached. In this paper, we propose two new algorithms...