Administrative Staff Authors : Recent submissions
Now showing items 601-620 of 840
-
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, ... -
Monitoring Poverty Trends in Ireland 2004-2007: Key Issues for Children, People of Working Age and Older People
(ESRI, 07/09/2010)This report monitors the evolution of poverty in Ireland from 2004 to 2007. This period marks the end of the first ten year National Anti?Poverty Strategy (NAPS) in Ireland which ran from 1997 to 2007, and marks the beginning ... -
Activation in Ireland: An Evaluation of the National Employment Action Plan
(ESRI, 13/05/2011)Since early 2008 there has been a severe deterioration in the Irish economy, which has had major knock-on implications for the labour market. Unemployment increased from around 4.5 per cent at the end of 2007 to over ... -
What Can I Get For It? A Theoretical and Empirical Re-Analysis of the Endowment Effect
(ESRI, 2011-04-28)We hypothesise and confirm a previously unnoticed pattern within pre-existing data on the endowment effect, collected via seven experiments employing the original design. Subjects with low valuations in binary choice ... -
The Role of Decision-Making Biases in Ireland's Banking Crisis
(ESRI, 2011-05-19)This paper considers Ireland's banking crisis from the perspective of behavioural economics. It assesses whether known biases in judgement and decision-making were instrumental in the development and severity of the crisis. ... -
Staphylococcus aureus Protein A Binds to Osteoblasts and Triggers Signals That Weaken Bone in Osteomyelitis.
(2011)Osteomyelitis is a debilitating infectious disease of the bone. It is predominantly caused by S. aureus and is associated with significant morbidity and mortality. It is characterised by weakened bones associated with ... -
Crosslinking and mechanical properties significantly influence cell attachment, proliferation, and migration within collagen glycosaminoglycan scaffolds.
(2011)Crosslinking and the resultant changes in mechanical properties have been shown to influence cellular activity within collagen biomaterials. With this in mind, we sought to determine the effects of crosslinking on both the ... -
Inferring dynamic credentials for role-based trust management
(ACM, 2006)The topic of this paper is the role-based trust-management language RT_0, a formalism inspired by logic programming that handles trust in large scale, decentralised systems. We provide a purely operational semantics ... -
Remarks on Testing Probabilistic Processes
(IEEE, 2007)We develop a general testing scenario for probabilistic processes, giving rise to two theories: probabilistic may testing and probabilistic must testing. These are applied to a simple probabilistic version of the ... -
Biomaterials and scaffolds for tissue engineering
(2011)Every day thousands of surgical procedures are performed to replace or repair tissue that has been damaged through disease or trauma. The developing field of tissue engineering (TE) aims to regenerate damaged tissues by ...
