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:

  • Farahani, Ali; Pasquale, Liliana; Bennaceur, Amel; Welsh, Thomas; Nuseibeh, Bashar (IEEE Computer Society, 2021)
    Software systems are increasingly making decisions on behalf of humans, raising concerns about the fairness of such decisions. Such concerns are usually attributed to flaws in algorithmic design or biased data, but ...
  • Belov, Anton; Janota, Mikolas; Lynce, Inês; Marques-Silva, Joao (Springer, 2012)
    A propositional formula in Conjunctive Normal Form (CNF) may contain redundant clauses | clauses whose removal from the for- mula does not a ect the set of its models. Identi cation of redundant clauses is important ...
  • Belov, Anton; Ivrii, Alexander; Matsliah, Arie; Marques-Silva, Joao (Springer-Verlag, 2012)
    In this paper we address the following problem: given an unsatisfiable CNF formula F, find a minimal subset of variables of F that constitutes the set of variables in some unsatisfiable core of F. This problem, known as ...
  • Shokry, Hesham; El-Boghdadi, Hatem M. (Association for Computing Machinery, 2011)
    The increasing demand for more functionality in embedded systems applications nowadays requires efficient generation of compact code for embedded DSP processors. Because such processors have highly irregular datapaths, ...
  • Mora, Manuel; Gelman, Ovsei; O'Connor, Rory V.; Jorge Macias, Francisco Alvarez (2007)
    The general aim of Systems Engineering (SE) and Software Engineering (SwE) is the definition, development and deployment of large-scale cost-effective and trustworthy integrated systems and software-intensive systems ...
  • Shokry, Hesham; Hinchey, Mike (IEEE Computer Society, 2009)
    The automotive industry is, like several other domains, a source of both challenging problems and innovative technologies of various kinds. One interesting phenomenon in this domain is the extensive interdependencies between ...
  • Welsh, Thomas; Benkhelifa, Elhadj (Association for Computing Machinery, 2020)
    Cloud infrastructures are highly favoured as a computing delivery model worldwide, creating a strong societal dependence. It is therefore vital to enhance their resilience, providing persistent service delivery under a ...
  • Rohmer, Thibaud; Nafaa, Abdelhamid; Nakib, Amir (IEEE Computer Society, 2012)
    Strong with large pools of set-top-boxes (STB) already deployed and connected to high-capacity networks, broadband operators sit on a major opportunity to introduce P2P-based VOD streaming architectures that scales up ...
  • Bai, Xu; Huang, LiGuo; Zhang, He (Springer-Verlag, 2010)
    Stakeholder and artifact are regarded as two important elements in software engineering processes, but they are rarely systematically investigated in software process modeling and simulation. Inspired by the Workshop of ...
  • Zhang, He; Ali Babar, Muhammad (British Informatics Society Ltd., 2010)
    BACKGROUND: Systematic Literature Review (SLR) has become an important research methodology in software engineering since 2004. One critical step in applying this methodology is to design and execute appropriate and effective ...
  • Vassev, Emil; Hinchey, Mike (IEEE Computer Society, 2013)
    In new space exploration initiatives of NASA and ESA, there is emphasis on both human and robotic exploration. Risk and feasibility are major factors supporting the use of unmanned craft and the use of automation and robotic ...
  • Jedrzejczyk, Lukasz; Price, Blaine A.; Bandara, Arosha K.; Nuseibeh, Bashar (2010)
    Effective privacy management requires that mobile systems' users be able to make informed privacy decisions as their experience and knowledge of a system progresses. Prior work has shown that making such privacy decisions ...
  • Ali Babar, Muhammad; Fitzgerald, Brian; Agerfalk, Par J.; Lundell, Bjorn (2007)
    Software Product Line (SPL) and Open Source Software (OSS) have emerged as successful modes of developing software. Although they appear to differ in terms of development principles and processes, researchers and practitioners ...
  • Tsigkanos, Christos; Pasquale, Liliana; Ghezzi, Carlo; Nuseibeh, Bashar (IEEE Computer Society, 2018)
    Ubiquitous computing is resulting in a proliferation of cyber-physical systems that host or manage valuable physical and digital assets. These assets can be harmed by malicious agents through both cyber-enabled or ...
  • Pasquale, Liliana; Mazeiar, Salehie; Ali, Raian; Omoronyia, Inah; Nuseibeh, Bashar (IEEE Computer Society, 2012)
    Adaptive security aims to protect valuable assets managed by a system, by applying a varying set of security controls. Engineering adaptive security is not an easy task. A set of effective security countermeasures should ...
  • Lane, Michael; Agerfalk, Par J. (IEEE Computer Society, 2008)
    Global software development surfaces various challenges and benefits that are not always present in co-located teams. The purpose of this paper is to explore a set of propositions that address the suitability of four ...
  • Ye, Juan; Clear, Adrian K.; Coyle, Lorcan; Dobson, Simon (Springer-Verlag, 2009)
    Through advances in sensing technology, a huge amount of data is available to context-aware applications. A major challenge is extracting features of this data that correlate to high-level human activities. Time, while ...
  • Yates, Rebecca Yolande (University of Limerick, 2014)
    Many software developers struggle to understand code written by others, leading to increased maintenance costs. Research on program comprehension to date has primarily focused on individual developers attempting to ...
  • Pahl, Claus; Giesecke, Simon; Hasselbring, Wilhelm (Springer, 2007)
    The conceptual modelling of software architectures is of central importance for the quality of a software system. A rich modelling language is required to integrate the different aspects of architecture modelling, such ...
  • Pahl, Claus; Giesecke, Simon; Hasselbring, Wilhelm (Elsevier, 2009)
    The conceptual modelling of software architectures is of central importance for the quality of a software system. A rich modelling language is required to integrate the different aspects of architecture modelling, such ...

Search ULIR


Browse

My Account

Statistics