StoKlaim: A Stochastic Extension of Klaim
- Manage
- Copy
- Actions
- Export
- Annotate
- Print Preview
Choose the export format from the list below:
- Office Formats (1)
-
Export as Portable Document Format (PDF) using Apache Formatting Objects Processor (FOP)
-
- Other Formats (1)
-
Export as HyperText Markup Language (HTML)
-
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. |
Publications / Views
Clouds
• tags • authors • editors • journals
Year
• 2023 • 2022 • 2021 • 2020 • 2019 • 2018 • 2017 • 2016 • 2015 • 2014–1927
Sort
• in journal • in proc • chapters • books • edited • spec issues • editorials • entries • manuals • tech reps • phd th • others
Status
• online • in press • proof • camera-ready • revised • accepted • revision • submitted • draft • note
Services
• ACM Digital Library • DBLP • IEEE Xplore • IRIS • PubMed • Google Scholar • Scopus • Semantic Scholar • Web of Science • DOI
Publication
— authors
Rocco De Nicola, Diego Latella, Joost-Pieter Katoen, Mieke Massink
— status
published
— sort
technical report
— publication date
2006
— series
CNR-ISTI
— issue
2006-TR-01
— institution
Istituto di Scienza e Tecnologie dell'Informazione "Alessandro Faedo" (ISTI)