Property-Based Testing - The ProTest Project

The ProTest project is an FP7 STREP on property based testing. The purpose of the project is to develop software engineering approaches to improve reliability of service-oriented networks; support fault-finding and diagnosis based on specified properties of the system. And to do so we will build automated tools that will generate and run tests, monitor execution at run-time, and log events for analysis. The Erlang / Open Telecom Platform has been chosen as our initial implementation vehicle due to its robustness and reliability within the telecoms sector. It is noted for its success in the ATM telecoms switches by Ericsson, one of the project partners, as well as for multiple other uses such as in facebook, yahoo etc. In this paper we provide an overview of the project goals, as well as detailing initial progress in developing property based testing techniques and tools for the concurrent functional programming language Erlang

Covert repertoires: ecotage in the UK

Ecological sabotage (ecotage) has been a feature of the more radical parts of the environmental movement in the Western world for several decades. While it may be perceived as being the preserve of underground cells of 'eco-terrorists', in the UK those who carry out small-scale acts of sabotage are also often engaged in relatively conventional political activity; view sabotage as a complement to other action, not as an end in itself; and are committed to avoiding physical harm to people. Drawing on ethnographic data from research with British activists, this article seeks to define ecotage and to explain its place in the repertoires of the environmental direct action movement in the UK. It is argued that the self-limiting form of ecotage in the UK has its roots in cross-movement debates that have developed over several decades and that national traditions remain important in understanding the development of social movement repertoires

(WP 2005-05) Assessing the Determinants of Willingness to Pay for Urban Flood Control: The Role of Locational, Demographic and Attitudinal Factors

The urbanization of urban watersheds can influence flooding risks. Traditional Federal Emergency Management Agency (FEMA) flood risk maps identify 100 year floodplains. These maps are updated infrequently. However, as a community urbanizes, flood risks can change, especially for downstream residents. Thus, one would expect that the willingness to pay (WTP) to prevent the worsening of flooding risk would depend in part on the location of the household in the community and their associated flooding risk. Economists and regional scientists have evaluated the role played by traditional demographic factors. However, attitudinal factors measuring community norms, political philosophy, and other psychological factors that may be unique to the individual have not received the same level of scrutiny. Milwaukee, WI has experienced major flooding events, classified as floods with an expected frequency of once every 100 years or less, in 1986 and most recently in 1997 and 1998. In this study, 1000 residents of the Menomonee watershed in Milwaukee were interviewed in a two-wave panel survey (i.e., telephone interviews took place in 2000 and 2001) to determine their willingness to pay for a referendum which would prevent flood risks from worsening. The interviews queried respondents about their attitudes concerning flooding and ecological risks, political beliefs, information seeking behavior, and other psychological factors unique to the respondent. Information was also gathered on demographic characteristics of the respondent, and also that individuals address. The address was geocoded and hydrologic modeling was used to determine the unique flood risk associated with the residence. A willingness to pay function was estimated using Tobit analysis. Preliminary findings indicated that all three categories of factors influence willingness to pay, with psychological factors and flood risk factors having a relatively strong impact on willingness to pay

Traffic related noise and air quality valuations: evidence from stated preference residential choice models

This paper reports on research which has estimated valuations of changes in traffic related noise levels and air quality and which contributes to the body of knowledge and to methodology in this area. There are several novel aspects of this research. Firstly, there have been relatively few stated preference studies of the monetary valuations of traffic related noise and air quality. A feature of this analysis is the examination of variations in values according to the size and sign of the environmental change, the currently experienced level of the attribute and various socio-economic factors. Secondly, the important issue of presentation is addressed, with two different methods used in the valuation of air quality and links made between valuations and physical measures. Thirdly, the results from stated preference and the contingent valuation method are compared. Finally, we bring together evidence from other studies and compare them with the findings obtained here

Praxis Mapping: A methodology for evaluating the political impacts of international projects

This report describes the participatory development of a process we have used to consider the political implications of a climate justice project we worked on together from 2010 to 2013, called Strengthening the role of civil society in water sector governance towards climate change adaptation in African cities – Durban, Maputo, Nairobi (see http://ccaa.irisyorku.ca). This project was funded by the International Development Research Centre (IDRC) and the U.K. Department for International Development (DFID) through their Climate Change Adaptation in Africa programme.This research was supported by the International Development Research Centr

Pressure politics: a politics of collective consumption?

The nature of a politics of collective consumption is reviewed in terms of how we can distinguish those actions that pursue a broader public interest. The argument that outsider groups may be influential in terms of setting the political agenda is explored in relation to the politics of obesity and controversies about child access for divorced fathers. Animal rights militancy has proved a difficult issue for government to handle and has wider implications for pressure group activity. Government continues to favour a close relationship with big business but is less interested in reforming trade associations. Increasing cooperation between the National Farmers Union and Farmers for Action suggests that insider groups may be more willing to cooperate with outsider groups as they become more effective. The question of whether pressure group activity is moving in the direction of an ‘uncivil society’ is considered

The value of diplomacy: Bilateral relations and immigrant well-being

This paper attempts to establish the value of good relationships between countries by considering their effect on a group of individuals who are arguably intimately affected by them: immigrants. We appeal to an index of conflict/cooperation which is calculated as an annual weighted sum of news items between two countries. This index is matched to a sample of immigrants to Germany in the SOEP data. The index of bilateral relations thus exhibits both time-series and cross-section variation. Good relations are positively and significantly correlated with immigrant life satisfaction, especially when we downplay low-value news events. This significant effect is much stronger for immigrants who have been in Germany longer, and who expect to stay there forever. This is consistent with good relations directly affecting the quality of immigrants' lives in the host country, but is not consistent with assimilation. There is thus a significant value to diplomacy: good relationships between home and host countries generate significant well-being externalities for those who live abroad.migration ; bilateral relations ; life satisfaction ; assimilation ; diplomacy

WP2: Assessing multi-level activities in water and biodiversity governance. Report

--

RELEASE: A High-level Paradigm for Reliable Large-scale Server Software

Erlang is a functional language with a much-emulated model for building reliable distributed systems. This paper outlines the RELEASE project, and describes the progress in the rst six months. The project aim is to scale the Erlang's radical concurrency-oriented programming paradigm to build reliable general-purpose software, such as server-based systems, on massively parallel machines. Currently Erlang has inherently scalable computation and reliability models, but in practice scalability is constrained by aspects of the language and virtual machine. We are working at three levels to address these challenges: evolving the Erlang virtual machine so that it can work effectively on large scale multicore systems; evolving the language to Scalable Distributed (SD) Erlang; developing a scalable Erlang infrastructure to integrate multiple, heterogeneous clusters. We are also developing state of the art tools that allow programmers to understand the behaviour of massively parallel SD Erlang programs. We will demonstrate the e ectiveness of the RELEASE approach using demonstrators and two large case studies on a Blue Gene

Civil Disobedience and the Necessity Defense

[Excerpt] “This article will first examine the nature of civil disobedience, and distinguish between direct and indirect civil disobedience. Part II highlights some historical examples of civil disobedience. Part IV then examines the principles of the necessity defense, analyzing each of the elements that make up the defense, illustrated with cases on point. Next, Part V will turn to an analysis of several abortion-protest cases that raise issues different from other types of civil disobedience cases. Part VI then will examine Viet Nam era civil disobedience cases. Following that, Part VIII will explore a unique defense known as the Nuremberg Principles defense.