University of Limerick Institutional Repository

Browsing LERO by Title

DSpace Repository

Browsing LERO by Title

Sort by: Order: Results:

  • S2T2-Configurator: interactive support for configuration of large feature models 
    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.
  • Safe stopping of running component-based distributed systems 
    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 ...
  • Saoithin : a theorem prover for UTP 
    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 ...
  • Scaling agile methods to regulated environments: an industry case study 
    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 ...
  • Scenarios, quality attributes, and patterns: capturing and using their synergistic relationships for product line architectures 
    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 ...
  • Scheduling research grant proposal evaluation meetings 
    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 ...
  • Scoring system utilization through business profiles 
    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 ...
  • Searching for novel regression functions 
    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 ...
  • SecuriTAS: a tool for engineering adaptive security 
    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 ...
  • A security assurance framework for networked medical devices 
    Finngegan, Anita; Mc Caffery, Fergal; Coleman, Gerry (Springer, 2013)
    This paper presents work for the development of a framework to assure the security of networked medical devices being incorporated. The paper focuses on one component of the framework, which addresses system development ...
  • Security design patterns in the MASTER workbench 
    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 ...
  • SEDS-Lite: using open source tools (R, BIRT, MySQL) to report and analyze performance data 
    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 ...
  • A self-adaptive architecture for autonomic systems developed with ASSL. 
    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 ...
  • Self-awareness in autonomous nano-technology swarm missions. 
    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 ...
  • Self-forensics through case studies of small-to-medium software systems. 
    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 ...
  • Self-healing and recovery methods and their classification 
    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 ...
  • Self-management of routing on human proximity networks 
    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 ...
  • Self-optimization property in autonomic specification of distributed MARF with ASSL 
    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 ...
  • Semantic analysis of field sports video using a petri-net of audio-visual concepts 
    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 ...
  • A semantic spatial hypertext wiki 
    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 ...

Search DSpace


Browse

My Account

Statistics