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:

  • On adaptive fairness in software systems 
    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 ...
  • On computing minimal equivalent subformulas 
    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 ...
  • On efficient computation of variable MUSes 
    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 ...
  • On heuristic solutions to the simple offset assignment problem in address-code optimization 
    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, ...
  • On models and standards of processes in SE, SwE and IT&S disciplines:toward a comparative framework using the systems approach 
    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 ...
  • On practical service-based computing in distributed embedded automotive 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 ...
  • On resilience in cloud computing: a survey of techniques across the cloud domain 
    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 ...
  • On resource allocation strategies in managed peer-assisted VOD streaming systems 
    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 ...
  • On scoping stakeholders and artifacts in software process 
    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 ...
  • On searching relevant studies in software engineering 
    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 ...
  • On the autonomy requirements for space missions 
    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 ...
  • On the impact of real-time feedback on users' behaviour in mobile location-sharing applications 
    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 ...
  • On the importance of sound architectural practices in the use of OSS in software product lines 
    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 ...
  • On the interplay between cyber and physical spaces for adaptive security 
    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 ...
  • On the role of primary and secondary assets in adaptive security: an application in smart grids 
    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 ...
  • On the suitability of particular software development roles to global software development 
    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 ...
  • On using temporal features to create more accurate human-activity classifiers 
    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 ...
  • Onboarding in software engineering 
    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 ...
  • An ontology-based approach for modelling architectural styles 
    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 ...
  • Ontology-based modelling of architectural styles 
    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