Stability in a Persistent Store Based on a Large Virtual Memory

Persistent systems support mechanisms which allow programs to create and manipulate arbitrary data structures which outlive the execution of the program which created them. A persistent store supports mechanisms for the storage and retrieval of objects in a uniform manner regardless of their lifetime. Since all data of the system is in this repository it is important that it always be in a consistent state. This property is called integrity. The integrity of the persistent store depends in part on the store being resilient to failures. That is, when an error occurs the store can recover to a previously recorded consistent state. The mechanism for recording this state and performing recovery is called stability. This paper considers an implementation of a persistent store based on a large virtual memory and shows how stability is achieved. 1

Intimate partner violence: a review of online interventions

© 2018, © 2018 Taylor & Francis Group, LLC. Violence against women (VAW) is a global social issue affecting health, social, and legal systems. VAW contributes to the inequities with respect to the social determinants of health that many women face today. The onus on self-care in the face of violence remains almost singularly with the victims. Access to information and services in support of women’s health and safety is fundamental. However, research gaps exist regarding how women access health information across all stages of an abusive intimate relationship. Given the ubiquity of online access to information, the purpose of this scoping review was to provide an overview of online interventions available to women within the context of intimate partner violence (IPV). Research literature published between 2000 and 2016, inclusive, was reviewed: 11 interventions were identified. Findings suggest that online interventions focused on the act of leaving with less emphasis on the experiences that occur after a woman has left the relationship. In addition, the online interventions concentrated on the individual capacity of the survivor to leave an abusive relationship and demonstrated limited understanding of IPV in relation to the broader social-contextual factors. Findings from this research highlight information gaps for women who require significant support after leaving an abusive relationship

A View Mechanism for an Integrated Project Support Environment

PhD ThesisIn the last few years the rapidly expanding application of computer technology has brought the problems of software production increasingly to the fore, and it is widely accepted that current software development techniques are unable to produce high quality software at the rate required to keep pace with this. To try to improve this imbalance, the fte1d of Software Engineering has been advanced as a possible solution, attempting to apply the formal methods of an engineering discipline to software design and implementation. One of the most promising areas to be developed in this fte1d is that of Integrated Project Support Environments (IPSE's), which attempt to spread the focus of attention during software development from the coding stage to embrace the whole development cycle, from initial requirements speciftcation through to operational maintenance. These environments hope to improve prodUction efficiency and quality by providing a complete set of support tools to help with each stage of software development, and to supply the necessary tool integration to ensure a smooth transition of use between these tools. This thesis examines the services provided as part of an IPSE which allow users and tools to interact in a meaningful way throughout the life of a project. In particular, a view mechanism is seen as a vital component of these services allowing indiVidual external views of the facilities to be deftned which suit different users' needs. A model of a view mechanism for an IPSE is developed, and within a particular implementation of an IPSE, a view mechanism is formally deftned and implemented. Finally, the view mechanism is analysed and discussed before concluding with some directions for future research.Science and Engineering Research Council (SERC)