PUMA
Istituto di Scienza e Tecnologie dell'Informazione     
Pasquali M., Dazzi P. Formalization of autonomic heuristics-driven systems. Fomalizzazione di un sistema di classificazione autonomico. Technical report, 2008.
 
 
Abstract
(English)
In this paper we show the fundamental elements needed to make autonomous a heuristics-based system. It is made by using a formal notation. The proposed method allows heuristics designers to make autonomous a heuristics by exposing its state and the polytope in which the heuristics works properly. The proposed model was evaluated applying it to a real scenario in which a dynamic stream of batch jobs is classified according to job deadline QoS constraint. The conducted tests point out that the proposed autonomic heuristics can be fruitfully exploited.
Subject Autonomicity
Higher order functions
Heuristics
F.1.1 Models of Computation


Icona documento 1) Download Document PDF


Icona documento Open access Icona documento Restricted Icona documento Private

 


Per ulteriori informazioni, contattare: Librarian http://puma.isti.cnr.it

Valid HTML 4.0 Transitional