DSpace Home
→
Browsing by Author

Browsing by Author "Krayem, Said"

Now showing items 1-10 of 10

Big data process advancement

Jašek, Roman; Krayem, Said; Žáček, Petr (Springer Verlag, 2017)
Distributed data mining systems: Techniques, approaches and algorithms

Ali, Ammar Alhaj; Vařacha, Pavel; Krayem, Said; Žáček, Petr; Urbanek, Andrzej (EDP Sciences, 2018)
Distribution signals between the transmitter and antenna – event b model: Distribution TV signal

Lazar, Ivo; Krayem, Said; Hrušecká, Denisa (IGI Global, 2016)
Event-B model for increasing the efficiency of warehouse management

Hrušecká, Denisa; Adla, Rawa; Krayem, Said; Pivnička, Michal (Czestochowa University of Technology, 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)
An insight into DVB-T system using formal modelling in Event-B

Krayem, Said; Pátíková, Zuzana (American Institute of Physics (AIP), 2017)
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)
Multi-agent systems interacting (addressing scopes, control resources)

Kadi, Mohamad; Krayem, Said; Jašek, Roman; Žáček, Petr; Chramcov, Bronislav (Springer Verlag, 2019)
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)
Using formal methods in distributed system design

Awwama, Emad Eddin; Kadi, Mohammad; Krayem, Said; Lazar, Ivo; Rihawi, Ahmad (EDP Sciences, 2017)

Now showing items 1-10 of 10

Search DSpace

Advanced Search

Browse

All of DSpace

Browsing by Author "Krayem, Said"

DSpace Repository

Browsing by Author "Krayem, Said"

Search DSpace

Browse

All of DSpace

My Account