Validating reconfigurations of reo circuits (Contributo in atti di convegno)

Type
Label
  • Validating reconfigurations of reo circuits (Contributo in atti di convegno) (literal)
Anno
  • 2013-01-01T00:00:00+01:00 (literal)
Alternative label
  • Ter Beek M., Gadducci F., Santini F. (2013)
    Validating reconfigurations of reo circuits
    in ICTCS 2013 - 14th Italian Conference on Theoretical Computer Science, Palermo, Italy, 9-11 September 2013
    (literal)
Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#autori
  • Ter Beek M., Gadducci F., Santini F. (literal)
Pagina inizio
  • 36 (literal)
Pagina fine
  • 44 (literal)
Note
  • PuMa (literal)
Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#affiliazioni
  • CNR-ISTI, Pisa, Italy; Università di Pisa, Italy; EPI Contraintes, INRIA, Rocquencourt, Le Chesnay, France. (literal)
Titolo
  • Validating reconfigurations of reo circuits (literal)
Abstract
  • We formalize dynamic reconfiguration of Reo circuits (multi-party interactions built from primitive channels) by graph transformation and apply it to a critical infrastructure controlling the business process of an e-banking scenario, in which reconfiguration is triggered as soon as the communication buffers reach specific predefined thresholds of congestion. (literal)
Prodotto di
Autore CNR
Insieme di parole chiave

Incoming links:


Prodotto
Autore CNR di
Insieme di parole chiave di
data.CNR.it