Formal verification methods, such as Model Checking, have been used for addressing performance/dependability analysis of systems. Such formal methods have several advantages over traditional techniques aiming at performance/dependability analysis such as the use of a single computational technique for evaluation of any measure and all complex numerical computation steps are hidden to the user. ...

Robust control design of vehicles addresses the effect of uncertainties on the vehicle’s performance. In present study, the robust optimal multi-objective controller design on a non-linear full vehicle dynamic model with 8-degrees of freedom having parameter with probabilistic uncertainty considering two simultaneous conflicting objective functions has been made to prevent the rollover. The obj...

This paper presents a query evaluation technique for positive relational algebra queries with aggregates on a representation system for probabilistic data based on the algebraic structures of semiring and semimodule. The core of our evaluation technique is a procedure that compiles semimodule and semiring expressions into so-called decomposition trees, for which the computation of the probabili...

Article history: Received 8 April 2009 Received in revised form 2 January 2010 Accepted 10 January 2010

The aim of this paper is to use a new approach of performance evaluation, Grey Relation Analysis (GRA), which is a concept borrowed from the study of industry and increasingly applied to commerce. GRA is used to evaluate the relative performance of three investment Taiwanese trust firms, which have been reorganized into banks. The result of the study indicates that although the sample size is s...

This chapter provides a perspective on the rapidly developing literature on investmentperformance evaluation. I use the stochastic discount factor approach to present andcritique current performance measurement techniques in a unified setting. I offer anumber of suggestions to improve performance measurement in future research. I alsoreview recent research on the performance of ...