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:

  • Mattsson, Anders; Lundell, Bjorn (2009)
    Method transfer is a problematic task. This paper discusses issues to be addressed when transferring a method and tool to a wide community by forming an open source community contrasted with the experiences from transfer ...
  • Flood, Derek; Mc Caffery, Fergal; Casey, Valentine; Regan, Gilbert (Springer, 2013)
    Software process improvement initiatives offer many benefits in terms of productivity, cost savings and quality. As part of these initiatives or-ganisations undergo an assessment and then embark on a software process ...
  • Bachir, Mounira; Touati, Sid-Ahmed-Ali; Brault, Frederic; Gregg, David; Cohen, Albert (Springer, 2013)
    We address the problem of generating compact code from software pipelined loops. Although software pipelining is a powerful technique to extract fine-grain parallelism, it generates lifetime intervals spanning multiple ...
  • Bayley, Ian; Flood, Derek; Harrison, Rachel; Martin, Clare (IARIA International Academy, Research and Industry Association, 2012)
    Testing is an essential part of the software development lifecycle. However, it can cost a lot of time and money to perform. For mobile applications, this problem is further exacerbated by the need to develop apps in a ...
  • Janota, Mikolas; Kuzina, Victoria; Wasowski, Andrzej (Association for Computing Machinery, 2008)
    Mainstream development environments have recently assimilated guidance technologies based on constraint satisfaction. We investigate one class of such technologies, namely, interactive guided derivation of models, where ...
  • Pahl, Claus; Barrett, Ronan; IRCSET (IEEE Computer Society, 2006)
    Increasingly, distributed systems are being constructed by composing a number of components, often legacy applications exposed using Web service interfaces. There are a number of architectural configurations or distribution ...
  • Song, Hui; Raj, Amit; Hajebi, Saeed; Clarke, Siobhán; Clarke, Aidan (INSTICC, 2013)
    Monitoring and adaptation of multilayer systems are challenging, because the mismatches and adaptations are interrelated across the layers. This interrelation introduces two important but difficult questions. 1) When a ...
  • Metzger, Andreas; Pohl, Klaus; Reis, Sacha; Reuys, A (2006)
    Due to the rising demand for individualised software products and software-intensive systems (e.g.,mobile phone or automotive software), organizations are faced with the challenge to provide a diversity of software systems ...
  • Botterweck, Goetz (Association Computing Machinery, 2006)
    In this paper, we describe MANTRA1, a model-driven approach to the development of multiple consistent user interfaces for one application. The common essence of these user interfaces is captured in an abstract UI model ...
  • Carton, Andrew; Driver, Cormac; Jackson, Andrew; Clarke, Siobhán (Springer-Verlag, 2009)
    TTTTheme/UML is an existing approach to aspect-oriented modelling that supports the modularisation and composition of concerns, including crosscutting ones, in design. To date, its lack of integration with model-driven ...
  • Linehan, Eamonn; Clarke, Siobhán (Lero, University of Limerick, 2010)
    This document presents a metamodel for the e Hardware Verification Language through example. The e metamodel is captured as a UML 2 profile (UML's mechanism for lightweight extension). Stereotypes from this profile can ...
  • Galpin, Darren; Driver, Cormac; Clarke, Siobhán (Association for Computing Machinery, 2009)
    e is an aspect-oriented hardware verification language that is widely used to verify the design of electronic circuits through the development and execution of testbenches. In recent years, the continued growth of the ...
  • Gomes, Arthur O; Butterfield, Andrew (Springer, 2016)
    We present a formal model of aspects of the haemodialysis machine case study using the Circus speci cation notation. We focus on building a model in which each of the software requirements (R-1{36) are represented by a ...
  • Thorpe, Christina; Cerqueus, Thomas; Ventresque, Anthony (2013)
    The Cloud is a complex, heterogeneous environment consisting of many layered components with complicated interconnections and relationships. Monitoring the Cloud is vital in providing service assurance and upholding SLAs. ...
  • Kattan, Ahmed; Yew-Soon, Ong; Galván-López, Edgar (IEEE Computer Society, 2013)
    In this paper we present a negotiation agent based on Genetic Algorithm (GA) and Surrogate Modelling for a multi-player multi-issue negotiation model under incomplete information scenarios to solve a resource-allocation ...
  • Hajebi, Saeed; Barrett, Stephen; Clarke, Aidan; Clarke, Siobhán (2013)
    In managing water supply, engineers often need to divide a water distribution network (WDN) into smaller clusters. Commonly, they work with District Meter Areas (DMA), a discrete part of the system in which the quantities ...
  • Laporte, Claude Y.; O'Connor, Rory V. (Springer, 2016)
    The ISO/IEC 29110 Lifecycle profiles for Very Small Entities is a relatively new standard aimed at addressing the particular development needs of very small companies. Due to its relative youth in the standards domain ...
  • Dusparic, Ivana; Cahill, Vinny (IFAAMAS, 2009)
    This paper addresses the challenge of multi-policy optimization in decentralized autonomic systems. We evaluate several multi-policy reinforcement learning-based optimization techniques in an urban tra c control simulation, ...
  • Belov, Anton; Marques-Silva, Joao (IOS Press, 2012)
    Algorithms for extraction of Minimally Unsatisfiable Subformulas (MUSes) of CNF formulas find a wide range of practical applications, including product configuration, knowledge-based validation, hardware and software ...
  • Staikopoulos, Athanasios; Saudrais, Sebastien; Clarke, Siobhán; Padget, Julian; Cliffe, Owen; DeVos, Marina (2008)
    In complex service-oriented systems, a number of layers of abstraction may be considered, in particular the models of the organisations involved, how interactions are coordinated and the services which are used and made ...

Search ULIR


Browse

My Account

Statistics