In this paper, we address the problem of safely and conveniently performing ‘‘trial’’ experiments in system administration tasks. System administrators often perform such trial executions that involve installing new software or experimenting with features of existing software. Often such trials require testing of software that run on multiple hosts. For instance, experimenting with a typical cl...

As intelligent software agents are pushed out into the real world and increasingly take over responsibility for important tasks, it becomes important that there are ways of guaranteeing that the agents are safe. But what does “safe” mean in this context. Certainly if the agents are interacting with people then to a certain extent, “safe” will mean that people can trust their model of the agent ...

1 Kathleen L. Kitto, Western Washington University, Engineering Technology, Bellingham, WA 98225, [email protected] 2 Dr. Barbara Sylvester, Western Washington University, University Writing Program, Bellingham, WA 98225, [email protected] Abstract -In teaching the Engineering Technology Department’s new ethics course, instructors from Western Washington University’s Writing Program and ...

In this paper we present an approach to control a vehicle in a hostile environment with static obstacles and moving adversaries. The vehicle is required to satisfy a mission objective expressed as a temporal logic specification over a set of properties satisfied at regions of a partitioned environment. We model the movements of adversaries in between regions of the environment as Poisson proces...

We describe, build, and evaluate Lockdown, a system that significantly increases the level of security for online transactions, even on a platform infested with malicious code. Lockdown provides the user with a highly-protected, yet also highly-constrained trusted environment for performing online transactions, as well as a high-performance, general-purpose environment for all other (non-securi...

Providing a safe environment for every patient undergoing a surgical or other invasive procedure is imperative. AORN's "Recommended practices for a safe environment of care" provides guidance on a wide range of topics related to the safety of perioperative patients and health care personnel. The recommendations are intended to provide guidance for establishing best practices and implementing sa...

The need to examine data structures often occurs in programming language and database management systems. In this paper we describe how a browser for a strongly typed programming language ( PS-algol ) may be written in a type secure manner in a closed persistent environment. This is achieved without resorting to magic or having to break the type rules of the language by exploiting a compiler th...

As drones and autonomous cars become more widespread it is becoming increasingly important that robots can operate safely under realistic conditions. The noisy information fed into real systems means that robots must use estimates of the environment to plan navigation. Efficiently guaranteeing that the resulting motion plans are safe under these circumstances has proved difficult. We examine ho...

BACKGROUND AND OBJECTIVES Within hospital pediatric units, there is a lack of consistent application or modeling of the American Academy of Pediatrics recommendations for safe infant sleep. The purpose of this study was to improve safe sleep practices for infants in nonneonatal pediatric units with implementation of specific interventions. METHODS This multi-institutional study was conducted ...