Prohlížení dle autora "Ali, Ammar Alhaj"

Zobrazují se záznamy 1-4 z 4

Distributed data mining systems: Techniques, approaches and algorithms

Ali, Ammar Alhaj; Vařacha, Pavel; Krayem, Said; Žáček, Petr; Urbanek, Andrzej (EDP Sciences, 2018)
Improved adaptive fault tolerance model for increasing reliability in cloud computing using Event-B

Ali, Ammar Alhaj; Jašek, Roman; Krayem, Said; Chramcov, Bronislav; Žáček, Petr (Springer Verlag, 2019)
Modeling of distributed file System in big data storage by event-B

Ali, Ammar Alhaj; Vařacha, Pavel; Krayem, Said; Jašek, Roman; Žáček, Petr; Chramcov, Bronislav (EDP Sciences, 2018)
Proving the effectiveness of negotiation protocols KQML in multi-agent systems using event-B

Ali, Ammar Alhaj; Jašek, Roman; Krayem, Said; Žáček, Petr (Springer Verlag, 2017)

Zobrazují se záznamy 1-4 z 4

Prohledat DSpace