etidronate
发表于 2025-3-23 10:59:31
Generalising Event Trees Using Bayesian Networks with a Case Study of Train Derailment,ian Network enables the factors that influence the outcome of events to be represented explicitly. In the case study, this allowed the train derailment model to be generalised and applied in more circumstances. Although the resulting model is no longer just an event tree, the familiar event tree notation remains useful.
砍伐
发表于 2025-3-23 15:01:00
http://reply.papertrans.cn/24/2338/233734/233734_12.png
训诫
发表于 2025-3-23 21:26:35
Comparing Software Measures with Fault Counts Derived from Unit-Testing of Safety-Critical Softwarerization, fault distribution, relations between software metrics (like McCabe’s cyclomatic complexity or the risk categories of NASA SATC), software faults, and testing efforts, and yields clues about the significance of these measures for fault probabilities. A summary of the findings and related work conclude the paper.
不妥协
发表于 2025-3-23 23:18:28
A Formal Model for Fault-Tolerance in Distributed Systems,ed to encode the distributed algorithm. These rules are able to detect and eliminate the faults locally during the computation. This method can be implemented under an asynchronous message passing system which notifies the faults. To illustrate this approach, we present examples of fault-tolerant distributed spanning tree algorithms.
Fabric
发表于 2025-3-24 03:13:05
http://reply.papertrans.cn/24/2338/233734/233734_15.png
专横
发表于 2025-3-24 09:40:15
A Technique for Fault Tolerance Assessment of COTS Based Systems,e level mutants are then compared with the corresponding source code mutant behavior. In a back-to-back comparative study with mutants based on ten representative programming defects, no difference in the program behavior between source and byte code level mutants could be distinguished.
毕业典礼
发表于 2025-3-24 11:27:05
http://reply.papertrans.cn/24/2338/233734/233734_17.png
征服
发表于 2025-3-24 17:38:18
End-To-End Worst-Case Response Time Analysis for Hard Real-Time Distributed Systems,recedence relations between tasks on both different processors and the same processor. Simulation results have shown that this algorithm can achieve accurate results and offers good performance for systems with wide range of CPU utilizations and task set size, and therefore is applicable to schedulability analysis of complex distributed systems.
Repatriate
发表于 2025-3-24 20:32:34
0302-97432005, held in Fredrikstad, Norway, in September 2005...The 30 revised full papers were carefully reviewed and selected for inclusion in the book. The papers address all aspects of dependability and survivability of critical computerized systems in various branches and infrastructures..978-3-540-292
领先
发表于 2025-3-25 01:24:51
http://reply.papertrans.cn/24/2338/233734/233734_20.png