University of Limerick Institutional Repository

Browsing by Title

DSpace Repository

Browsing by Title

Sort by: Order: Results:

  • Yang, Hui; De Roeck, Anne; Gervasi, Vincenzo; Willis, Alistair; Nuseibeh, Bashar (IEEE Computer Society, 2010)
    This paper presents an approach to automatically identify potentially nocuous ambiguities, which occur when text is interpreted differently by different readers of requirements written in natural language. We extract a set ...
  • Popescu, Razvan; Staikopoulos, Athanasios; Clarke, Siobhán (Association for Computing Machinery, 2009)
    Several techniques have been de ned for the monitoring and adaptation of applications. However, such techniques usually work in isolation and cannot be easily integrated to tackle complex monitoring and adaptation ...
  • Bakera, Marco; Wagner, Christian; Margaria, Tiziana; Vassev, Emil; Hinchey, Mike; Steffen, Bernhard (IEEE Computer Society, 2010)
    Rich and multifaceted domain specific specification languages like the Autonomic System Specification Language (ASSL) help to design reliable systems with self-healing capabilities. The GEAR game-based Model Checker has ...
  • Hamilton, Geoff W. (Springer, 2009)
    In this paper, we give a re-formulation of our previously defined distillation algorithm, which can automatically transform higherorder functional programs into equivalent tail-recursive programs. Our re-formulation ...
  • Coleman, Gerry (IEEE Computer Society, 2004)
    Within the body of literature, much emphasis has been placed on the use of process models to support software development [1, 2, 3]. Despite this, there is significant variation in the software processes used by software ...
  • Cespedes, Oscar; Luu, A.; Rhen, Fernando M.F.; Coey, John Michael David (IEEE Computer Society, 2008)
    A method is described for the fabrication of magnetic force microscopy tips via localized electrodeposition and focused ion beam milling departing from commercial tapping mode tips. Very high aspect ratios and interacting ...
  • Kelly, Dervla; Singh, Ajay; Barrett, Christopher A.; O'Sullivan, Catriona; Coughlan, Claudia; Laffir, Fathima R.; O'Dwyer, Colm; Ryan, Kevin M. (Royal Society of Chemistry, 2011)
    A facile spin cast route was developed to convert perpendicularly aligned nanorod assemblies of cadmium chalcogenides into their silver and copper analogues. The assemblies are rapidly cation exchanged without affecting ...
  • Kelly, Dervla (University of Limerick, 2012)
    This master’s thesis outlines the novel spin exchange process which was developed to create centimetre scale nanorod assemblies of copper and silver chalcogenides. These assemblies originated by synthesising CdS and CdSe ...
  • Dobson, Simon (IEEE Computer Society, 2008)
    While it is desirable for all computing and communications systems to have well-defined and verifiable behaviour, autonomic systems must additionally guarantee that their adaptive behaviour is correct, both in the sense ...
  • Barry, Maebh; Murphy-Tighe, Sylvia (Mark Allen Healthcare, 2013)
    Midwives are in a unique position to support mothers in the initiation of breastfeeding. In order to advise and support mothers effectively it is important that midwives have a sound understanding of the evidence base ...
  • Campbell, Abey; Collier, Rem W.; Dragone, Mauro; Görgü, Levent; Holz, Thomas; O'Grady, Michael J; O'Hare, G.M.P.; Sassu, Antoella; Stafford, John (Springer, 2012)
    Facilitating intuitive interaction is a prerequisite for the ubiquitous computing paradigm in all its manifestations. How to achieve such interaction in practice remains an open question. Such interfaces must be perceived ...
  • Finn, Patrick M. (University of Limerick, 2011)
    As part of a European Union climate change and energy package that aims to reduce greenhouse gases by 20%, reach 20% penetration of renewable energy, and improve energy efficiency by 20% by 2020, Ireland has committed ...
  • Morgan, Lorraine; Conboy, Kieran (2013)
    While it is widely acknowledged that cloud computing has the potential to transform a large part of the IT industry, issues surrounding the adoption of cloud computing have received relatively little attention. Drawing on ...
  • O'Shaughnessy, Kathleen T. (University of Limerick, Department of Education and Professional Studies, 2011)
    ICT use in the classroom is very important to provide the opportunities for adult students to learn in this information communications technology (ICT) age. Studying the barriers to the use of ICT in education may assist ...
  • O'Connell, Barry M; McGloughlin, Timothy M.; Walsh, Michael T. (BioMed Central, 2010)
    Coronary artery disease can be treated by implanting a stent into the blocked region of an artery, thus enabling blood perfusion to distal vessels. Minimally invasive procedures of this nature often result in damage to ...
  • O'Connor, Pat (National University of Galway, 2003)
    The reality of discrimination within the university system has been recognised by, for example, the Committee of Vice Chancellors and Principals in the UK (CVCP, 1991), and the President of MIT in the US (MIT, 1999). In a ...
  • O'Sullivan, Mary (Human Kinetics, 1989)
    It is generally recognized that the first year of teaching is a critical time in the professional life of a teacher. It is a major life change from the role of student to teacher and working adult, from one who is guided ...
  • Moore, Thomas D.; Jarvis, John L. (IEEE Computer Society, 2001)
    This paper examines one of the common modes of structural failure in multichip ball grid arrays (BGAs), determines its locations within the package structure, relates it to the stresses generated in the reliability tests ...
  • Keogh, Sinéad A.; Walczak, Henning; Bouchier-Hayes, Lisa; Martin, Seamus J. (Elsevier, 2000)
    Tumour necrosis factor (TNF)-related apoptosis inducing ligand (TRAIL) is a member of the TNF family of cytokines that promotes apoptosis and NF-kB activation. Here we show that recombinant hu-TRAIL initiates the activation ...
  • Hinchey, Mike (IEEE Computer Society, 2011)
    NASA is developing plans for innovative and novel approaches to future (unmanned) space exploration missions. Future missions involve sending spacecraft and robots to harsh environments, where resilience is necessary for ...

Search DSpace

Browse

My Account

Statistics