Using Event Calculus to Formalise Policy Specification and Analysis

As the interest in using policy-based approaches for systems management grows, it is becoming increasingly important to develop methods for performing analysis and refinement of policy specifications. Although this is an area that researchers have devoted some attention to, none of the proposed solutions address the issues of analysing specifications that combine authorisation and management policies; analysing policy specifications that contain constraints on the applicability of the policies; and performing a priori analysis of the specification that will both detect the presence of inconsistencies and explain the situations in which the conflict will occur. We present a method for transforming both policy and system behaviour specifications into a formal notation that is based on event calculus. Additionally it describes how this formalism can be used in conjunction with abductive reasoning techniques to perform a priori analysis of policy specifications for the various conflict types identified in the literature. Finally, it presents some initial thoughts on how this notation and analysis technique could be used to perform policy refinement

ALSEP termination report

The Apollo Lunar Surface Experiments Package (ALSEP) final report was prepared when support operations were terminated September 30, 1977, and NASA discontinued the receiving and processing of scientific data transmitted from equipment deployed on the lunar surface. The ALSEP experiments (Apollo 11 to Apollo 17) are described and pertinent operational history is given for each experiment. The ALSEP data processing and distribution are described together with an extensive discussion on archiving. Engineering closeout tests and results are given, and the status and configuration of the experiments at termination are documented. Significant science findings are summarized by selected investigators. Significant operational data and recommendations are also included

Meeting on the Bridge: is it possible for secular feminism and public theology to work together?

In this paper, the argument is that secular feminism and public theology accomplish little in separation to one another. If both are working toward a more just horizon, their inability to work together simply confirms that their methodologies are flawed even while contending they practice justice while separate from one another. In this paper I contend that the force of violence that is spread by fundamentalist religious groups has been exacerbated by the community division between the secular and the religious sphere of human life. Secular social movements like feminism and Christian public theology have failed to fill this gap partly because of their maintenance of this separation which fails to see what each in conjunction have to offer people seeking a home

CAHRS hrSpectrum (March - April 2003)

HRSpec03_04.pdf: 123 downloads, before Oct. 1, 2020

No Shortage of Tanks!: The Canadian Army’s System for the Recovery, Repair and Replacement of A and B Vehicles and Major Weapons Systems

This article is an overview of the First Canadian Army in North West Europe’s ability to recover, repair and damaged, destroyed and broken down vehicles and weapons systems. This capability was a crucial factor in maintaining the overall combat power of the Canadian Army Overseas during operations in the last year of war. To support this argument the author examines Canadian wartime primary documents as well as multiple secondary sources