The existing testing theories for CSP cater verification of interaction patterns (traces) and deadlocks, but not time. We address here refinement based on a dialect CSP, called tock -CSP, which can capture discrete time properties. This version has been widespread interest decades; recently, it given denotational semantics, model checking become possible using well established tool. Here, we fi...

We have developed a formal validation tool that has been used in several projects that are developing software for AT&T's 5ESS TM telephone switching system. The tool validates networks of communicating processes speciied in the Virtual Finite State Machine (VFSM) notation, which is used during the low-level-design phase of software development to specify the control behavior of an implementati...

data envelopment analysis (dea) is a method to measure relative efficiency of a set of decision-making units (dmus) which uses multiple inputs and produces multiple outputs. in the conventional dea, crisp inputs and outputs are fundamentally necessary. but the observed values of inputs and outputs in real-world problems are sometimes imprecise. thus, performance measurement often needs to be do...

Data envelopment analysis (DEA) is an approach to measure the relative efficiency of decision-making units with multiple inputs and multiple outputs using mathematical programming. In the traditional DEA, it is assumed that we know the input or output role of each performance measure. But in some situations, the type of performance measure is unknown. These performance measures are called flexi...

This paper presents a data envelopment analysis (DEA) model combined with Bootstrapping to assess performance of one of the Data mining Algorithms. We applied a two-step process for performance productivity analysis of insurance branches within a case study. First, using a DEA model, the study analyzes the productivity of eighteen decision-making units (DMUs). Using a Malmquist index, DEA deter...

one of the major problems in data envelopment analysis (dea) is to determine the projection of inefficient decision making units (dmus) into the efficient frontier. in conventional dea models, inputs and outputs of inefficient dmus alter arbitrarily for reaching to the efficient frontier. nevertheless, sometimes the ability of dmus is defined and restricted. moreover, there are situations in th...

In this paper, we consider the production possibility set with n production units such that the following four principles that governs: inclusion observations, conceivability, immensity and convexity. Our goal is to estimate the output of a same and new production unit with existing production possibility and amount of input is specified. So, initially we find the interval changes of each input...

in the classical data envelopment analysis (dea) models, inputs and outputs are assumed as known variables, and these models cannot deal with unknown amounts of variables directly. in recent years, there are few researches on handling missing data. this paper suggests a new interval based approach to apply missing data, which is the modified version of kousmanen (2009) approach. first, the prop...