We propose a new approach to testing conformance to a nondeterministic specification , in which testing proceeds only as long as increased test coverage is guaranteed. In testing that a system meets a nondeterministic specification [1], it is usually assumed that the system is fair to each transition of the specification (i.e., the system will make every possible nondeterministic choice if give...

analyzing efficiency in each economic sector to adopt policies for optimal use of production factors and avoid wasting resources is important. in this study, in order to have a more comprehensive evaluation of the performance of each unit, efficiency of broiler firms was measured using bounded data envelopment analysis which determines position of each unit relative to efficient and inefficient...

In the context of scheduling, we study social cost efficiency for a cost-sharing problem in which the service provider’s cost is determined by the makespan of the served agents’ jobs. For identical machines, we give surprisingly simple cross-monotonic cost-sharing methods that achieve the essentially best efficiency Moulin mechanisms can guarantee. Still, our methods match the budget-balance of...

Y.-M. Wang, Y.-X. Lan / Mathematical and Computer Modelling 54 (2011) 2760–2771 2761 TheDEA-basedMPI has proven to be a very useful tool formeasuring the productivity changes of DMUs in the past several decades. For instance, Färe et al. [13] applied it to analyze the productivity growth in industrialized countries. Grifell-Tatjé and Lovell [14] used it tomeasure the effect of deregulation on S...