Combining timed coordination primitives and probabilistic tuple spaces (Articolo in rivista)

Type
Label
  • Combining timed coordination primitives and probabilistic tuple spaces (Articolo in rivista) (literal)
Anno
  • 2009-01-01T00:00:00+01:00 (literal)
Alternative label
  • Bravetti M.; Latella D.; Loreti M.; Massink M.; Zavattaro G. (2009)
    Combining timed coordination primitives and probabilistic tuple spaces
    in Lecture notes in computer science
    (literal)
Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#autori
  • Bravetti M.; Latella D.; Loreti M.; Massink M.; Zavattaro G. (literal)
Pagina inizio
  • 52 (literal)
Pagina fine
  • 68 (literal)
Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#numeroVolume
  • 5474 (literal)
Rivista
Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#note
  • In: TGC 2008 - Trustworthy Global COmputing 2008 (Barcelona, Spain, 3-4 november 2008). Proceedings, pp. 52 - 68. Kaklamanis C, Nielson F (eds.). (Lecture Notes in Computer Science, vol. 5474). Springer, 2009. (literal)
Note
  • ISI Web of Science (WOS) (literal)
Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#affiliazioni
  • Department of Computer Science, University of Bologna, Italy, CNR-ISTI, Pisa, Dipartimento di Informatica, Università di Firenze (literal)
Titolo
  • Combining timed coordination primitives and probabilistic tuple spaces (literal)
Abstract
  • In this paper we present an integration of PLinda, a probabilistic extension of Linda, and StoKLAIM, a stochastic extension of KLAIM. In the resulting language, StoPKLAIM, the execution time of coordination primitives is modeled by means of exponentially distributed random variables, as in StoKLAIM, the choice of the primitive to be executed among conflicting ones is thus resolved by the race condition principle, and the choice of the tuple to be retrieved by a single input/read operation in case of multiple matching tuples is governed by the weight-based probabilistic access policy of PLinda. The language represents a natural development and integration of previous results of the SENSORIA Project in the area of probabilistic and time-stochastic extensions of Tuple Space based coordination languages. The formal operational semantics of StoPKLAIM is presented and an example of modeling is provided. (literal)
Prodotto di
Autore CNR
Insieme di parole chiave

Incoming links:


Autore CNR di
Prodotto
Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#rivistaDi
Insieme di parole chiave di
data.CNR.it