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:

  • Mendel-Gleason, Gavin E.; Hamilton, Geoff W. (Meta 2012, 2012)
    Proofs involving infinite structures can use corecursive functions as inhabitants of a corecursive type. Admissibility of such functions in theorem provers such as Coq or Agda, requires that these functions are productive. ...
  • Clear, Tony; Beecham, Sarah; Barr, John; Daniels, Mats; Oudshoorn, Michael; Noll, John (IEEE Computer Society, 2016)
    An ITiCSE 2015 conference working group report has recently delivered a comprehensive systematic review of the literature addressing the challenges and solutions in teaching global software engineering courses. In this ...
  • Zou, Longhao; Trestian, Ramona; Muntean, Gabriel-Miro (2013)
    Nowadays people tend to spend most of their time in front of a screen, and expect to be able to connect to the Internet anytime and anywhere and from any type of mobile device. Therefore, fast surfing speed on Internet, ...
  • Costello, Gabriel J.; Conboy, Kieran; Donnellan, Brian (2011)
    The rigor versus relevance debate continues to be a matter of lively discussion in the information systems discipline. The main argument of this paper is that dialogical action research provides a methodology to pursue ...
  • Kowal, Magdalena; Toth, Adam J.; Exton, Chris; Campbell, Mark J. (Elsevier, 2018)
    Playing action video games requires players to develop a cognitive profile that allows them to rapidly monitor and react to fast moving visual and auditory stimuli, and to inhibit erroneous actions. This study investigated ...
  • Tsvyatkova, Damyanka; Buckley, Jim; Beecham, Sarah; Chochlov, Muslim; O'Keeffe, Ian R.; Razzaq, Abdul; Rekanar, Kaavya; Richardson, Ita; Welsh, Thomas; Storni, Cristiano; COVIGILANT Group (JMIR Publications, 2022)
    Background: The silent transmission of COVID-19 has led to an exponential growth of fatal infections. With over 4 million deaths worldwide, the need to control and stem transmission has never been more critical. New ...
  • Metzger, Andreas; Heymans, Patrick; Pohl, Klaus; Schobbens, Pierre-Yves; Saval, Germain (IEEE Computer Society, 2007)
    Feature diagrams are a popular means for documenting variability in software product line engineering. When examining feature diagrams in the literature and from industry, we observed that the same modelling concepts are ...
  • Carroll, Noel; Richardson, Ita (HEALTHINF, 2017)
    Despite the potential of innovation-driven healthcare technology services to increase the quality, accessibility and quality of care, the realization and success of such promise has yet to be achieved. This prompted us to ...
  • Carroll, Noel; Whelan, Eoin; Richardson, Ita (IEEE Computer Society, 2010)
    There is a need to address the significant gap in our ability to measure and monitor the Key Performance Indicators (KPIs) across service networks. The unprecedented growth in service-based business processes over a short ...
  • Cawley, Ciarán; Healy, Patrick; Botterweck, Goetz (2010)
    Variability management in software intensive systems can be a complex and cognitively challenging process. Configuring a Software Product Line with thousands of variation points in order to derive a specific product variant ...
  • Xu, Changqiao; Xia, Xiangzhou; Guan, Jianfeng; Zhang, Hongke; Muntean, Gabriel-Miro (Hindawi Publishing Corporation, 2013)
    Recently, vehicular sensor networks (VSNs) have emerged as a new intelligent transport networking paradigm in the Internet of Things. By sensing, collecting, and delivering traffic-related information, VSNs can significantly ...
  • Hamilton, Geoff W.; Jones, Neil D. (Association for Computing Machinery, 2012)
    In this paper, we provide an improved basis for the “distillation” program transformation. It is known that superlinear speedups can be obtained using distillation, but cannot be obtained by other earlier automatic ...
  • Kannan, Venkatesh; Hamilton, Geoff W. (2016)
    Program transformation techniques are commonly used to improve the e ciency of programs. While many transformation techniques aim to remove ine ciencies in the algorithms used in a program, another source of ine ciency ...
  • Zhu, Liming; Ali Babar, Muhammad (IEEE Computer Society, 2004)
    Software architecture (SA) evaluation is a quality assurance technique that is increasingly attracting significant research and commercial interests. A number of SA evaluation methods have been developed. Most of these ...
  • Linnane, Séan; Richardson, Ita (2006)
    As more and more software organisations continue their integration into a burgeoning global business community, the effective management of relatively new types of working arrangements, such as those enabled by virtual ...
  • Lundell, Bjorn; Lings, Brian; Agerfalk, Par J.; Fitzgerald, Brian (2006)
    There are many reasons why an organisation should consider adopting distributed development of software systems and applications, including access to a larger labour pool and a broader skills base, cost advantages, and ...
  • Solis, Carlos; Ali, Nour (IEEE Computer Society, 2010)
    In Global Software Development (GSD), distributed stakeholders (e.g. team members, customers, etc) have to collaborate and communicate in an efficient and effective way to share, create and discuss knowledge. Nowadays, a ...
  • Dusparic, Ivana; Cahill, Vinny; SFI (IEEE Computer Society, 2009)
    Large-scale agent-based systems are required to self-optimize towards multiple, potentially conflicting, policies of varying spatial and temporal scope. As a result, not all agents may be implementing all policies at all ...
  • Beecham, Sarah; Clear, Tony; Lal, Ramesh; Noll, John (Elsevier, 2021)
    Driven by the need to coordinate activities of multiple agile development teams cooperating to produce a large software product, software-intensive organizations are turning to scaling agile software development frameworks. ...
  • Norris, Michelle; Mills, Chris; Sanchez, Amy; Wakefield-Scurr, Joanna (BMJ Publishing Group, 2020)
    This study aimed to quantify breast skin strain and strain rate and the effect of support garments at reducing strain and to determine characteristics that correlate with strain during static and dynamic activity. Methods ...

Search ULIR


Browse

My Account

Statistics