Software design models are routinely adapted to domains, companies, and applications. This requires customizable consistency checkers that allow engineers to dynamically adapt model constraints. To benefit from quick design feedback, such consistency checkers should evaluate the consistency of such changeable constraints incrementally with design changes. This paper presents such a freely custo...

Accuracy assessment methods are necessary for functional data used in simulation-based design optimization to ensure model and optimal solution validity. Although many error metrics exist and perform well for one-dimensional (1D) applications, the suitability of such metrics for higher dimensional functional data, such as two-dimensional (2D) performance maps, have been largely unexplored. This...

A CAD database will reach a consistent state only at the end of the design process. This paper provides a framework for transforming the CAD database into the final consistent state. "or this purpose we developed a model of a design object. Each design object can be composed of several representations. Some representations are independent of any other representations and some can be derived usi...

We obtain uniform consistency results for kernel-weighted sample covariances in a nonstationary multiple regression framework that allows for both fixed design and random design coefficient variation. In the fixed design case these nonparametric sample covariances have different uniform convergence rates depending on direction, a result that differs fundamentally from the random design and stat...

This paper reconsiders task-action consistency with respect to multi-device systems. We show how this concept influences our understanding of an appropriate model-based design approach. In addition, we argue that concepts like consistency, their evaluation and their integration into formal methods cannot replace user-centered design approaches with an active user involvement. Author

background: evaluating the research projects in qualitative and quantitative terms is necessary to clarify their advantages and disadvantages and to resolve the possible failures.   purpose: the study aims to assess the quality of the approved research projects. the objective is to determine whether the design of the research in the approved proposals is accurate in regard of different scientif...

In this position paper, we argue that in the context of a user’s interaction with multiple platforms, consistency must be supported along with support for user’s task migration. We believe that the user should be able to perform a task using multiple user interfaces through an application that may or may not be similar at the interface level on each platform but, more importantly, one that supp...

Distributed key-value stores are quickly becoming a key component of cloud computing systems. In order to improve read/write latency, distributed key-value stores offer weak notions of consistency to clients by using many complex design decisions. However, it is challenging to formally analyze consistency behaviors of such systems, both because there are few formal models, and because different...

Memory consistency model is an integral part of the shared-memory multiprocessor system, and directly affects the performance. Most current multiprocessors adopt relaxed consistency models in quest of higher performance. In this paper we study the impact of memory consistency model on the design, implementation and performance of parallel algorithms for graph problems that remain challenging du...