University of Limerick Institutional Repository

Browsing by Subject "autonomic computing"

DSpace Repository

Browsing by Subject "autonomic computing"

Sort by: Order: Results:

  • Categorization and modelling of quality in context information 
    Razzaque, Mohammed Abhur; Dobson, Simon; Nixon, Paddy (American Scientific Publishers, 2006)
    Pervasive computing environments are dynamic and heterogeneous. They are required to be self-managing and autonomic, demanding minimal user’s guidance. In pervasive computing, contextaware adaptation is a key concept ...
  • Classification and modeling of the quality of contextual information 
    Razzaque, Mohammed Abhur; Dobson, Simon; Nixon, Paddy (IEEE Computer Society, 2007)
    Pervasive and autonomic environments make extensive use of contextual information to guide adaptations to changing external demands and circumstances. Context takes many forms, and some form of categorisation of information ...
  • Developing autonomic properties for distributed pattern-recognition systems with ASSL 
    Vassev, Emil; Mokhov, Serguei A. (Springer-Verlag, 2011)
    In this paper, we discuss our research towards developing special properties that introduce autonomic behavior in pattern-recognition systems. In our approach we use ASSL (Autonomic System Speci cation Language) to formally ...
  • Developing model-checking mechanisms for ASSL: an experience report 
    Vassev, Emil; Hinchey, Mike (Springer-Verlag, 2011)
    The Autonomic System Specification Language (ASSL) is a formal method dedicated to autonomic computing, and as such, assists developers with formal specification, validation and code generation of autonomic systems. Due ...
  • Fulfilling the vision of automatic computing 
    Dobson, Simon; Sterritt, Roy; Nixon, Paddy; Hinchey, Mike (IEEE Computer Society, 2010)
    Efforts since 2001 to design self-managing systems have yielded many impressive achievements, yet the original vision of autonomic computing remains unfulfilled. Researchers must develop a comprehensive systems engineering ...
  • Functionality recomposition for self-healing 
    Martinez, Josu; Dobson, Simon (2009)
    Autonomic computing aims to provide self-management and adaptation in the implementation of complex (large, heterogeneous, distributed) systems over time. Such adaptations must be stable, in the sense of maintaining the ...
  • Multi-policy optimization in decentralized autonomic systems 
    Dusparic, Ivana; Cahill, Vinny (IFAAMAS, 2009)
    This paper addresses the challenge of multi-policy optimization in decentralized autonomic systems. We evaluate several multi-policy reinforcement learning-based optimization techniques in an urban tra c control simulation, ...
  • Software verification of autonomic systems developed with ASSL 
    Vassev, Emil; Hinchey, Mike (Springer, 2011)
    We discuss our experiences in building tools for software verification of autonomic systems developed with the Autonomic System Specification Language (ASSL). ASSL is a software framework that aims to assist developers of ...
  • Towards model checking with Java PathFinder for autonomic systems specified and generated with ASSL. 
    Vassev, Emil; Hinchey, Mike; Quigley, Aaron (2009)
    Autonomic computing has been recognized as a valid approach to the development of large-scale self-managing complex systems. The Autonomic System Specification Language (ASSL) is an initiative for the development of autonomic ...
  • Towards self-protecting smart metering: investigating requirements for the MAPE loop 
    Salehie, Mazeiar; Pasquale, Liliana; Omoronyia, Inah; Nuseibeh, Bashar (IEEE Computer Society, 2012)
    Smart grids are increasingly proliferating all over the world to leverage electricity infrastructures with information technology. Smart metering, particularly Advanced Metering Infrastructure (AMI), is an enabling ...