- 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
10 May 2017
Special issue published: "Verification, Control and Performance Analysis: Part II"
International Journal of Critical Computer-Based Systems 7(1) 2017
Subscribe to:
Post Comments (Atom)
No comments:
Post a Comment