The IEC standards 61508/61511 require that reliability targets for safety instrumented functions are defined and verified. The reliability targets are given as one out of a possible four safety integrity levels. For each safety integrity level there are many design requirements, including requirements for the probability of failure on demand. Verification of the requirements for the probability...

Most Internet-based collaborative computing systems face the major problem: freeriding. The abundance of freeriders, and load imbalance it creates, punishes those peers who do actively contribute to the network by forcing them to overuse their resources. Hence, the overall system performance becomes to degrade quickly. The goal of this paper is aimed to provide an efficient approach to distingu...

In database federations the integrity problem arises from the degree of heterogeneity and autonomy of participating component database systems. This causes integrity control more complicate than that in traditional centralized database systems. Semantic integrity should be considered in two phases: constraint federation and constraint enforcement. Otherwise, the administrators of component data...

In this paper, we present our research on the problem of ensuring the integrity of Wikipedia, the world’s biggest free encyclopedia. As anyone can edit Wikipedia, many malicious users take advantage of this situation to make edits that compromise pages’ content quality. Specifically, we present DePP, the state-of-the-art tool that detects article pages to protect with an accuracy of 93% and we ...

Intrinsic information integrity attributes of accuracy, consistency and reliability are central to any information system in that in their absence the information systems (IS) will have massive amounts of polluted (error – filled) data and useless, even dangerous information. These errors are essentially caused by on-line factors of change, complexity, communication, conversion and corruption w...

In service-oriented loosely coupled distributed information systems, the format and semantics of the exchanged data become more and more important. We envisage that there will be an increasing number of general and domain-specific XML-based data formats for service-oriented computing. A typical example is a tax declaration form. If the schemas defining the formats specify structural and additio...

Note: Most SVRC technical reports are available via anonymous ftp, from svrc.it.uq.edu.au in the directory /pub/techreports. Individual abstracts and compressed postscript les are available from Abstract International Standards for safety-critical software typically use notions of Safety Integrity Levels (SILs) which in our experience are dif-cult to apply and which lack credible assessment cri...

The use of differential GPS is becoming increasingly popular for real-time navigation systems. As these systems migrate to safety-of-life applications (e.g. precision approach and landing), their integrity becomes more important than their accuracy. One method for increasing both accuracy and integrity is the use o f weighting in the navigation solution. This method uses a priori information to...

background: it is established that sperm dna integrity is essential in fertilization and normal embryo and fetal development. routine semen analysis gives an approximate evaluation of the functional competence of spermatozoa, but does not always reflect the quality of sperm dna. therefore, the evaluation of sperm dna integrity, in addition to routine sperm parameters, could add further informat...