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:

  • 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 ...
  • Mc Caffery, Fergal; Coleman, Gerry (Praise Worthy Prize S.r.l., 2007)
    Software is becoming an increasingly important aspect of medical devices and medical device regulation. Software enables highly complex systems to be built. However, complexity is the enemy of safety, therefore strict ...
  • Chen, Huan; Marques-Silva, Joao (Association for Computing Machinery, 2012)
    Boolean function bi-decomposition is pervasive in logic synthesis. Bi-decomposition entails the decomposition of a Boolean function into two other simpler functions connected by a simple two-input gate. Existing solutions ...
  • Wang, Shen; Djahel, Soufiene; Zhang, Zonghua; McManis, Jennifer (IEEE Computer Society, 2016)
    During peak hours in urban areas, unpredictable traffic congestion caused by en route events (e.g., vehicle crashes) increases drivers’ travel time and, more seriously, decreases their travel time reliability. In this ...
  • Han, Yi; Yuan, Zhenhui; Muntean, Gabriel-Miro (IEEE Compuer Society, 2014)
    The stereoscopic three-dimensional (3D) video technologies have achieved significant success in providing enhanced immersive experience to consumers. However network delivery of 3D video content at good quality levels is ...
  • Mc Caffery, Fergal; Wilkie, F.G.; McFall, Donald (2004)
    This presentation discusses statistical findings obtained from a survey of the state of software development practices within Northern Ireland (NI). The survey was developed and conducted by staff from the Centre for ...

Search ULIR


Browse

My Account

Statistics