Titlebook: New Results in Dependability and Computer Systems; Proceedings of the 8 Wojciech Zamojski,Jacek Mazurkiewicz,Janusz Kacprz Conference proce

violate

逃避系列单词

Assessment of Network Coding Mechanism for the Network Protocol Stack 802.15.4/6LoWPAN,g systems. However, it improved mechanism for more efficient use of limited radio bandwidth. This mechanism is network coding, which is devoted to this article. The purpose of this article is to evaluate the effectiveness of network coding mechanism implemented on a network component that uses Atmel

渐变

Reliability Analysis of Discrete Transportation Systems Using Critical States,The simulation results are used to determine the initial level of resources that ensures seamless operation of the system. The simulator is also used to assess the conditional probability of system failure after reaching a specific set of reliability states. This is used to determine the set of crit

outer-ear

A Reference Model for the Selection of Open Source Tools for Requirements Management, The construction of the reference model results from the needs of companies producing software which are also interested in streamlining the process of managing requirements using Open Source tools. This interest in Open Source tools is, in turn, a consequence of licensing costs, integration with t

会议

A Probabilistic Approach to the Count-To-Infinity Problem in Distance-Vector Routing Algorithms, this paper a probabilistic solution to this problem is proposed. It is argued that by the use of a Bloom Filter added to the routing message the routing loops will with high probability not form. An experimental analysis of this solution for use in Wireless Sensor Networks in practice is also inclu

Hemiplegia

A Quality Estimation of Mutation Clustering in C# Programs, experimental evaluation of mutation clustering is presented. The approach was applied for object-oriented and standard mutation testing of C# programs. The quality metric was used to compare different solutions. It calculates a tradeoff between mutations score accuracy and mutation costs in terms o

gerontocracy

Using Virtualization Technology for Fault-Tolerant Replication in LAN,ation to reliably detect and tolerate faulty replicas, allowing the transformation of Byzantine faults into omission faults. Our approach reduces the total number of physical replicas from . to . Our approach is based on the concept of twin virtual machines, where there are two virtual machines in e

DEBT

Quantification of Simultaneous-AND Gates in Temporal Fault Trees,ehaviours exhibited by modern systems with redundant components. However, none of these extended FTA approaches provide much support for modelling situations where events have to be "nearly simultaneous", i.e., where events must occur within a certain interval to cause a failure. Although one such e

怕失去钱

Improving of Non-Interactive Zero-Knowledge Arguments Using Oblivious Transfer,t the prover is computationally bounded. As opposed to the single theorem NIZK proof protocols using common random string, NIZK argument protocols using OT are «multilingual» that is language . or the one-way function can be chosen and declared by prover in non-interactive mode. These protocols use