Accuracy: The fundamental requirement for voting systems

There have been several attempts to develop a comprehensive account of the requirements for voting systems, particularly for public elections. Typically, these approaches identify a number of "high level" principals which are then refined either into more detailed statements or more formal constructs. Unfortunately, these approaches do not acknowledge the complexity and diversity of the contexts in which voting takes place. This paper takes a different approach by arguing that the only requirement for a voting system is that it is accurate. More detailed requirements can then be derived from this high level requirement for the particular context in which the system is implemented and deployed. A general, formal high level model for voting systems and their context is proposed. Several related definitions of accuracy for voting systems are then developed, illustrating how the term "accuracy" is in interpreted in different contexts. Finally, a context based requirement for voting system privacy is investigated as an example of deriving a subsidiary requirement from the high level requirement for accuracy

On K\"ahler conformal compactifications of U(n)U(n)-invariant ALE spaces

We prove that a certain class of ALE spaces always has a Kahler conformal compactification, and moreover provide explicit formulas for the conformal factor and the Kahler potential of said compactification. We then apply this to give a new and simple construction of the canonical Bochner-K\"ahler metric on certain weighted projective spaces, and also to explicitly construct a family Kahler edge-cone metrics on $\mathbb{CP}^2$, with singular set $\mathbb{CP}^1$, having cone angles $2\pi\beta$ for all $\beta>0$. We conclude by discussing how these results can be used to obtain certain well-known Einstein metrics.Comment: 14 page

Deriving Information Requirements from Responsibility Models

This paper describes research in understanding the requirements for complex information systems that are constructed from one or more generic COTS systems. We argue that, in these cases, behavioural requirements are largely defined by the underlying system and that the goal of the requirements engineering process is to understand the information requirements of system stakeholders. We discuss this notion of information requirements and propose that an understanding of how a socio-technical system is structured in terms of responsibilities is an effective way of discovering this type of requirement. We introduce the idea of responsibility modelling and show, using an example drawn from the domain of emergency planning, how a responsibility model can be used to derive information requirements for a system that coordinates the multiple agencies dealing with an emergency