University of Limerick Institutional Repository

Browsing LERO by Title

DSpace/Manakin Repository

Browsing LERO by Title

Sort by: Order: Results:

  • Meade, Anne; Deeptimahanti, Deva Kumar; Johnston, Michael; Buckley, Jim; Collins, J.J. (IEEE Computer Society, 2013)
    Parallelizing serial software systems in order to run in a High Performance Computing (HPC) environment presents many challenges to developers. In particular, the extant literature suggests the task of decomposing ...
  • Čurn, Jan; Marinescu, Dan; O'Hara, Niall; Cahill, Vinny (IEEE Computer Society, 2013)
    In this paper we consider the problem of cooperative vehicle localisation, in which a group of vehicles are driving in an outdoor environment, each estimating their position using a global positioning system (GPS) and ...
  • Vrany, Jan; Bergel, Alexandre (2007)
    The use of Interpreter and Visitor design patterns has been widely adopted to implement programming language interpreters due to their expressive and simple design. However, no general approach to conceive a debugger is ...
  • Morgan, Lorraine; Finnegan, Patrick (Springer, 2008)
    Open innovation is a paradigm that proposes that firms can and should use external as well as internal innovations/ideas. A popular example of open innovation has been open source software (OSS). The key issues facing ...
  • Beecham, Sarah; Noll, John; Richardson, Ita; Dhungana, Deepak (IEEE Computer Society, 2011)
    Global Software Development (GSD) research has reached a level of maturity. Paper-based solutions and guidelines are readily available to solve many known distributed software development problems. The large number of ...
  • Stabeler, Matthew; Cellai, Davide; Dobson, Simon (IEEE Computer Society, 2009)
    We propose a prototype for a real-world, human network proximity experiment with detailed recordings of the position of individuals. Our aim is to provide a comprehensive dataset to investigate the internal correlations ...
  • Krafft, Martin F. (University of Limerick, Department of Computer Science & Information Systems, 2010)
    The Debian Project is possibly the largest FLOSS project, but its processes have not scaled in relation to its growth and complexity. Many aspects of daily tasks require the volunteer contributors to expend time on repetitive, ...
  • Gancarski, Pawel; Butterfield, Andrew (Springer, 2009)
    This paper describes a complete denotational semantics, in the UTP framework, of slotted-Circus, a generic framework for reasoning about discrete timed/synchronously clocked systems. The key result presented here is a ...
  • Quirós Carretero, Alicia; Wilson, Simon P (2011)
    Source separation is a common task in signal processing and is often analogous to factor analysis. In this work we look at a factor analysis model for source separation of multi-spectral image data where prior information ...
  • O'Connor, Rory V.; Laporte, Claude Y. (Springer-Verlag, 2011)
    The recently published ISO/IEC 29110 standard lifecycle profiles for very small entities has at its core a management and engineering guide [1] which is targeted at very small entities (enterprises, organizations, departments ...
  • Botterweck, Goetz; Simon, Carlo (2004)
    This paper presents an approach which enables a system analyst to derive process models from data models. To accomplish this, existing data models are augmented with additional informa-tion regarding the intended process ...
  • O'Leary, Pádraig; Richardson, Ita (2011)
    Software process reference models can serve as a tool for simplifying process problem solving. Through a series of research phases using sources in industry and academia, we developed a software process reference model for ...
  • Stol, Klaas-Jan; Avgeriou, Paris; Ali Babar, Muhammad (Springer-Verlag, 2011)
    Architecture patterns have a direct effect (positive or negative) on a system’s quality attributes (e.g., performance). Therefore, information about patterns used in a product can provide valuable insights to, e.g., component ...
  • Reid, Louise; Lotter, Martha; Burton, John; Richardson, Ita (IEEE Computer Society, 2012)
    The purpose of this paper is to present the development of a Hospital Quality Assurance Program, H-QAP. People and Medical Devices, including software, cannot be separated in the healthcare environment, and clinical and ...
  • Atachiants, Roman; Gregg, David; Jarvis, Kim; Doherty, Gavin (Association for Computing Machinery, 2014)
    In recent years there has been a shift in microprocessor manufacture from building single-core processors towards providing multiple cores on the same chip. This shift has meant that a much wider population of developers ...
  • Taher, Yehia; Haque, Rafiqul; Nquyen, Dinh Khou; Van den Heuvel, Willem-Jan (2011)
    Cost and complexity are currently the most substantial obstacles for designing and delivering services in the public sector. The traditional in-house development and maintenance landscape of public services require experts ...
  • Okouya, Daniel; Penserini, Loris; Saudrais, Sebastien; Staikopoulos, Athanasios; Dignum, Virginia; Clarke, Siobhán (2008)
    The increasing complexity of distributed applications, soft- ware services that can be dynamically deployed, adjusted and composed, paves the way for new challenges in software and service engineering. This paper describes ...
  • Ali, Nour; Ramos, Isidro (IGI Global, 2012)
    This chapter focuses on designing software architectures of mobile applications using an Aspect-Oriented Architecture Description Language (AOADL). The AOADL follows an approach called Ambient-PRISMA which enables designers ...
  • Pluska, Michal; Sinclair, David (IEEE Computer Society, 2010)
    Hybrid systems are gaining interest in control engineering because the ability to provide information for verification of the system by using hybrid automata. Moreover the importance of the model based approach is growing ...
  • Pluska, Michal; Sinclair, David (IEEE Computer Society, 2011)
    This work presents the OHMS methodology. The main aim of it is to design a model of a complex system easy to process by formal model checking procedure. The outcome is a verification report showing safety of the system. ...

Search DSpace


Advanced Search

Browse

My Account