this paper is devoted to the study of determining optimal process mean in system production with the two markets for the sale of goods. in this paper, we developed an absorbing markov chain model in production systems where all items are inspected %100 for conformance with their specification limits. when the value of the quality characteristic of an item falls below a lower limit, the item is ...

Minutiae features extracted from finger images are widely used for automated fingerprint recognition. The conformance of minutiae templates to standardised data interchange formats and the interoperability of minutiae extraction and comparison subsystems from multiple suppliers are important to prevent proprietary lock-in. Based on the work performed within the European research project on minu...

The paper addresses the problem of agents compatibility and their conformance to protocols. We assume that the specification of protocols is given in an action theory by means of temporal constraints and, in particular, communicative actions are defined in terms of their effects and preconditions on the social state of the protocol. We show that the problem of verifying the conformance of an ag...

Process adjustment, also known as process targeting, is one of the classical problems in the field of quality control and production economics. In the process adjustment problem, it is assumed that process parameters are variables and the aim is to determine these parameters such that certain economic criteria are optimally satisfied. The aim of this paper is to determine the optimal process ad...

In model-based mutation testing, a test model is mutated for test case generation. The resulting test cases are able to detect whether the faults in the mutated models have been implemented in the system under test. For this purpose, a conformance check between the original and the mutated model is required. The generated counterexamples serve as basis for the test cases. Unfortunately, conform...

We consider the problem of statically verifying the conformance of the code of a system to an explicit authorization policy. In a distributed setting, some part of the system may be compromised, that is, some nodes of the system and their security credentials may be under the control of an attacker. To help predict and bound the impact of such partial compromise, we advocate logic-based policie...

Conformance testing in model-based development refers to the testing activity that verifies whether the code generated (manually or automatically) from the model is behaviorally equivalent to the model. Presently the adequacy of conformance testing is inferred by measuring structural coverage achieved over the model. We hypothesize that adequacy metrics for conformance testing should consider s...

This paper formalizes UML class diagrams and structural patterns as mathematical objects and provides a precise notion of conformance of a structural model specified as a class diagram to a structural pattern. We also present a conformance verification method which represents a class diagram as a logic program and a structural pattern as a query. The conformance of the class diagram to the stru...