10 May 2017

Special issue published: "Verification, Control and Performance Analysis: Part II"

International Journal of Critical Computer-Based Systems 7(1) 2017
  • Modelling and analysis data fragmentation in IEEE 802.15.4 slotted CSMA/CA protocol without ACK mode
  • Analysing reward measures of LARES performability models by discontinuous Markov chains
  • On the dependability evaluation of a virtual multiple input multiple output link
  • Modelling and performance analysis of video and voice streams in the IEEE 802.11e-EDCA WLANs with TXOP bursting under fading channel
  • Failure detector-Ring Paxos-based atomic broadcast algorithm
  • Formal approach based on petri nets using agent paradigm for m-maintenance

No comments: