International Journal of Critical Computer-Based Systems (IJCCBS)

International Journal of Critical Computer-Based Systems

2017 Vol.7 No.1


Special Issue on: Verification, Control and Performance Analysis: Part II

Guest Editors: Prof. Djamil Aissani and Prof. Francesco Flammini

Pages Title and author(s)
4-21Modelling and analysis data fragmentation in IEEE 802.15.4 slotted CSMA/CA protocol without ACK mode
Mouloud Atmani; Djamil Aïssani; Yassine Hadjadj-Aoul
DOI: 10.1504/IJCCBS.2017.084061
22-42Analysing reward measures of LARES performability models by discontinuous Markov chains
Alexander Gouberman; Martin Riedl; Markus Siegle
DOI: 10.1504/IJCCBS.2017.084062
43-58On the dependability evaluation of a virtual multiple input multiple output link
Mohamed Escheikh; Kamel Barkaoui
DOI: 10.1504/IJCCBS.2017.084063
59-77Modelling and performance analysis of video and voice streams in the IEEE 802.11e-EDCA WLANs with TXOP bursting under fading channel
Mohand Yazid; Louiza Bouallouche-Medjkoune; Djamil Aïssani
DOI: 10.1504/IJCCBS.2017.084064
78-90Failure detector-Ring Paxos-based atomic broadcast algorithm
Nadjette Rebouh; Ifeticene Ryma Asma; Aidoun Naoual; Louiza Bouallouche-Medjkoune
DOI: 10.1504/IJCCBS.2017.084065
91-117Formal approach based on petri nets using agent paradigm for m-maintenance
Khadija Abid; Leila Hayet Mouss; Okba Kazar; Laid Kahloul
DOI: 10.1504/IJCCBS.2017.084066