Semi-formal Models to Support Program Development: Autonomic Management within Component Based Parallel and Distributed Programming

Functional and non-functional concerns require different programming effort, different techniques and different methodologies when attempting to program efficient parallel/distributed applications. In this work we present a "programmer oriented" methodology based on formal tools that permits reasoning about parallel/distributed program development and refinement. The proposed methodology is semi-formal in that it does not require the exploitation of highly formal tools and techniques, while providing a palatable and effective support to programmers developing parallel/distributed applications, in particular when handling non-functional concerns.

No longer Sukumbasis: Challenges in grassroots-led squatter resettlement program in Kathmandu with special reference to Kirtipur Housing Project.

The paper is the outcome of a systematic effort to study and analyze the experiences of the Kirtipur Housing Project (KHP), the first ever grassroots-led squatter resettlement project in Kathmandu. It is widely hailed as a success story as it has been able to provide a legal, affordable and good quality housing solution to the Sukumbasis through grassroots mobilization. The paper analyses the dynamics of this mobilization and the roles of different actors to show how community empowerment, civil actions and local government interests have converged to create a constructive partnership in line with wider enabling principles. Apart from meeting the narrowly defined objective to rehouse 44 households, the project reflects capacity of the community, quite apart from lobbying and protest, in areas of project planning and management. While no grassroots mobilisation can be expected to replicate in a dynamic environment, the paper draws some policy insights that indicate the ability of the grassroots mobilization in Kathmandu to continue and grow. Conversely, the lessons learned from the project also point to limitations in terms lack of prerequisite critical mass or economic benefits to influence the government to prepare a policy framework under which it can foster in a more structured way.

A Bayesian Network Hybrid Model for Representing Accident and Emergency Waiting Times

The paper introduces a new modeling approach that represents the waiting times in an Accident and Emergency (A&E) Department in a UK based National Health Service (NHS) hospital. The technique uses Bayesian networks to capture the heterogeneity of arriving patients by representing how patient covariates interact to influence their waiting times in the department. Such waiting times have been reviewed by the NHS as a means of investigating the efficiency of A&E departments (Emergency Rooms) and how they operate. As a result activity targets are now established based on the patient total waiting times with much emphasis on trolley waits.

Emergency Management in Developed Countries: An Investigation of Hazard Risk, Vulnerability and Government Response in the UK and USA

During the summer of 2007 the United Kingdom experienced some of the worst flooding in its history, with the city of Hull amongst the worst affected. Meanwhile, the city of New Orleans, USA was subject to severe flooding in August 2005 as a result of Hurricane Katrina. The study has found that both the UK and US government disaster management programmes were ill prepared for these flood events. Many parallel issues have been discovered and discussed. The conditions of vulnerability that are evident in developing countries are not widely present in the UK or US but this must not be allowed to lead to complacency and lack of preparation and awareness. The cost in terms of mortality is relatively low compared to similar events in developing countries; however, the economic implications are considerable and must be addressed.