Publications

Export 2330 results:
A B C D E F G H I J K L M N O P Q R S T U V W X Y Z 
F
M. Essaaidi et Zaz, Y., « Foreword », in Proceedings of 2017 International Renewable and Sustainable Energy Conference, IRSEC 2017, 2018.
M. Essaaidi et Zaz, Y., « Foreword », in Proceedings of 2016 International Renewable and Sustainable Energy Conference, IRSEC 2016, 2017.
Y. Benadada et Mhada, F. - Z., « Foreword », in Proceedings - 2020 5th International Conference on Logistics Operations Management, GOL 2020, 2020.
M. Essaaidi et Zaz, Y., « Foreword », in Proceedings of 2021 9th International Renewable and Sustainable Energy Conference, IRSEC 2021, 2021.
M. E. Mohajir, Essaaidi, M. M., Assem, N., Benjillali, M., Aniba, G., Belmekki, A., et Issati, O. E., « Foreword », in 19th IEEE Mediterranean Eletrotechnical Conference, MELECON 2018 - Proceedings, 2018.
A. Kobbane et Ibrahimi, K., « Foreword », in Proceedings - 2017 International Conference on Wireless Networks and Mobile Communications, WINCOM 2017, 2017.
M. Essaaidi et Nemiche, M., « Foreword », in Proceedings of 2012 International Conference on Complex Systems, ICCS 2012, 2012.
Y. Saissi, Zellou, A., et Idri, A., « Form driven web source integration », in 2014 9th International Conference on Intelligent Systems: Theories and Applications, SITA 2014, 2014.
Y. Saissi, Zellou, A., et Idri, A., « Form driven web source integration », in 2014 9TH INTERNATIONAL CONFERENCE ON INTELLIGENT SYSTEMS: THEORIES AND APPLICATIONS (SITA'14), 2014.
A. Anwar, Dkaki, T., Ebersold, S., Coulette, B., et Nassar, M., « A formal approach to model composition applied to VUML », in Proceedings - 2011 16th IEEE International Conference on Engineering of Complex Computer Systems, ICECCS 2011, 2011, p. 188-197.
A. Anwar, Dkaki, T., Ebersold, S., Coulette, B., Anwar, A., et Nassar, M., « A Formal Approach to Model Composition Applied to VUML », in 2011 16TH IEEE INTERNATIONAL CONFERENCE ON ENGINEERING OF COMPLEX COMPUTER SYSTEMS (ICECCS), 2011, p. 188-197.
Aa Khoumsi, Krombi, Wb, et Erradi, Mb, « A formal approach to verify completeness and detect anomalies in firewall security policies », Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 8930, p. 221-236, 2015.
A. Khoumsi, Krombi, W., et Erradi, M., « A Formal Approach to Verify Completeness and Detect Anomalies in Firewall Security Policies », in FOUNDATIONS AND PRACTICE OF SECURITY (FPS 2014), 2015, vol. 8930, p. 221-236.
A. Khoumsi, Erradi, M., et Krombi, W., « A formal basis for the design and analysis of firewall security policies », Journal of King Saud University - Computer and Information Sciences, vol. 30, p. 51-66, 2018.
Aa Khoumsi, Erradi, Mb, et Krombi, Wb, « A formal basis for the design and analysis of firewall security policies », Journal of King Saud University - Computer and Information Sciences, 2016.
A. Khoumsi, Erradi, M., et Krombi, W., « A formal basis for the design and analysis of firewall security policies », Journal of King Saud University - Computer and Information Sciences, vol. 30, p. 51-66, 2018.
K. Hafdi et Kriouile, A., « Formal Modeling and Validation of Micro Smart Grids Based on ReDy Architecture », in Proceedings of 2020 5th International Conference on Cloud Computing and Artificial Intelligence: Technologies and Applications, CloudTech 2020, 2020.
M. Ouzzif, Hamdani, M., Mountassir, H., et Erradi, M., « A Formal Modeling Approach for Emergency Crisis Response in Health during Catastrophic Situation », in INFORMATION SYSTEMS FOR CRISIS RESPONSE AND MANAGEMENT IN MEDITERRANEAN COUNTRIES, 2014, vol. 196, p. 112-119.
Ma Ouzzif, Hamdani, Mb, Mountassir, Hc, et Erradi, Md, « A formal modeling approach for emergency crisis response in health during catastrophic situation », Lecture Notes in Business Information Processing, vol. 196, p. 112-119, 2014.
N. A. Alrajeh et Bounabat, B., « Formal specification of humanitarian disaster management processes », in 2012 6th International Symposium on Medical Information and Communication Technology, ISMICT 2012, 2012.
E. B. Idrissi, Tetou, C., et Doumi, K., « On The Formalization of The TOGAF Content MetaModel Using Ontologies », in 2022 International Conference on Intelligent Systems and Computer Vision, ISCV 2022, 2022.
M. Benhaddi, Baina, K., et Abdelwahed, E. Hassan, « Formalization of the User Centric SOA Approach Implementation and End User Satisfaction Evaluation », in ICEIS: PROCEEDINGS OF THE 15TH INTERNATIONAL CONFERENCE ON ENTERPRISE INFORMATION SYSTEMS - VOL 2, 2013, p. 481-488.
Ma Benhaddi, Baïna, Kb, et Abdelwahed, E. Ha, « Formalization of the user centric SOA approach: Implementation and end user satisfaction evaluation », in ICEIS 2013 - Proceedings of the 15th International Conference on Enterprise Information Systems, 2013, vol. 2, p. 481-488.
H. Amraoui, Habbani, A., et Hajami, A., « A Forwarding Game Approach for Reducing Topology Control Traffic in MANETs », Arabian Journal for Science and Engineering, vol. 43, p. 6945-6961, 2018.
A. Boudaoud, Abdelmounim, E., Barazzouk, A., Zbitou, J., et Belkasmi, M., « FPGA Implementation of HIHO and SIHO Decoders for DSC Codes », in 2014 INTERNATIONAL CONFERENCE ON MULTIMEDIA COMPUTING AND SYSTEMS (ICMCS), 2014, p. 1461-1464.

Pages

Partenaires

LIENS UTILES

Localisation

Lien Google Maps

Location map

Suivez-nous sur

         

    

Contactez-nous

ENSIAS

Avenue Mohammed Ben Abdallah Regragui, Madinat Al Irfane, BP 713, Agdal Rabat, Maroc

  Télécopie : (+212) 5 37 68 60 78

  Secrétariat de direction : 06 61 48 10 97

        Secrétariat général : 06 61 34 09 27

        Service des affaires financières : 06 61 44 76 79

        Service des affaires estudiantines : 06 62 77 10 17 / n.mhirich@um5s.net.ma

        Résidences : 06 61 82 89 77

Contacts

    

    Compteur de visiteurs:567,119
    Education - This is a contributing Drupal Theme
    Design by WeebPal.