An approach to the mechanisation of temporal logics, based on a form of clausal resolution has been developed [Fis91, Fis93]. Temporal formulae incorporating both past-time and future-time temporal operators are converted into Separated Normal Form, and then both non-temporal and temporal resolution rules are applied. The temporal resolution rule attempts to match conditions which must be event...

Despite calls for community-oriented policing and the recognition that it results in improved relationships between police community as well public security outcomes, police-community relations are arguably at an all-time low. Part of challenge achieving enhanced is a disparate understanding what each party wants can provide prioritizing these factors. We present project worked to improve throu...

We discuss the relations between welfare enhancing price discrimination and privacy enhancing technologies, and the possible drivers of consumers’ and merchants’ acceptance of those technologies.

Five years ago, “Privacy-enhancing technologies for the Internet” [23] examined the state of the then newly emerging privacy-enhancing technologies. In this survey paper, we look back at the last five years to see what has changed, what has stagnated, what has succeeded, what has failed, and why. We also look at current trends with a view towards the future.

The challenges of an aging population require the adoption of inhome and medical technologies to complement the traditional caregiver model. Adoption of such technologies is, however, impinged by privacy concerns. This study investigates a four dimensional framework that explains the tradeoffs between functionality and privacy as constructed by older adults. The four dimensions constitute perce...