System designers need to have insight in the response times of service systems to see if they meet performance requirements. We present a high-level evaluation technique to obtain the distribution of services completion times. It is based on a high-level domain-specific language that hides the underlying technicalities from the system designer. Under the hood, probabilistic real-time model chec...

the impact of the management performance evaluation methods on the information quality in accounting will be studied in this paper. the information plays two roles in the market-oriented economies; first, it allows the investors to evaluate the potential opportunities of the investment (prospective role) and, secondly, it enables the investors to monitor how to allocate and use their capital by...

Machine learning approaches have traditionally made strong simplifying assumptions: that a benevolent teacher is available to present and classify instances of a single concept to be learned; that no noise or uncertainty is present in the environment; that a complete and correct domain theory is available; or that a useful language is provided by the designer. Additionally, much existing machin...

performance evaluation is one of the important components of each organization, and educational organizations are not the exceptions. teachers are believed by many researchers as the single most important factor influencing student academic success or failure. therefore, they need to be at the center of attempts to improve or reform the educational system of any country. considering the pivotal...

During the last years a great number of Query Performance Prediction methods have been proposed. However, this explosion of prediction method proposals have not been paralleled by an in-depth study of suitable methods to evaluate these estimations. In this paper we analyse the current approaches to evaluate Query Performance Prediction methods, highlighting some limitations they present. We als...

We present an overview of current research in performance modeling, focusing on efforts underway in the Performance Evaluation Research Center (PERC). Using some new techniques, we are able to construct performance models that can be used to project the sustained performance of large-scale scientific programs on different systems, over a range of job and system sizes. Such models can be used by...

many countries are turning their attention to the use of explicit financial incentives to drive desired improvements in healthcare performance. however, we have only a weak evidence-base to inform policy in this area. the research challenge is to generate robust evidence on what financial incentives work, under what circumstances, for whom and with what intended and unintended consequences.

Validation, comprising functional verification and performance evaluation, is critical for complex hardware designs. Indeed, due to the high level of parallelism in modern designs, a functionally verified design may not meet its performance specifications. In addition, the later a design error is identified, the greater its cost. Thus, validation of designs should start as early as possible. Th...