Administrative Staff Authors (Scholarly Publications): Recent submissions
Now showing items 581-600 of 828
-
Cultural Differences in Parenting Practices
(ESRI, 2011)There is an increasing acceptance across the disciplines of psychology, sociology and health that an individual?s development does not take place in a social vacuum (see for example Bronfenbrenner?s bio-ecological model, ... -
Creating a Health Promoting Environment: The Role of Food
(ESRI, 2011)An analysis of international data on overweight and obesity shows Ireland in a very unflattering light. Along with the UK, Finland, Greece and the US, Ireland has some of the highest rates of adult and child obesity among ... -
A Good News Story About Irish Health Care
(ESRI, 2011)Life expectancy for older people in Ireland has been increasing steadily since the 1980s. Despite this, Irish life expectancies for the over 65s lagged seriously behind the EU average as recently as the mid 1990s. But Irish ... -
Type-safe execution of mobile agents in anonymous networks (Extended Abstract).
(Springer-Verlag, 1999)We study type-safety properties of open distributed systems of mobile agents, where not all sites are known to be well-typed. We adopt the underlying model of an anonymous network, allowing that code may be corrupted on ... -
Resource access control in systems of mobile agents (Extended Abstract).
(Elsevier, 1998)We describe a typing system for a distributed ?-calculus which guarantees that distributed agents cannot access the resources of a system without first being granted the capability to do so. The language studied allows ... -
Subtyping and Locality in Distributed Higher Order Mobile Processes (extended abstract).
(Springer-Verlag, 1999)This paper studies one important aspect of distributed systems, locality, using a calculus of distributed higher-order processes in which not only basic values or channels, but also parameterised processes are transferred ... -
Information flow vs resource access in the asynchronous pi-calculus.
(ACM, 2002)We propose an extension of the asynchronous ?-calculus in which a variety of security properties may be captured using types. These are an extension of the input/output types for the ?-calculus in which I/O capabilities ... -
Bisimulation Congruences in Safe Ambients (extended abstract).
(2002)We develop a semantics theory for SAP, a variant of Levi and Sangiorgi?s Safe Ambients, SA. The dynamics of SA relies upon capabilities (and co-capabilities) exercised by mobile agents, called ambients, to interact with ... -
Towards a Behavioural Theory of Access and Mobility Control in Distributed Systems.
(Elsevier, 2004)We de ne a typed bisimulation equivalence for the language Dpi, a dis- tributed version of the -calculus in which processes may migrate between dynamically created locations. It takes into account resource access policies, ... -
The Security Picalculus and Non-interference.
(Elsevier, 2005)The security -calculus is a typed version of the asynchronous -calculus in which the types, in addition to constraining the input/output behaviour of processes, have security levels associated with them. This enables ... -
SAFEDPI: A language for controlling mobile code
(2005)safeDpi is a distributed version of the Picalculus, in which processes are located at dynamically created sites. Parametrised code may be sent between sites using so-called ports, which are essentially higher-order ... -
Security Policies as Membranes in Systems for Global Computing
(Elsevier, 2004)We propose a simple global computing framework, whose main concern is code migration. Systems are structured in sites, and each site is divided into two parts: a computing body, and a membrane which regulates the ... -
A theory of system behaviour in the presence of node and link failure
(Elsevier, 2008)We develop a behavioural theory of distributed programs in the presence of failures such as nodes crashing and links breaking. The framework we use is that of D , a language in which located processes, or agents, may ... -
Adding Recursion to Dpi. (Extended Abstract)
(Electronic Notes in Theoretical Computer Science, 2006)Dpi is a distributed version of the pi-calculus, in which processes are explicitly located, and a migration construct may be used for moving between locations. We argue that adding a recursion operator to the language ... -
Proof methodologies for behavioural equivalence in DPI
(Springer, 2005)We focus on techniques for proving behavioural equivalence between systems in Dpi, a distributed version of the picalculus in which processes may migrate between dynamically created locations, and where resource access ... -
A theory for observational fault tolerance
(Elsevier, 2007)One reason for the study of programs in the presence of faults, i.e. defects at the lowest level of abstractions [2], is to be able to construct more dependable systems, meaning systems exhibiting a high probability of ... -
Obstacles to the Implementation of an Integrated National Alcohol Policy in Ireland: Nannies, Neo-Liberals and Joined-Up Government
(Cambridge University Press, 2009)This article explores how proponents of a public health model of alcohol policy have, for more than a quarter of a century, argued consistently but unsuccessfully for an integrated national alcohol policy in the Republic ... -
Molecular footprints reveal the impact of the protective HLA-A*03 allele in hepatitis C virus infection.
(2011)Background and aims: CD8 T cells are central to the control of hepatitis C virus (HCV) although the key features of a successful CD8 T cell response remain to be defined. In a cohort of Irish women infected by a single ... -
Annual Policy Report on Migration and Asylum 2009: Ireland
(Report Prepared for the European Commission Directorate-General Home Affairs and published by the ESRI, 2010-07-30)This report is the sixth in a series of Annual Policy Reports, a series which is intended to provide a coherent overview of migration and asylum trends and policy development during consecutive periods beginning in January ... -
Designing Primary Schools for the Future
(ESRI, 2010)International research has indicated the importance of school design for pupil engagement, learning and achievement. Aspects of the school environment, including school and classroom density, class size, quality of lighting, ...
