Institutional Repositories, Policies, and Disruption

For many librarians, institutional repositories (IRs) promised significant change for academic libraries. We envisioned enlarging collection development scope to include locally produced scholarship and an expansion of library services to embrace scholarly publication and distribution. However, at the University of Rochester, as at many other institutions, this transformational technology was introduced in the conservative, controlled manner associated with stereotypical librarian culture, and so these expected changes never materialized. In this case study, we focus on the creation of our institutional repository (a potentially disruptive technology) and how its success was hampered by our organizational culture, manifested as a lengthy and complicated set of policies. In the following pages, we briefly describe our repository project, talk about our original policies, look at the ways those policies impeded our project, and discuss the disruption of those policies and the benefits in user uptake that resulted.

Why do Nigerian manufacturing firms take action on AIDS?

Objective: To identify differences between manufacturing firms in Nigeria that have undertaken HIV/AIDS prevention activities and those that have not as a step toward improving the targeting of HIV policies and interventions. Methods: A survey of a representative sample of registered manufacturing firms in Nigeria, stratified by location, workforce size, and industrial sector. The survey was administered to managers of 232 firms representing most major industrial areas and sectors in March-April 2001. Results: 45.3 percent of the firms’ managers received information about HIV/AIDS from a source outside the firm in 2000; 7.7 percent knew of an employee who was HIV-positive at the time of the survey; and 13.6 percent knew of an employee who had left the firm and/or died in service due to AIDS. Only 31.7 percent of firms took any action to prevent HIV among employees in 2000, and 23.9 percent had discussed the epidemic as a potential business concern. The best correlates of having taken action on HIV were knowledge of an HIV-positive employee or having lost an employee to AIDS (odds ratio [OR] 6.36, 95% confidence interval [CI]: 2.30, 17.57) and receiving information about the disease from an outside source (OR 7.83, 95% CI: 3.46, 17.69). Conclusions: Despite a nationwide HIV seroprevalence of 5.8 percent, as of 2001 most Nigerian manufacturing firm managers did not regard HIV/AIDS as a serious problem and had neither taken any action on it nor discussed it as a business issue. Providing managers with accurate, relevant information about the epidemic and practical prevention interventions might strengthen the business response to AIDS in countries like Nigeria.

An Ounce of Prevention is Worth a Pound of Cure: Towards Physically-Correct Specifications of Embedded Real-Time Systems

Predictability — the ability to foretell that an implementation will not violate a set of specified reliability and timeliness requirements - is a crucial, highly desirable property of responsive embedded systems. This paper overviews a development methodology for responsive systems, which enhances predictability by eliminating potential hazards resulting from physically-unsound specifications. The backbone of our methodology is a formalism that restricts expressiveness in a way that allows the specification of only reactive, spontaneous, and causal computation. Unrealistic systems — possessing properties such as clairvoyance, caprice, infinite capacity, or perfect timing — cannot even be specified. We argue that this "ounce of prevention" at the specification level is likely to spare a lot of time and energy in the development cycle of responsive systems - not to mention the elimination of potential hazards that would have gone, otherwise, unnoticed.

Declarative Transport: No More Transport Protocols to Design, Only Policies to Specify

Transport protocols are an integral part of the inter-process communication (IPC) service used by application processes to communicate over the network infrastructure. With almost 30 years of research on transport, one would have hoped that we have a good handle on the problem. Unfortunately, that is not true. As the Internet continues to grow, new network technologies and new applications continue to emerge putting transport protocols in a never-ending flux as they are continuously adapted for these new environments. In this work, we propose a clean-slate transport architecture that renders all possible transport solutions as simply combinations of policies instantiated on a single common structure. We identify a minimal set of mechanisms that once instantiated with the appropriate policies allows any transport solution to be realized. Given our proposed architecture, we contend that there are no more transport protocols to design—only policies to specify. We implement our transport architecture in a declarative language, Network Datalog (NDlog), making the specification of different transport policies easy, compact, reusable, dynamically configurable and potentially verifiable. In NDlog, transport state is represented as database relations, state is updated/queried using database operations, and transport policies are specified using declarative rules. We identify limitations with NDlog that could potentially threaten the correctness of our specification. We propose several language extensions to NDlog that would significantly improve the programmability of transport policies.