نتایج جستجو برای: based and synthesis approaches conformance
تعداد نتایج: 17386774 فیلتر نتایج به سال:
There is an increasing need for practical and comprehensive evaluation methods and tools for conformance testing with ISO standards. In this study, we focus on ISO 9241 which is an important ergonomic standard. A brief description shows its content and structure. Practical evaluations include the amount of time and resources which must be managed in software projects, while comprehensive evalua...
0
Process mining techniques aim to extract knowledge from event logs. Conformance checking is one of the hard problems in process mining: it aims to diagnose and quantify the mismatch between observed and modeled behavior. Precise conformance checking implies solving complex optimization problems and is therefore computationally challenging for real-life event logs. In this paper a technique to a...
Model-based conformance testing aims to assess the correctness of an implementation with respect to a specification. This raises the question of a proper conformance relation that should be established between implementation and specification. One commonly used conformance relation is the so-called input output conformance (ioco), which is defined over labeled transition systems. In this paper ...
in one pole of the continuum of language learning, theoreticians and practitioners traditionally consider english as english as a second language or english as a foreign language. however, in the other pole of this continuum where english is thought of as the most effective tool for international communication, it is referred to as a lingua franca. those who favor an approach to english growing...
Conformance checking is becoming more important for the analysis of business processes. While the diagnosed results of conformance checking techniques are used in diverse context such as enabling auditing and performance analysis, the quality and reliability of the conformance checking techniques themselves have not been analyzed rigorously. As the existing conformance checking techniques heavi...
today, information technology and computers are indispensable tools of any profession and translation technologies have become an indispensable part of translator’s workstation. with the increasing demands for high productivity and speed as well as consistency and with the rise of new demands for translation and localization, it is necessary for translators to be familiar with market demands an...
abstract type-ii fuzzy logic has shown its superiority over traditional fuzzy logic when dealing with uncertainty. type-ii fuzzy logic controllers are however newer and more promising approaches that have been recently applied to various fields due to their significant contribution especially when the noise (as an important instance of uncertainty) emerges. during the design of type- i fuz...
Evolutionary tasks, specially refactoring, affect source code and object models, hindering correctness and conformance. Due to the gap between object models and programs, refactoring tasks get duplicated in commonly-used model-driven development approaches, such as Round-Trip Engineering. In this paper, we propose a formal approach to consistently refactor systems in a model-driven manner. Each...
Nature is an exquisite designer of inorganic materials using biomolecules as templates. Diatoms create intricate silica wall structures with fine features using the protein family of silaffins as templates. Marine sponges create silica spicules also using proteins, termed silicateins. In recent years, our group and others have used biomolecules as templates for the deposition of inorganic mater...
نمودار تعداد نتایج جستجو در هر سال
با کلیک روی نمودار نتایج را به سال انتشار فیلتر کنید