University of Limerick Institutional Repository

Browsing LERO by Title

DSpace/Manakin 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 ...
  • 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 ...
  • 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 ...
  • 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 ...
  • A semantic wiki based on spatial hypertext
    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 ...
  • Semi-automatic generation of UML models from natural language requirements
    Deeptimahanti, Deva Kumar; Sanyal, Ratna (Association for Computing Machinery, 2011)
    Going from requirements analysis to design phase is considered as one of the most complex and difficult activities in software development. Errors caused during this activity can be quite expensive to fix in later phases ...
  • Semiconductor development in Ireland: reducing 'development stress' caused by digital hardware and embedded software team interaction
    Griffin, Ivan J. (University of Limerick, Department of Computer Science & Information Systems, 2010)
    Today's consumer electronic products are complex, multi-discipline systems, far beyond just physical gates on a semiconductor chip. Their development involves a delicate mix of engineering disciplines and technologies ...
  • Sensor fusion-based middleware for assisted living1,2
    Coyle, Lorcan; Neely, Steve; Rey, Gaetan; Stevenson, Graeme; Sullivan, Mark; Dobson, Simon; Nixon, Paddy (Kaist Press, 2007)
    Systems for home automation can make a vital contribution to the wellbeing of individuals requiring moderate amounts of support for day-to-day living. Existing systems suffer both from competing and often closed standards ...

Search DSpace


Advanced Search

Browse

My Account