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

大约冬季

和蔼

Avoiding Probability Saturation during Adjustment of Markov Models of Ageing Equipment,esent equipment ageing and also incorporate various maintenance activities. Having available some basic model it is possible to adjust its parameters so that it represents some hypothetical new maintenance policy and then to examine impact that this new policy has on various reliability characterist

催眠

Bad Memory Blocks Exclusion in Linux Operating System, faulty. With increasing sizes of memory chips the urge not to waste these ‘not quite properly working’ pieces of equipment becomes bigger and bigger. Operating systems such as Linux already provide mechanisms for memory management which could be utilized to avoid allocating bad memory blocks which

Corral

Metamodel and UML Profile for Functional Programming Languages,ms. Although UML is mainly based on concepts which are native to imperative object-oriented programming languages, this chapter shows how – through the profile mechanism – it can be used to model software that is to be implemented in a functional programming language. In this chapter Haskell was cho

使混合

ETHER

Conference proceedings 2011t and soft computing methods help to resolve fundamental problems of dependability analysis which are caused by the fact that in contemporary computer systems it is often difficult to find a relation between system elements and system events (the relation between reasons and results) and it is even

壕沟

Aerate

A New Three Levels Context Based Approach for Web Search Engines Evaluation,ts have revealed that the evaluation of search engines at three different levels of context is a promising way to diagnose the performance, characteristics and behavior of these engines and the relevance of the results that they return.

兽群

Conjoining Fault Trees with Petri Nets to Model Repair Policies, Turing machines, but their models turned out to be obscure to engineers. Hence, this severe limitation hampers widespread popularity of Petri Nets. By analyzing the constraints of the two languages, we come up with a new modeling technique blending fault trees with Petri nets. We extend the express

Champion

Tuberculosis Involving the Airways,ts have revealed that the evaluation of search engines at three different levels of context is a promising way to diagnose the performance, characteristics and behavior of these engines and the relevance of the results that they return.