Search results for: FORMALNA SPECYFIKACJA - Bridge of Knowledge

Search

Search results for: FORMALNA SPECYFIKACJA

Search results for: FORMALNA SPECYFIKACJA

  • Towards automating repairs of IT systems

    Publication

    - Year 2009

    This paper presents formal description of working principles of the repair library, being the essential component of the Repair Management Framework (RMF), which aims at automating the process of repairing IT systems, and consists also of the Repair Management Model (RMM) and the Repair Management System (RMS). RMM introduces two mathematical models (model of monitoring and model of repair processes), general enough to cover the...