STOKLAIM: A Stochastic Extension of KLAIM (Rapporti tecnici, manuali, carte geologiche e tematiche e prodotti multimediali)

Type
Label
  • STOKLAIM: A Stochastic Extension of KLAIM (Rapporti tecnici, manuali, carte geologiche e tematiche e prodotti multimediali) (literal)
Anno
  • 2006-01-01T00:00:00+01:00 (literal)
Alternative label
  • De Nicola R.; Katoen J.; Latella D.; Massink M. (2006)
    STOKLAIM: A Stochastic Extension of KLAIM
    (literal)
Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#autori
  • De Nicola R.; Katoen J.; Latella D.; Massink M. (literal)
Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#note
  • Technical report (literal)
Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#descrizioneSinteticaDelProdotto
  • ABSTRACT: Global (or network-aware) computing entails large-scale networks of computers performing tasks in a cooperative and coordinated manner. Programming and modeling languages such as KLAIM focus on key functional aspects of global computing such as distribution awareness, (code and agent) mobility, and privacy aspects. This paper instead concentrates on their performance and dependability aspects. It proposes STOKLAIM, an extension of KLAIM which permits the description of random phenomena such as spontaneous computer crashes and spurious network hick ups. The operational semantics of STOKLAIM is based on continuous-time Markov chains. The approach is illustrated by modeling the spreading of a virus through a network. (literal)
Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#supporto
  • Altro (literal)
Titolo
  • STOKLAIM: A Stochastic Extension of KLAIM (literal)
Prodotto di
Autore CNR
Insieme di parole chiave

Incoming links:


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