Pattern scaling methods are being widely applied to generate scenarios of climate change for quantification of their impacts on different systems. While generic limitations of this approach are well documented, the implications of the use of pattern scaling to inform adaptation decisions are not always made clear. The range of errors that are expected a priori are discussed and illustrated. Par...

This paper describes the results of a study aimed at inferring the surface structure of outdoor scenes from video data acquired by a vehicle-mounted TV camera. The method is based on a decomposition of each frame of the video sequence into a dense set of feature points. Through the application of a Structure-from-Motion algorithm, the 3D locations of the time-consistent features are estimated a...

In parallel to widely accepted behavioural research, Design Research (DR) has emerged in Information Systems. Nonetheless, the debate about the scientificity of DR is still ongoing. In the course of this debate, the role of scientific progress has hardly been discussed. But, doubtlessly, scientific progress is regarded as one of the main aims of science; science can even be defined by scientifi...

Many distributed file systems go to great extremes to provide exactly the same consistency semantics in a distributed environment as they provide in the single machine case, often at great cost to performance. Other distributed file systems go to the other extreme, and provide good performance, but with extremely weak consistency guarantees. However, a good compromise can be achieved between th...

One of the most fundamental systems analysis and design principle is that of “abstraction”. Essentially, the purpose of abstraction is to clarify or highlight some features of a problem by concealing others. The set of viewpoints identified in the ODP architecture is merely a pragmatic classification of concerns. A viewpoint leads to a representation of the system with emphasis on a specific se...

Software design requires deployment of interdependent models conforming to different metamodels. This set of models is called a multimodel, and it must satisfy a set of global constraints regulating interaction of the multimodel components. A straightforward approach to global consistency checking would require merging component metamodels modulo their overlap, adding, perhaps, new global const...

We consider an NP -complete problem SAT01 having a range of remarkable properties. First, it is equivalent to the weighted independent set problem on a graph Γ with vertex weights w, where the required independent set weight equals the maximum possible κ(Γ, w) value m, and hence is decidable by computation of the weighted Lovász number unless α(Γ, w) < θ(Γ, w) = κ(Γ, w) = m. Second, it admits a...

Disconnected operation is an important technique for providing mobile access to shared data in distributed file systems. However, data inconsistency resulting from partitioned sharing remains a serious concern. This paper presents a new mechanism called isolation-only transaction(IOT) that uses serializability constraints to automatically detect read/write conflicts. The IOT consistency model p...

We propose in this paper a new interval constraint propagation algorithm, called MOnotonic Hull Consistency (Mohc), that exploits monotonicity of functions. The propagation is standard, but the Mohc-Revise procedure, used to filter/contract the variable domains w.r.t. an individual constraint, uses monotonic versions of the classical HC4-Revise and BoxNarrow procedures. Mohc-Revise appears to b...

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...