Bando per assegno di ricerca
Titolo del progetto di ricerca in italiano | Tipi comportamentali e quantitativi per Service Component Ensembles |
---|---|
Titolo del progetto di ricerca in inglese | Quantitative and behavioural types for Service Component Ensembles |
Campo principale della ricerca | Computer science |
Sottocampo della ricerca | Autonomic computing |
Settore Concorsuale | 01 - Scienze matematiche e informatiche |
S.S.D | INF/01 - INFORMATICA |
Descrizione sintetica in italiano | Obiettivo di questo progetto di ricerca è la definizione di una teoria di tipi comportamentali e quantitativi che supporti l'assemblamento di componenti autonomiche e riconfigurabili nei così detti Service Component Ensembles (SCE). Si vuole che questa nuova teoria possa essere utilizzata come strumento di supporto sia in fase di riconfigurazione automatica di SCE che in fase di analisi. Come risultato della ricerca si vuole ottenere un linguaggio di tipi comportamentali che sia sufficientemente espressivo da consentire di descrivere le caratteristiche di autonomicità e riconfigurabilità dei sistemi in analisi. Inoltre, ci si aspetta che il linguaggio risultato permetta di verificare sia proprietà qualitative che proprietà quantitative di SCE. Per questo scopo, il linguaggio dei tipi dovrà prevedere la presenza di annotazioni quantitative, che rappresentino ad esempio la probabilità, il costo, ... degli eventi di interesse. |
Descrizione sintetica in inglese | The aim of this project is the definition of a new theory of quantitative and behavioural types supporting the gathering of autonomic and reconfigurable components into Service Component Ensembles. The keypoint of this research is that the newly defined theory should support both the evolution of systems, in the ensembles reconfiguration phase, and their analysis. The resulting language of behavioural types should be expressive enough to render the main characteristics of the considered domain of application: autonomicity and reconfigurability. Moreover, it should allow to guarantee not only qualitative properties of system behaviour, but also quantitative ones. In order to guarantee that, types should be decorated with quantitative annotations, representing the probability, the cost, ... of the event under consideration. |
Data del bando | 02/01/2012 |
Numero di assegnazioni per anno | 1 |
Stanziamento annuale (indicativo) | 22816,91 |
Periodicità | annuale |
E' richiesta mobilità internazionale? | no |
Paesi in cui può essere condotta la ricerca |
Italy |
Paesi di residenza dei candidati |
All |
Nazionalità dei candidati |
All |
Sito web del bando | http://www.unifi.it/CMpro-v-p-391.html |
Destinatari dell'assegno di ricerca (of target group) |
Experienced researcher or 4-10 yrs (Post-Doc) |
---|---|
Il contratto prevede la copertura delle prestazioni sociali? | yes |
Valuta | Euro |
Comprende lo stipendio dell'assegnista | yes |
Comprende vitto e spese di viaggio | no |
Comprende il costo della ricerca | yes |
Criteri di selezione in italiano (breve descrizione) | Titolo accademico di dottore di ricerca o laurea V.O. in Informatica, o corrispondenti Lauree Specialistiche/Magistrali N.O. Possesso di un curriculum scientifico-professionale idoneo allo svolgimento della ricerca |
Processo di selezione in italiano (breve descrizione) | Titoli e colloquio |
Nome dell'Ente finanziatore | Università degli Studi di Firenze |
---|---|
Tipologia dell'Ente | Public research |
Paese dell'Ente | Italy |
Città | Firenze |
Sito web | http://www.unifi.it |
boreale@dsi.unifi.it |
L'assegno finanziato/cofinanziato attraverso un EU Research Framework Programme? | Fp7/Other |
---|
Data di scadenza del bando | 30/01/2012 |
---|---|
Come candidarsi | Other |