The First Round of Legislative Reforms in the Post-Serrano World

An overview of recent legislation in the field of educational finance reform which describes a number of similarities among the bills enacted after the Serrano decision but Before the first major reversals of some of the earlier decisions. Weaknesses common to these efforts are detailed and indications of future trends are suggested. An Appendix enumerates 1972-1973 school finance reforms in eleven different states

Cuckoo: a Language for Implementing Memory- and Thread-safe System Services

This paper is centered around the design of a thread- and memory-safe language, primarily for the compilation of application-specific services for extensible operating systems. We describe various issues that have influenced the design of our language, called Cuckoo, that guarantees safety of programs with potentially asynchronous flows of control. Comparisons are drawn between Cuckoo and related software safety techniques, including Cyclone and software-based fault isolation (SFI), and performance results suggest our prototype compiler is capable of generating safe code that executes with low runtime overheads, even without potential code optimizations. Compared to Cyclone, Cuckoo is able to safely guard accesses to memory when programs are multithreaded. Similarly, Cuckoo is capable of enforcing memory safety in situations that are potentially troublesome for techniques such as SFI

Resist, comply or workaround? An examination of different facets of user engagement with information systems

This paper provides a summary of studies of user resistance to Information Technology (IT) and identifies workaround activity as an understudied and distinct, but related, phenomenon. Previous categorizations of resistance have largely failed to address the relationships between the motivations for divergences from procedure and the associated workaround activity. This paper develops a composite model of resistance/workaround derived from two case study sites. We find four key antecedent conditions derived from both positive and negative resistance rationales and identify associations and links to various resultant workaround behaviours and provide supporting Chains of Evidence from two case studies

Bullcoming v. New Mexico: Revisiting Analyst Testimony After Melendez-Diaz

Wallyfy is planned to be a social webmagazine with a focus on good content, with a quality check and moderation of the published content. The author of the study provides Wallyfy with thoughts and ideas about the website content and functionality. The main problem of the study was to explore what makes good content in social media for the potential users of Wallyfy, also using this insight to provide Wallyfy with directions for making decisions regarding both functionality and content.   The theory of the study is being used as a starting point for understanding the phenomenom social media and to easier grasp the problem. The method of the study is based on user- centered thinking in design, where the author seeks to understand the participant’s emotions, values and dreams. Design probes (tasks for the participants) have been used to aid the first steps of the quality data collection, enabling the 5 participants of the study to be a part of the idea generation and to familiarize them with social media. The participants then attended a workshop based on the quality data from the design probes. Further quality data were then derived from the discussion and the creative participation in the workshop.   The relevant data parts were then compiled and orginanised to be presented as the data collection result in the study. The main theme from the data was that the participants valued content more if a personal connection between the user and the content could be made. From a discussion of the data and theory, recommendations and requirements regarding content and functionally for Wallyfy was produced.2014-06-03 14:15, John von Neumann</p