University of Limerick Institutional Repository

Browsing LERO - The Irish Software Research Centre by Title

DSpace Repository

Browsing LERO - The Irish Software Research Centre by Title

Sort by: Order: Results:

  • Basri, Shuib; O'Connor, Rory V. (2010)
    Software development projects always involve knowledge intensive exchanges. Therefore, the influence of well-organized software development knowledge process could prevent organizations from suffering from the knowledge ...
  • Fox, Jorge; Clarke, Siobhán (Association of Computing Machinery, 2009)
    In this work, we compare current approaches to dynamic adaptation (DA) and identify the need for further research on mechanisms for DA, which should allow for higher compositionality and flexibility. Moreover, after exploring ...
  • O'Connor, Rory V.; Basri, Shuib; Coleman, Gerry (Springer-Verlag, 2010)
    This paper compares and contrasts the results of two similar studies into the software process practices in Irish Small and Very Small Enterprises. The first study contains rich findings in relation to the role and influence ...
  • Liu, Yu; Meier, Rene (University of Oslo, 2008)
    Feature interaction describes a situation where the combination of two or more services that individually perform correctly results in unexpected and possibly adverse behaviour. Such feature interaction issues have first ...
  • Wang, Xiaofeng; Vidgen, Richard (Palgrave McMillan, 2006)
    New technologies, notably service oriented architectures and web services, are enabling a third wave of business process management (BPM). Supporters claim that BPM is informed by complexity theory and that business ...
  • Hamilton, Geoff W.; Mendel-Gleason, Gavin E. (Meta2010, 2010)
    In this paper, we give a graph-based definition of the distillation transformation algorithm. This definition is made within a similar framework to the positive supercompilation algorithm, thus allowing for a more in-depth ...
  • Shannon, Ross; Quigley, Aaron; Nixon, Paddy (Association for Computing Machinery, 2010)
    Network visualisations use clustering approaches to simplify the presentation of complex graph structures. We present a novel application of clustering algorithms, which controls the visual arrangement of the vertices in ...
  • Clarke, Paul; O'Connor, Rory V. (2010)
    The quality of the software development process directly affects the quality of the software product. To be successful, software development organisations must respond to changes in technology and business circumstances, ...
  • Dobson, Simon; Nixon, Paddy; Coyle, Lorcan (IEEE Computer Software Society, 2007)
    Event-based systems are a popular substrate for distributing information derived from sensors to be used in driving adaptive behaviour. This paper argues that using events directly provides a poor model of context, and ...
  • Yilmaz, Murat; O'Connor, Rory V.; Collins, J.J. (Springer-Verlag, 2010)
    We introduce the novel concept of applying economic mechanism design to software development process, and aim to find ways to adjust the incentives and disincentives of the software organization to align them with the ...
  • Beg, Arshad; Butterfield, Andrew (2010)
    Following the development of formalisms based on data and behavioural aspects of the system, there are number of attempts in which these two formalisms are mixed together to get benefit of both paradigms. 'Circus' being a ...
  • Linehan, Eamonn; Clarke, Siobhán (DATE10, 2010)
    Recent advances in both the capabilities and accessibility of embedded systems have resulted in the potential to build increasingly complex systems that consequently are difficult to develop, test and deploy. Model-driven ...
  • Yilmaz, Murat; O'Connor, Rory V. (PROFES 2010, 2010)
    In this paper, we introduce the novel approach of employing the economic mechanism design concept in the software development process, and investigate methods to create and adjust the incentives and disincentives of the ...
  • Butterfield, Andrew; Freitas, Leo; Woodcock, Jim (Elsevier, 2007)
    We present second steps in the construction of formal models of NAND flash memory, based on a recently emerged open standard for such devices. The model is intended as a key part of a pilot project to develop a verified ...
  • Conboy, Kieran; Fitzgerald, Brian (Association for Computing Machinery, 2010)
    It has long been acknowledged that software methods should be tailored if they are to achieve optimum effect.However comparatively little research has been carried out to date on this topic in general, and more notably, ...
  • Pluska, Michal; Sinclair, David (20th European Meeting on Cybernetics and System Research, 2010)
    Embedded system interacting with physical world should be designed with high degree of safety. In most existing design approaches dealing with such systems verification is done afterwards what may lead to redesign problems. ...
  • Carroll, Noel; Haque, Rafiqul; Richardson, Ita; Whelan, Eoin (Springer, 2011)
    This paper is concerned with understanding the complex nature of service network environments with particular attention on exploring business transactions across supply chains. Although business transactions have been ...
  • Beg, Arshad; Butterfield, Andrew (2010)
    We present our experience of working with the Failures-Divergence Refinement (FDR) toolkit while extending our modelling of the behaviour of Flash Memory. This effort is a step towards the low-level modelling of data-storage ...
  • Dobson, Simon; Nixon, Paddy (Trinity College Dublin, Dept. of Computer Science, 1999)
    We are currently witnessing a convergence of several threads of technology and business imperatives. The idea of a virtual enterprise (VE) – a business built from both organizationally and geographically distributed units ...
  • Meier, Rene; Cahill, Vinny (IEEE Computer Society, 2010)
    As mobile applications become more widespread, programming paradigms and middleware architectures designed to support their development are becoming increasingly important. The event-based programming paradigm is a strong ...

Search DSpace


Browse

My Account

Statistics