University of Limerick Institutional Repository

Browsing LERO by Title

DSpace Repository

Browsing LERO by Title

Sort by: Order: Results:

  • Chen, Huan; Janota, Mikolas; Marques-Silva, Joao (IEEE Computer Society, 2012)
    Boolean function bi-decomposition is ubiquitous in logic synthesis. It entails the decomposition of a Boolean function using two-input simple logic gates. Existing solutions for bidecomposition are often based on BDDs ...
  • Xu, Changqiao; Zhao, Futao; Guan, Jianfeng; Zhang, Hongke; Muntean, Gabriel-Miro (IEEE Computer Society, 2013)
    Recently many cities around the world have witnessed large scale deployment of terrestrial broadcasting mobile TV to vehicles. This service is similar to the cable or satellite television already watched at home and ...
  • Noll, John; Beecham, Sarah; Seichter, Dominik (IEEE Computer Society, 2011)
    Open Source software is competing successfully in many areas. The commercial sector is recognizing the benefits offered by Open Source development methods that lead to high quality software. Can these benefits be realized ...
  • Zhang, He; Kitchenham, Barbara; Jeffery, Ross (IEEE Computer Society, 2009)
    Software Process Simulation Modeling (SPSM) research has increased in the past two decades. However, most of these models are quantitative, which require detailed understanding and accurate measurement. As the continuous ...
  • O'Brien, Liam; Merson, Paulo; Bass, Len (IEEE Computer Society, 2007)
    The SOA approach is a very popular choice today for the implementation of distributed systems. The use of SOA or more specifically the Web services technology is an important architecture decision. An architect should ...
  • Laplante, Phil; Rockne, John; Montuschi, Paolo; Baldwin, Thomas; Hinchey, Mike; Shafer, Linda; Voas, Jeffrey; Wang, Wenping (IEEE Computer Society, 2009)
    The rapid growth in the number of conferences and papers appearing in conference proceedings publications has increased the need to examine the issue of conference paper quality. Since conference content is included in ...
  • Mermigas, Dimitrios; Paksakis, Constantinos; Pirounias, Sotirios (Association for Computing Machinery, 2013)
    Undoubtely, our daily lives have drastically changed over the years, shifting from a traditional to a more electronic way of living and communicating. This is the main reason that cyber-crook profession is booming and ...
  • Coyle, Lorcan; Freyne, Jill; Smyth, Barry; Cunningham, Padraig (Association for Computing Machinery, 2010)
    While it is universally held by computer scientists that conference publications have a higher status in computer science than in other disciplines there is little quantitative evidence in support of this position. The ...
  • Song, Hui; Gallagher, Michael; Clarke, Siobhán (Association for Computing Machinery, 2012)
    Graphical User Interface (GUI) is a common feature for modern software systems, while there are still many legacy systems that do not have GUIs, but only provide text and commands for user interaction. In this paper, ...
  • Caulfield, Irene; Power, Norah (2008)
    This paper describes preliminary results of a longitudinal case study of an Irish based automotive aftermarket company engaged in software development with multiple stakeholders that are geographically separated. Due to ...
  • Janota, Mikolas; Grigore, Radu; Moskal, Michal (Association for Computing Machinery, 2007)
    We devised a reachability analysis that exploits code annotations and implemented it as a component of the extended static checker ESC/Java2. The component reports unchecked code and a class of errors previously undetected. ...
  • Purcell, Mark; Vasudevan, Aravind; Gregg, David (IEEE Computer Society, 2012)
    Understanding the baseline underwater acoustic signature of an offshore location is a necessary, early step in formulating an environmental impact assessment of wave energy conversion devices. But in order to even begin ...
  • Janota, Mikolas; Kiniry, Joseph R. (IEEE Computer Society, 2007)
    A mechanically formalized feature modeling metamodel is presented. This theory is a generic higher-order formalization of a mathematical model synthesizing several feature modeling approaches found in the literature. This ...
  • Ali, Raian; Dalpiaz, Fabiano; Giorgini, Paolo (Elsevier, 2013)
    CONTEXT. The environment in which the system operates, its context, is variable. The autonomous ability of a software to adapt to context has to be planned since the requirements analysis stage as a strong mutual ...
  • Wiredu, Gamel O. (2005)
    The remote distribution of contemporary activities has direct implications for the mobility of humans and associated actions. Remote distribution inherently entails parameters such as the mobility of individuals, artefacts, ...
  • Galván-López, Edgar; Harris, Colin; Dusparic, Ivana; Clarke, Siobhán; Cahill, Vinny (IEEE Computer Society, 2012)
    Smart Grid technologies are becoming increasingly dynamic, so the use of computational intelligence is becoming more and more common to support the grid to automatically and intelligently respond to certain requests ...
  • Lings, Brian; Lundell, Bjorn; Agerfalk, Par J.; Fitzgerald, Brian (IEEE Computer Society, 2007)
    Distributed Development (DD) of Software Systems is an issue of increasing significance for organisations today, all the more so given the current trend towards globalisation. In this paper we present a reference model ...
  • Cawley, Oisín; Wang, Xiaofeng; Richardson, Ita (2012)
    Software development within regulated settings is becoming more and more common place. Compliance typically involves saying what you do and doing what you say. However, in some domains, especially safety-critical ones, it ...
  • Ralph, Paul; Johnson, Pontus; Jordan, Howell (Association for Computing Machinery, 2013)
    Many academic disciplines have general theories, which apply across the discipline and underlie much of its research. Examples include the Big Bang theory (cosmology), Maxwell’s equations (electrodynamics), the theories ...

Search DSpace


Browse

My Account

Statistics