Titlebook: Dependable Computer Systems; Wojciech Zamojski,Janusz Kacprzyk,Tomasz Walkowiak Conference proceedings 2011 Springer Berlin Heidelberg 201

anesthesia

Sarcoma

Moderate

復(fù)習(xí)

Two-Level Software Rejuvenation Model with Increasing Failure Rate Degradation,the main reasons of software failures is software aging. To counteract aging, software rejuvenation has been recently proposed. The main aim when dealing with rejuvenation is to distinguish the optimal time or conditions to trigger it. Rejuvenation can be performed in two levels, partial and full. I

CHARM

翻動(dòng)

Conjoining Fault Trees with Petri Nets to Model Repair Policies,ators found in the classical logic. Therefore, only by using ‘AND’ as well as ‘OR’ gates a number of system failures can be expressed even by engineers not related to reliability analysis. Doubtless, intuition accompanying fault tree models is their greatest merit. Therefore each attempt to increase

發(fā)電機(jī)

VEN

繁殖

Dynamic Model Initialization Using UML,tion type, the derived models are verified by model checking. The checking is performed on an accessibility graph generated from an initialized dynamic model. We propose, in this paper, an approach to initialize object Petri nets models at a time t different from the initial time. Object Petri nets

連累