University of Limerick Institutional Repository

Browsing LERO - The Irish Software Research Centre by Title

DSpace/Manakin Repository

Browsing LERO - The Irish Software Research Centre by Title

Sort by: Order: Results:

  • Butterfield, Andrew (Springer-Verlag, 2010)
    Saoithin 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, Lorcan; Neely, Steve; Rey, Gaetan; Stevenson, Graeme; Sullivan, Mark; Dobson, Simon; Nixon, Paddy (Kaist Press, 2007)
    Systems for home automation can make a vital contribution to the wellbeing of individuals requiring moderate amounts of support for day-to-day living. Existing systems suffer both from competing and often closed standards ...
  • Garcia-Gonzalez, Juan Pablo; Gacitua-Decar, Veronica; Pahl, Claus (TechWeb, Microsoft Technology Network, 2010)
    One of the promises of adopting a service-oriented approach in organizations is the potential cost savings that result from the reuse of existing services. A service registry is one of the fundamental pieces of service ...
  • Carroll, Noel; Richardson, Ita; Whelan, Eoin (2011)
    Although services are delivered across dispersed complex service eco-systems, monitoring performance becomes a difficult task. This paper explores a number of areas to support the development of service performance analytics ...
  • Ribaud, Vincent; Saliou, Philippe; O'Connor, Rory V.; Laporte, Claude Y. (Springer-Verlag, 2010)
    The emerging ISO/IEC 29110 standard Lifecycle profiles for Very Small Entities has at its core a Management and Engineering Guides which is targeted at very small entity (enterprise, organization, department or project) ...
  • Mendel-Gleason, Gavin E.; Hamilton, Geoff W. (Meta2010, 2010)
    It has been long recognised that partial evaluation is related to proof normalisation. Normalisation by evaluation, which has been presented for theories with simple types, has made this correspondance formal. Recently ...
  • Fox, Jorge; Clarke, Siobhán (2010)
    The growing complexity of software systems as well as changing conditions in the operating environment demand systems that are more flexible and dependable. A possible solution we envisage is the use of mechanisms for ...
  • Popescu, Razvan; Staikopoulos, Athanasios; Liu, Peng; Brogi, Antonio; Clarke, Siobhán (IEEE Computer Society, 2010)
    Current adaptation approaches mainly work in isolation and cannot be easily integrated to tackle complex adaptation scenarios. The few existing cross-layer adaptation techniques are somewhat inflexible because the adaptation ...
  • Cliffe, Owen; Padget, Julian; Clarke, Siobhán; Popescu, Razvan; Staikopoulos, Athanasios (IEEE Computer Society, 2010)
    Service-oriented enterprise systems, which tend to be heterogeneous, loosely coupled, long-lived, and continuously running, have to cope with frequent changes to their requirements and the environment. In order to address ...
  • O'Leary, Pádraig (University of Limerick (Faculty of Science and Engineering), 2010)
    The derivation of individual products from a software product line is still seen as a timeconsuming and expensive activity in many organisations. Despite recognition that an effective derivation process could alleviate ...
  • Clarke, Paul; O'Connor, Rory V. (2010)
    Software development requires multi-stage processes in order to organise the software development effort. Each software development project should implement a development process that is appropriate to the project setting. ...
  • O'Connor, Rory V.; Laporte, Claude Y. (2010)
    This paper outlines the recent development of a series of detailed guidelines known as “Deployment Packages” (DPs) for use with the emerging ISO/IEC 29110 software process lifecycle standard for Very Small Entities (VSEs). ...
  • Basri, Shuib; O'Connor, Rory V. (Springer-Verlag, 2010)
    This paper is concerned with understanding the issues that affect the adoption of software process standards by Very Small Entities (VSEs), their needs from process standards and their willingness to engage with the new ...
  • Dusparic, Ivana; Cahill, Vinny (Association for Computing Machinery, 2009)
    Distributed W-Learning (DWL) is a reinforcement learning-based algorithm for multi-policy optimization in agent-based systems. In this poster we propose the use of DWL for de-centralized multi-policy optimization in autonomic ...
  • Wang, Xiaofeng; Lane, Michael; Conboy, Kieran; Pikkarainen, Minna (Association for Computing Machinery, 2009)
    This report summarizes the key findings from a workshop at the 10th International Conference on Agile Processes and eXtreme Programming in Software Engineering (XP2009) called “Agile Research – A 7-Year Retrospective”, ...

Search DSpace


Advanced Search

Browse

My Account