Enter a brief description of your changes
(Required)
Minor changes are by default collapsed in the page history.
No changes
The page does not exist yet.
Failed to load changes
Version by on
Leave Collaboration
Are you sure you want to leave the realtime collaboration and continue editing alone? The changes you save while editing alone will lead to merge conflicts with the changes auto-saved by the realtime editing session.
StoKlaim: A Stochastic Extension of Klaim
Rocco De Nicola, Diego Latella, Joost-Pieter Katoen, Mieke Massink
Istituto di Scienza e Tecnologie dell'Informazione "Alessandro Faedo" (ISTI)
CNR-ISTI 2006-TR-01
2006
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.
