University of Limerick Institutional Repository

Browsing LERO - Project partner authors by Title

DSpace Repository

Browsing LERO - Project partner authors by Title

Sort by: Order: Results:

  • Peters, Andrés A; Mason, Oliver; Middleton, Richard H (IEEE Computer Society, 2016)
    In this paper, we study a formation control scheme that achieves a tight formation in a 1D platoon. The scheme achieves constant inter-vehicle spacings (with no transient) for almost every vehicle pair whenever there ...
  • Sánchez-Gordón, Mary-Luz; O'Connor, Rory V.; Sanchez-Gordon, Sandra; Colomo-Palacios, Ricardo (Springer, 2016)
    The “best practices” of international software standards are considered important in improving the software process. The ISO/IEC 29110 standard defines lifecycle profiles for Very Small Entities (VSEs) and VSEs have ...
  • Buglione, Luigi; Gresse von Wangenheim, Christiane; Hauck, Jean Carlo R.; Mc Caffery, Fergal (2011)
    “Maturity model” (MM) (based on Crosby’s original idea) has been one of the main buzzwords over the past 20 years. A variety of MMs have been created in several application domains, from Software Engineering to Contract ...
  • Buglione, Luigi; Gresse von Wangenheim, Christiane; Mc Caffery, Fergal; Hauck, Jean Carlo R. (EuroSPI, 2012)
    When dealing with improvements, organizations seek to find a break-even point for their applications as early as possible in order to maximize the return from their investment. However, in some cases such a strategy can ...
  • O'Connor, Rory V.; Sanders, Martha H. (Springer-Verlag, 2013)
    This paper presents an overview of a pilot implementation of the ISO/IEC 29110 standard, with a group of very small software development companies based in Ireland. This paper may serve as guidance for both researchers ...
  • Portillo-Domínguez, Andrés Omar; Murphy, John; O'Sullivan, Patrick (2012)
    This paper offers an overview of the performance engineering field, including some of its latest challenges. Then, it briefly describes the research area of enhancing the performance of JEE systems through leveraging its ...
  • Hussain, Intesab; Djahel, Soufiene; Geneiatakis, Dimitris; Naït-Abdesselam, Farid (IEEE Computer Society, 2013)
    Session Initiation Protocol (SIP) is a widely used protocol for voice and video communication in Internet architecture. Due to its open nature and the lack of robust security mechanisms, SIP is vulnerable to several ...
  • Portillo-Domínguez, Andrés Omar; Wang, Miao; Magoni, Damien; Perry, Philip; Murphy, John (IEEE Computer Society, 2014)
    Modern computer applications, especially at enterprise-level, are commonly deployed with a big number of clustered instances to achieve a higher system performance, in which case single machine based solutions are less ...
  • Butterfield, Andrew (2012)
    U (TP)2 is a theorem prover developed to support the Unifying Theories of Programming (UTP) framework. Its primary design goal was to support the higher-order logic, alphabets, equational reasoning and \programs as ...
  • Coyle, Sharon; Conboy, Kieran; Acton, Thomas (ACIS, 2011)
    The importance of effective decision making in organisations has been well documented. Groups are often formed in order to collaborate skills and information and assist with decision-making. Despite the many benefits associated ...
  • Heras, Federico; Morgado, Antonio; Marques-Silva, Joao (Springer, 2012)
    This paper presents several ways to compute lower and upper bounds for MaxSAT based on calling a complete SAT solver. Preliminary results indicate that (i) the bounds are of high quality, (ii) the bounds can boost the ...
  • Taylor, Adam; Galván-López, Edgar; Clarke, Siobhán; Cahill, Vinny (2012)
    A key change in the move to Smart Grids (SGs) is the use of dynamic pricing; this together with less reliable energy from renewable resources makes optimising electricity use highly complex. For smart-devices to function ...
  • Yilmaz, Murat; O'Connor, Rory V. (EuroSPI, 2012)
    We consider software development as an economic activity, where goods and services can be modeled as a resource constrained task allocation problem. This paper introduces a market based mechanism to overcome task ...
  • Morgado, Antonio; Liffiton, Mark; Marques-Silva, Joao (2012)
    Enumeration of Minimal Correction Sets (MCS) finds a wide range of practical applications, including the identification of Minimal Unsatisfiable Subsets (MUS) used in verifying the complex control logic of microprocessor ...
  • O'Hara, Niall; Slot, Marco; Marinescu, Dan; Čurn, Jan; Yang, Dawei; Asplund, Mikael; Bouroche, Mélanie; Clarke, Siobhán; Cahill, Vinny (IEEE Computer Society, 2012)
    Research and development in the field of intelligent transportation systems (ITS) can be costly in terms of both time and money. A significant initial and ongoing investment is often required in order to obtain a physical ...
  • Clarke, Paul; O'Connor, Rory V. (Springer, 2011)
    Software processes support the work of software development and software process improvement (SPI) is concerned with improving the operation of the software process. One of the primary reasons for conducting SPI is to ...
  • Jordan, Howell; Collier, Rem W. (2012)
    In any engineering domain, a detailed understanding of what constitutes a 'good' product is vital for the development of theories that are both general and useful. However, software engineering researchers' understanding ...
  • Flood, Derek; Mc Caffery, Fergal; Casey, Valentine; Regan, Gilbert (Springer, 2013)
    A critical component to the success of software systems is the incor-poration of the end user. Ensuring that the end user can use the system effec-tively and efficiently is an important consideration. Failure to do this ...
  • Mc Caffery, Fergal; Casey, Valentine (2010)
    In this paper we describe how a lightweight assessment method was developed to educate Irish software development organisations in relation to becoming medical device software suppliers.
  • Casey, Valentine; Mc Caffery, Fergal (2011)
    Traceability is central to medical device software development and is an essential requirement for regulatory approval. To achieve compliance an effective traceability process needs to be in place. This process must ensure ...

Search ULIR


Browse

My Account

Statistics