Software reliability experiments data analysis and investigation

The objectives are to investigate the fundamental reasons which cause independently developed software programs to fail dependently, and to examine fault tolerant software structures which maximize reliability gain in the presence of such dependent failure behavior. The authors used 20 redundant programs from a software reliability experiment to analyze the software errors causing coincident failures, to compare the reliability of N-version and recovery block structures composed of these programs, and to examine the impact of diversity on software reliability using subpopulations of these programs. The results indicate that both conceptually related and unrelated errors can cause coincident failures and that recovery block structures offer more reliability gain than N-version structures if acceptance checks that fail independently from the software components are available. The authors present a theory of general program checkers that have potential application for acceptance tests

Low temperature vapor phase catalytic oxidation unit

Low temperature vapor phase catalytic oxidation unit for removing organics in urine distillatio

Reconciling Environmentalism and the Left: Perspectives on Democracy and Social Justice in British Columbia\u27s Environmental Movement

The article examines how political ideas of environmentalists support as well as impede relations between the environmental movement and other progressive movements. This requires examination of the role and meaning of social justice and democracy in the discourse of environmentalism. Ibis study focuses such an examination on a sample of environmental activists in British Columbia. Q methodology is used to discern patterns of association between particular sets of environmental ideas, and beliefs and values related to democracy and social justice. The authors identify four environmental/political perspectives: alienated ecocentrism, civic communitarianism, insider preservationism and green egalitarianism. These perspectives share a perception of justice focused on fair democratic procedures. Fairness is linked to inclusion and equal treatment

An Incremental Learning Method to Support the Annotation of Workflows with Data-to-Data Relations

Workflow formalisations are often focused on the representation of a process with the primary objective to support execution. However, there are scenarios where what needs to be represented is the effect of the process on the data artefacts involved, for example when reasoning over the corresponding data policies. This can be achieved by annotating the workflow with the semantic relations that occur between these data artefacts. However, manually producing such annotations is difficult and time consuming. In this paper we introduce a method based on recommendations to support users in this task. Our approach is centred on an incremental rule association mining technique that allows to compensate the cold start problem due to the lack of a training set of annotated workflows. We discuss the implementation of a tool relying on this approach and how its application on an existing repository of workflows effectively enable the generation of such annotations

Octilinear Force-Directed Layout with Mental Map Preservation for Schematic Diagrams

We present an algorithm for automatically laying out metro map style schematics using a force-directed approach, where we use a localized version of the standard spring embedder forces combined with an octilinear magnetic force. The two types of forces used during layout are naturally conflicting, and the existing method of simply combining these to generate a resultant force does not give satisfactory results. Hence we vary the forces, emphasizing the standard forces in the beginning to produce a well distributed graph, with the octilinear forces becoming prevalent at the end of the layout, to ensure that the key requirement of line angles at intervals of 45? is obtained. Our method is considerably faster than the more commonly used search-based approaches, and we believe the results are superior to the previous force-directed approach. We have further developed this technique to address the issues of dynamic schematic layout. We use a Delaunay triangulation to construct a schematic “frame”, which is used to retain relative node positions and permits full control of the level of mental map preservation. This technique is the first to combine mental map preservation techniques with the additional layout criteria of schematic diagrams. To conclude, we present the results of a study to investigate the relationship between the level of mental map preservation and the user response time and accuracy