University of Limerick Institutional Repository

Browsing LERO - Project partner authors by Author "ERC"

DSpace Repository

Browsing LERO - Project partner authors by Author "ERC"

Sort by: Order: Results:

  • Nallur, Vivek; O'Toole, Eamonn; Cardozo, Nicolás; Clarke, Siobhán (Association for Computing Machinery, 2016)
    Socio-technical MAS are an intrinsic part of our daily lives. Domains like energy, transport, etc. are increasingly using technology to allow individual users to adapt to, and even influence the aggregate performance ...
  • Dalpiaz, Fabiano; Ali, Raian; Giorgini, Paolo (2012)
    An important activity to maximize Business/IT alignment is selecting a software con guration that ts a given context. Feature models represent the space of software con gurations in terms of distin- guished characteristics ...
  • Han, Yi; Magoni, Damien; McDonagh, Patrick; Murphy, Liam (IEEE Computer Society, 2014)
    In this paper, we present an experimental evaluation of the recently standardized Opus codec used in a VoIP context. Opus operates in both narrow and wideband modes, similar to Adaptive Multi-Rate (AMR). Through the use ...
  • Shosha, Ahmed F; Chen-Ching, Liu; Gladyshev, Pavel; Matten, Marcus (IEEE Computer Society, 2012)
    Malware authors attempt in an endless effort to find new methods to evade the malware detection engines. A popular method is the use of obfuscation technologies that change the syntax of malicious code while preserving the ...
  • Lopez, Tamara; Sharp, Helen; Tun, Thein Than; Bandara, Arosha K.; Levine, Mark; Nuseibeh, Bashar (IEEE Computer Society, 2019)
    Security of software systems is of general concern, yet breaches caused by common vulnerabilities still occur. Software developers are routinely called upon to ”do more” to address this situation. However there has been ...
  • Song, Hui; Huang, Gang; Xiong, Yingfei; Sun, Yanchun (IEEE Computer Society, 2012)
    Many programs access external data sources through generic APIs. The class hierarchy of such a generic API does not reflect the schema of any particular data source, and thus it is hard to clarify what data an API client ...
  • Ali, Raian; Griggio, Alberto; Franzén, Anders; Dalpiaz, Fabiano; Giorgini, Paolo (2012)
    Monitoring the system environment is a key functionality of a self- adaptive system. Monitoring requirements denote the information a self-adaptive system has to capture at runtime to decide upon whether an adaptation ...
  • Janota, Mikolas; Lynce, Inês; Manquinho, Vasco; Marques-Silva, Joao (IOS Press, 2012)
    This paper presents PackUp1. (PACKage UPgradability with Boolean formulations) a framework for solving the the software package upgradability problem. Earlier versions of the framework (cudf2msu, cudf2pbo) participated ...
  • Kearney, Paul J.; Sinclair, David; Wagner, Sebastian (2012)
    This paper describes pattern-related aspects of the prototype Protection and Assessment Workbench developed as part of the MASTER EU 7th Framework collaborative research project. The Workbench supports a model-driven ...
  • Cordeiro, Lucas; Fischer, Bernd; Marques-Silva, Joao (IEEE Computer Society, 2012)
    Propositional bounded model checking has been applied successfully to verify embedded software but remains limited by increasing propositional formula sizes and the loss of high-level information during the translation ...
  • Chen, Huan; Marques-Silva, Joao (IOS Press, 2012)
    Automatic Test Pattern Generation (ATPG) is arguably one of the practical applications that motivated the development of modern Boolean Satisfiability (SAT) solvers in the mid 90s. Despite the interest of using SAT in ...

Search ULIR


Browse

My Account

Statistics