University of Limerick Institutional Repository

Browsing LERO by Title

DSpace/Manakin Repository

Browsing LERO by Title

Sort by: Order: Results:

  • Botterweck, Goetz; Pleuss, Andreas (2012)
    S2T2-Configurator is a visual tool for con guration of fea- ture models. In this tool paper, we focus on interactive techniques that support the con guration of large and complex models.
  • Ghafari, Mohammad; Jamshidi, Pooyan; Shahbazi, Saeed; Haghighi, Hassan (Association for Computing Machinery, 2012)
    Continuous availability of services and low degree of disruption are two inherent necessities for mission-critical software systems. These systems could not be stopped to perform updates because disruption in their ...
  • Butterfield, Andrew (Springer-Verlag, 2010)
    Saoithin is a theorem prover developed to support the Unifying Theories of Programming (UTP) framework. Its primary design goal was to support the higher-order logic, alphabets, equational reasoning and "programs as ...
  • Fitzgerald, Brian; Stol, Klaas-Jan; O'Sullivan, Ryan; O'Brien, Donal (IEEE Computer Society, 2013)
    Agile development methods are growing in popularity with a recent survey reporting that more than 80% of organizations now following an agile approach. Agile methods were seen initially as best suited to small, co-located ...
  • Ali Babar, Muhammad (IEEE Computer Society, 2004)
    Typically, architectural choices determine the achievement of desired goals (such as reusability and maintainability) of product line software development. Several methods have been proposed to design and analyze product ...
  • Healy, Patrick (PATAT 2006, 2006)
    In many funding agencies a model is adopted whereby a fixed panel of evaluators evaluate the set of applications. This is then followed by a general meeting where each proposal is discussed by those evaluators assigned ...
  • Iglesias, Jesus Omana; Thorburn, James; Parsons, Trevor; Murphy, John; O'Sullivan, Patrick (IEEE Computer Society, 2011)
    Understanding system utilization is currently a difficult challenge for industry. Current monitoring tools tend to focus on monitoring critical servers and databases within a narrow technical context, and have not been ...
  • Martínez, Yuliana; Galván-López, Edgar (IEEE Computer Society, 2013)
    The objective function is the core element in most search algorithms that are used to solve engineering and scientific problems, referred to as the fitness function in evolutionary computation. Some researchers have ...
  • Pasquale, Liliana; Menghi, Claudio; Salehie, Mazeiar; Cavallaro, Luca; Omoronyia, Inah; Nuseibeh, Bashar (Association for Computing Machinery, 2012)
    This paper presents SecuriTAS, a tool to engineer adap- tive security. It allows software designers to model security concerns together with the requirements of a system. This model is then used at runtime to analyze ...
  • 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 ...
  • Trubin, Ignor A; Ghaith, Shadi (2012)
    Statistical Exception Detection System (SEDS) is one of the variations of learning behavior based performance analysis methodology developed, implemented and published by the Authors. This paper takes the main SEDS tools ...
  • Vassev, Emil; Hinchey, Mike; Quigley, Aaron (2009)
    We address the need to realize a runtime self-modifiable architecture for autonomic systems, specified and generated with the ASSL (Autonomic System Specification Language) framework. This framework generates such systems ...
  • Vassev, Emil; Hinchey, Mike (IEEE Computer Society, 2011)
    NASA is currently exploring swarm-based technologies, targeting the development of prospective exploration missions to explore regions of space, where single large spacecraft would be impractical. Such systems are envisioned ...
  • Mokhov, Serguei A.; Vassev, Emil (IEEE Computer Society, 2009)
    The notion and definition of self-forensics was introduced by Mokhov to encompass software and hardware capabilities for autonomic and other systems to record their own states, events, and others encoded in a forensic ...
  • Shehory, Onn; Martinez, Josu; Andrzejak, Artur; Cappiello, Cinzia; Funika, Wlodzimierz; Kondo, Derrick; Mariani, Leorando; Satzger, Benjamin; Schmid, Markus (eibniz-Zentrum fuer Informatik, Germany, 2009)
    This document summarizes the results of the Working Group 1 - Self- Healing and Recovery - within the Dagstuhl Seminar 09201 Self-Healing and Self-Adaptive Systems (organized by A. Andrzejak, K. Geihs, O. Shehory ...
  • Williamson, Graham; Cellai, Davide; Dobson, Simon; Nixon, Paddy (Springer, 2009)
    Many modern network applications, including sensor networks and MANETs, have dynamic topologies that reflect processes occurring in the outside world. These dynamic processes are a challenge to traditional information ...
  • Vassev, Emil; Mokhov, Serguei A. (2009)
    In this work, we venture out to develop self-optimization features in the Distributed Modular Audio Recognition Framework (DMARF). Here, we use the Autonomic System Speci cation Language (ASSL) to specify a self-optimization ...
  • Bai, Liang; Lao, Songyang; Smeaton, Alan F; O'Connor, Noel E; Sadlier, David; Sinclair, David (Oxford University Press, 2009)
    The most common approach to automatic summarisation and highlight detection in sports video is to train an automatic classi er to detect semantic highlights based on occurrences of low-level features such as action ...
  • Solis, Carlos; Ali, Nour (2010)
    Spatial Hypertext Wiki (ShyWiki) is a wiki which represents knowledge using notes that are spatially distributed in wiki pages and have some visual characteristics such as colour, size, or font type. Spatial and visual ...
  • Solis, Carlos; Ali, Nour (Verlag der Technischen Universitat Graz, Austria / Universiti Malaysia Sarawak, Malaysia / Know-Center Graz, Austria, 2011)
    Spatial Hypertext Wiki (ShyWiki) is a wiki which represents knowledge using notes that are spatially distributed in wiki pages and have visual characteristics such as colour, size, or font type. The use of spatial and ...

Search DSpace


Advanced Search

Browse

My Account