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., « Verification of multi decisional reactive agent using SMV model checker », in 2013 8th IEEE Design and Test Symposium, IDT 2013, 2013.
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 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., « 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. 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.
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.
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. 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. 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, 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, « Performance Evaluation for Competing High-Speed TCP Protocols », in 2009 GLOBAL INFORMATION INFRASTRUCTURE SYMPOSIUM (GIIS 2009), 2009, p. 286-289.
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.
Mab El Hamlaoui, Ebersold, Sa, Coulette, Ba, Anwar, Ac, et Nassar, Mb, « Heterogeneous models matching for consistency management », in ENASE 2013 - Proceedings of the 8th International Conference on Evaluation of Novel Approaches to Software Engineering, 2013, p. 181-188.
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.
Mab El Hamlaoui, Coulette, Bb, Ebersold, Sb, Bennani, Sa, Nassar, Ma, Anwar, Ae, Beugnard, Ac, Bach, J. Cc, Jamoussi, Yd, et Tran, H. Nb, « Alignment of viewpoint heterogeneous design models: "Emergency Department" Case Study », in CEUR Workshop Proceedings, 2016, vol. 1731, p. 18-27.
M. Eab Hamlaoui, Ebersold, Sa, Anwar, Ac, Coulette, Ba, et Nassar, Mb, « Towards a framework for heterogeneous models matching », Journal of Software Engineering, vol. 8, p. 132-151, 2014.
Mab El Hamlaoui, Ebersold, Sa, Anwar, Ac, Nassar, Mb, et Coulette, Ba, « A process for maintaining heterogeneous models consistency through change synchronization », in Proceedings of IEEE/ACS International Conference on Computer Systems and Applications, AICCSA, 2013.
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.

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

    

Education - This is a contributing Drupal Theme
Design by WeebPal.