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 
H
A. Haqiq et Bounabat, B., « Towards an approach for behavioral specification of reactive multi-agent system », in 2015 5th International Conference on Information and Communication Technology and Accessibility, ICTA 2015, 2015.
A. Haqiq et Bounabat, B., « An extended approach for the behavioral and temporal constraints specification of reactive agent », in International Conference on Intelligent Systems Design and Applications, ISDA, 2016, vol. 2016-June, p. 329-334.
A. Haqiq et Bounabat, B., « Verification of Multi Decisional Reactive Agent using SMV Model Checker », in 2013 8TH INTERNATIONAL DESIGN AND TEST SYMPOSIUM (IDT), 2013.
A. Haqiq et Bounabat, B., « Towards integration of fault tolerance in agent-based systems », in Procedia Computer Science, 2018, vol. 127, p. 264-273.
A. Haqiq et Bounabat, B., « Using BECAMEDA method to specify and verify a smart home system », in ACM International Conference Proceeding Series, 2017, vol. Part F130526, p. 42-47.
A. Haqiq et Bounabat, B., « Towards an approach for behavioral specification of Reactive Multi-Agent system », in 2015 5TH INTERNATIONAL CONFERENCE ON INFORMATION & COMMUNICATION TECHNOLOGY AND ACCESSIBILITY (ICTA), 2015.
M. Haoues, Sellami, A., Ben-Abdallah, H., et Cheikhi, L., « A guideline for software architecture selection based on ISO 25010 quality related characteristics », International Journal of Systems Assurance Engineering and Management, vol. 8, p. 886-909, 2017.
Ma Hanini, Haqiq, Abc d, et Berqia, Ae, Multicriteria queuing model to improve intra-user multi-flow qos in wireless cellular networks. 2013, p. 86-106.
E. Bakkali Hanane et Hamid, H., « RB-WAC: New Approach for Access Control in Workflows », in 2009 IEEE/ACS INTERNATIONAL CONFERENCE ON COMPUTER SYSTEMS AND APPLICATIONS, VOLS 1 AND 2, 2009, p. 637-640.
E. B. Hanane et Hamid, H., « RB-WAC: New approach for access control in workflows », in 2009 IEEE/ACS International Conference on Computer Systems and Applications, AICCSA 2009, 2009, p. 637-640.
A. Hamyani, Bouanani, F. E., et Miftah, Y., « Jamming-Assisted Multi-User Multi-Eavesdropper Broadcast Network: PHY Layer Security Analysis », IEEE Access, vol. 9, p. 118051-118064, 2021.
H. Hammouchi, Nejjari, N., Mezzour, G., Ghogho, M., et Benbrahim, H., « STRisk: A Socio-Technical Approach to Assess Hacking Breaches Risk », IEEE Transactions on Dependable and Secure Computing, 2022.
F. Z. Hammani, Rhanoui, M., et B. Asri, E., « Towards a variable non-functional requirements integration for component-based product line: A generic approach », in 2014 2nd World Conference on Complex Systems, WCCS 2014, 2014, p. 146-151.
F. Zahra Hammani, « Survey of Non-Functional Requirements Modeling and Verification of Software Product Lines », in 2014 IEEE EIGHTH INTERNATIONAL CONFERENCE ON RESEARCH CHALLENGES IN INFORMATION SCIENCE (RCIS), 2014.
F. Zahra Hammani, Rhanoui, M., et Asri, B. El, « Towards a Variable Non-Functional Requirements Integration for Component-Based Product Line », in 2014 SECOND WORLD CONFERENCE ON COMPLEX SYSTEMS (WCCS), 2014, p. 146-151.
A. Hamlili, « Adaptive schemes for estimating random graph parameters in mobile wireless ad hoc network's modeling », in 2010 IFIP Wireless Days, WD 2010, 2010.
A. Hamlili, « Intelligibility of Erdös-Rényi random graphs and time varying social network modeling », in ACM International Conference Proceeding Series, 2017, vol. Part F130526, p. 201-206.
A. Hamlili, « A topology-based approach to the predictive analysis of intelligent transportation systems dynamics », in 2012 5th International Conference on New Technologies, Mobility and Security - Proceedings of NTMS 2012 Conference and Workshops, 2012.
A. Hamlili, « Performance Evaluation for Competing High-Speed TCP Protocols », in 2009 GLOBAL INFORMATION INFRASTRUCTURE SYMPOSIUM (GIIS 2009), 2009, p. 286-289.
M. E. Hamlaoui, Ebersold, S., Bennani, S., Anwar, A., Dkaki, T., Nassar, M., et Coulette, B., « Model-driven Approach To Align Heterogeneous Models Of A Complex System », Journal of Object Technology, vol. 20, p. 1-24, 2021.
Mab El Hamlaoui, Trojahn, Ca, Ebersold, Sa, et Coulette, Ba, « Towards an ontology-based approach for heterogeneous model matching », in CEUR Workshop Proceedings, 2014, vol. 1236, p. 53-62.
Mab El Hamlaoui, Ebersold, Sa, Coulette, Ba, Nassar, Mb, et Anwar, Ac, « Heterogeneous models matching for consistency management », in Proceedings - International Conference on Research Challenges in Information Science, 2014.
E. M. Hamlaoui, Qamsane, Y., Laghouaouta, Y., et Mishra, A., « A Model Based Approach for Generating Modular Manufacturing Control Systems Software », in Proceedings of the International Conference on Software Engineering and Knowledge Engineering, SEKE, 2022, p. 424-427.
E. M. Hamlaoui, Fissaa, T., Laghouaouta, Y., et Nassar, M., « Support cloud SLA establishment using MDE », Lecture Notes in Networks and Systems, vol. 49, p. 167-184, 2019.
M. E. Hamlaoui, Bennani, S., Nassar, M., Ebersold, S., et Coulette, B., « Heterogeneous design models alignment: From matching to consistency management », in Proceedings of the ACM Symposium on Applied Computing, 2018, p. 1695-1697.

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,223
    Education - This is a contributing Drupal Theme
    Design by WeebPal.