We consider the problem of computing rearrangement distance of every permutation in the symmetric group Sn and present a simple algorithm for doing it. By analysing the rearrangement distance distribution computed for...
详细信息
Given are two databases (consisting of one or more tables) with similar structure in different places that are asynchronously updated. We consider how to synchronize them so that they are 'more or less the same...
详细信息
We present the architecture of a scalable and dynamic intermediary infrastructure for developing and deploying advanced Edge computing services, by using a cluster of heterogeneous machines. Our main goal is to addres...
详细信息
ISBN:
(纸本)9781581139648
We present the architecture of a scalable and dynamic intermediary infrastructure for developing and deploying advanced Edge computing services, by using a cluster of heterogeneous machines. Our main goal is to address the challenges of the next-generation Internet services: scalability, high availability, fault-tolerance and robustness. Moreover, SEcS offers an easy, "on-the-fly" and per-user configuration of services. The architecture is based on IBM's Web Based Intermediaries (WBI) [8, 9]. Copyright 2005 acm.
In this paper, the problem of parallel loop scheduling for heterogeneous networks of workstations is discussed. A practical network of workstations is heterogeneous where computing power varies in different composing ...
详细信息
We investigate conditions under which an infinite set of atomic messages can be replaced with one or two values without affecting the correctness of a security protocol. The work is conducted using the strand spaces f...
详细信息
ISBN:
(纸本)1595931082
We investigate conditions under which an infinite set of atomic messages can be replaced with one or two values without affecting the correctness of a security protocol. The work is conducted using the strand spaces formalism, but the results apply to all protocol analysis techniques, and should be of particular value to those using model checking. The implications of the central result are discussed. Copyright 2006 acm.
This paper proposes a workflow paradigm for mobile computing environment to support long duration computations with a specific control flow and short duration transactions. This paradigm combines the ConTract Model of...
详细信息
As opposed to finite domain CSPs, arc consistency cannot be enforced, in general, on CSPs over the reals, including very simple instances. In contrast, a stronger property, the so-called box-set consistency, that requ...
详细信息
ISBN:
(纸本)9781581139648
As opposed to finite domain CSPs, arc consistency cannot be enforced, in general, on CSPs over the reals, including very simple instances. In contrast, a stronger property, the so-called box-set consistency, that requires a no-split condition in addition to arc consistency, can be obtained on a much larger number of problems. To obtain this property, we devise a lazy algorithm that combines hull consistency filtering, interval union projection, and intelligent domain splitting. It can be applied to any numerical CSP, and achieves box-set consistency if constraints are redundancy-free in terms of variables. This holds even if the problem is not interval-convex. The main contribution of our approach lies in the way we bypass the non-convexity issue, which so far was a synonym for either a loss of accuracy or an unbounded growth of label size. We prove the correctness of our algorithm and through experimental results, we show that, as compared to a strategy based on a standard bisection, it may lead to gains while never producing an overhead. Copyright 2005 acm.
This paper outlines the methodology and results of the EBONI Project's evaluation of portable electronic books, in which staff from UK academia were provided with a selection of ebook readers and asked to report b...
详细信息
ISBN:
(纸本)9781581136241
This paper outlines the methodology and results of the EBONI Project's evaluation of portable electronic books, in which staff from UK academia were provided with a selection of ebook readers and asked to report back on their experiences. A set of issues of importance to users of electronic books is uncovered, and compared with concerns arising from other experiments in the same field. Finally, recommendations for successful ebook design are made.
a key issue of problem-oriented parallel programming is an appropriate concept for representing the spatial structures of an application and modelling local or global interactions operating on them. This paper advocat...
详细信息
In ubiquitous computing environments services may be discovered and bound dynamically. Adaptive applications may utilize such services to improve their offered functional and nonfunctional properties. Generally, the a...
详细信息
暂无评论