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:

  • 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 ...
  • Dobson, Simon; Stevenson, Graeme; Knox, Stephen; Nixon, Paddy (Association for Computing Machinery, 2009)
    Pervasive systems present the need to interpret large quantities of data from many sources. Context models support developers working with such data by providing a shared representation of the environment on which to base ...
  • Morgan, Lorraine; Finnegan, Patrick (Springer, 2010)
    Open source software (OSS) is probably the best known exemplar of open innovation, with many practitioner-oriented publications having debated the merits and drawbacks of OSS in recent years. Nevertheless, much of the ...
  • Ahmad, Aakash; Pahl, Claus (IEEE Computer Society, 2010)
    Service-based architecture have now become commonplace, creating the need to address their systematic maintenance and evolution. We propose a layered pattern based transformation framework to support a stepwise and incremental ...
  • Casey, Valentine; Richardson, Ita (John Wiley and Sons Limited, 2004)
    The focus of this paper is to outline the experience of a European based software organization utilizing the IDEAL model, while implementing a tailored Capability Maturity Model (CMM) software process improvement program. ...
  • Sterritt, Ashley; Clarke, Siobhán; Cahill, Vinny (Springer-Verlag, 2010)
    Applying design patterns while developing a software system can improve its non-functional properties, such as extensibility and loose coupling. Precise specification of structure and behaviour communicates the invariants ...
  • Gancarski, Pawel; Butterfield, Andrew (Springer-Verlag, 2010)
    This paper describes an extension adding priority to slotted-Circus, a generic framework for reasoning about discretely timed and/or synchronously clocked systems. The semantics of prioritised external choice is given using ...
  • Dusparic, Ivana; Cahill, Vinny (IEEE Computer Society, 2007)
    Self-organizing techniques have successfully been used to optimize software systems, such as optimization of route stability in ad hoc network routing and optimization of the use of storage space or processing power using ...
  • 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 ...

Search DSpace


Advanced Search

Browse

My Account