Journal cover image

Browse issues


Vol. 7
Vol. 6
Vol. 5
Vol. 4
Vol. 3
Vol. 2
Vol. 1

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

 

Editorial
PagesTitle and authors
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