Hybrid performance modelling of opportunistic networks

MaRDI QIDQ5858728zbMATH OpenFDO

Authors Luca Bortolussi, Vashti Galpin, Jane Hillston

Publication date 14 April 2021

Full work available at URL https://arxiv.org/abs/1207.0873, http://eptcs.web.cse.unsw.edu.au/paper.cgi?QAPL2012.8

Mathematics Subject Classification ID

Probability in computer science (algorithm analysis, random structures, phase transitions, etc.) (68Q87) Performance evaluation, queueing, and scheduling in the context of computer systems (68M20) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Wireless sensor networks as related to computer science (68M18)

Recommendations

• HYPE with stochastic events
• Routing in opportunistic networks
• scientific article; zbMATH DE number 2087800
• Buffer management and hybrid probability choice routing for packet delivery in opportunistic networks
• HYPE: hybrid modelling by composition of flows

Cited in

(5)

• Smoothed model checking for uncertain continuous-time Markov chains
• Qualitative and quantitative monitoring of spatio-temporal properties with SSTL
• Performance modeling of epidemic routing
• Hybrid semantics for Bio-PEPA
• Opportunistic resource utilization networks -- A new paradigm for specialized ad hoc networks

This page was built for publication: Hybrid performance modelling of opportunistic networks

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5858728)