A process for rigorous inspection of concurrent systems using tabular specification was developed and applied to the classic Readers/Writers concurrent program by Jin in [15]. The process involved rewriting the program ...
Gallagher, Stephen; Povey, Rachel(Oxford University Press, 2006)
Background Despite many government initiatives, uptake of the trivalent influenza vaccine among the older adult population still remains suboptimal. If immunization rates are to be optimized, new approaches for identifying ...
Egan, Patrick; Connelly, Michael J.; Lakestani, Fereydoun; Whelan, Maurice P.(Optical Society of America, 2006)
With analog scanning, time-domain low-coherence interferometry lacks precise depth information, and optical carrier generation demands a linear scanning speed. Full-field heterodyne low-coherence interferometry that uses ...
Purpose – The purpose of this paper is to introduce the special issue, which brings together five papers exploring the changing anatomy of HRM at organisational level.
Design/methodology/approach – This overarching paper ...
O'Connor, Pat(Routledge Taylor & Francis Group, 2006)
Drawing on texts written by young people aged 14-17 years in a school context in response to an invitation to write a page describing themselves and their vision of Ireland and to use the reverse side creatively for drawings, ...
Mc Caffery, Fergal; Richardson, Ita; Coleman, Gerry(2006)
In this paper we describe the appraisal method that was developed by Lero (the Irish Software Engineering Research Centre) and Dundalk Institute of Technology (DkIT) to assess software processes within small to medium-sized ...
This paper describes the application of the Trace
Function Method to specify the requirements of a software component. We illustrate the method on a software component of a telecommunications system that was developed by ...
Egan, Patrick; Lakestani, Fereydoun; Whelan, Maurice P.; Connelly, Michael J.(Society of Photo-Optical Instrumentation Engineers, 2006)
Full-field optical coherence tomography (OCT) using a complementary metal-oxide semiconductor (CMOS) camera with an integrated a digital signal processor (DSP) is demonstrated. The CMOSDSP camera employed is typically used ...
This article looks at the ways in which young people reflexively construct their self within a rapidly changing society. Drawing on texts written by young people aged 14–17 years, it explores the existence of patterns ...