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:

  • Evaluation on knowledge management process in very small software companies : a survey
    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 ...
  • Exploring approaches to dynamic adaptation
    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 ...
  • Exploring managerial commitment towards SPI in small and very small enterprises
    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 ...
  • Feature interaction in pervasive computing systems
    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 ...
  • From business process management to business process ecosystem
    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 ...
  • A graph-based definition of distillation
    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 ...
  • Graphemes : self-organizing shape-based clustered structures for network visualisations
    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 ...
  • Harnessing ISO/IEC 12207 to examine the extent of SPI activity in an organisation
    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, ...
  • Hybridising events and knowledge as a basis for building autonomic systems
    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 ...
  • Improving software development process through economic mechanism design
    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 ...
  • Linking a "state-rich" process algebra to a "state-free" process algebra to verify software / hardware implementations
    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 ...
  • Managing hardware verification complexity with aspect-oriented model-driven engineering
    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 ...
  • Maximizing the value of the software development process by game theoretic analysis
    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 ...
  • Mechanising a formal model of flash memory
    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 ...
  • Method and developer characteristics for effective agile method tailoring:a study of expert opinion
    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, ...
  • Modelling and verification of cyber-physical system
    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. ...
  • Modelling business transactions across service supply Chain Networks
    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 ...
  • Modelling flash devices with FDR: progress and limits
    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 ...
  • Objects, Components and the Virtual Enterprise
    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 ...
  • On event-based middleware for location-aware mobile applications
    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


Advanced Search

Browse

My Account