Pearson differential equation‎. ‎This distribution is also obtained from a compounding mixture of‎ ‎distributions‎. ‎Moments‎, ‎inequality measures‎, ‎uncertainty measures and reliability measures are theoretically established‎. ‎Characterizations of MLBXII distribution are also studied via different techniques‎. ‎Parameters of MLBXII dist...

This report comprises chapters 2 to 5 of a report prepared for NASA on the applica-tion of software quality and assurance techniques to AI software [105]. The chaptersincluded here provide a review of software quality assurance techniques as appliedto conventional software. The techniques covered include software reliability andmetrics, static and dynamic testing, and formal...

Narrowing serves as operational semantics of functional{logic programming languages. Over the past two decades a vast variety of narrowing techniques have been proposed, diiering from each other in the class of equational theories they are applicable to and in their eeciency to evaluate a given goal. On the latter part, i.e., the eeciency, merely vague statements can be found in the existing li...

This chapter introduces the survivability evaluation, especially on the corresponding evaluation criteria and modeling techniques. The content of this chapter includes an overview of the literature of computer system dependability or security evaluation techniques and their limitation. The concept of survivability and the techniques for modeling and evaluating survivability are introduced. In a...

In reliability theory, the reliability measures contend the very important and depreciative role for any system analysis. Measurement of reliability measures is not easy due to ambiguity and vagueness which exist within reliability parameters. It is also very difficult to incorporate a large amount of uncertainty in well-established methodologies and techniques. However, fuzzy logic provides an...