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., « 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.
A. Harbouche, Djedi, N., Erradi, M., Ben-Othman, J., et Kobbane, A., « Model driven flexible design of a wireless body sensor network for health monitoring », Computer Networks, vol. 129, p. 1339-1351, 2017.
Aa Harbouche, Erradi, Mb, et Mokhtari, Ac, « Deriving multi-agent system behavior », International Journal of Software Engineering and its Applications, vol. 7, p. 137-156, 2013.
A. Harbouche, Elmachkour, M., Djedi, N., Erradi, M., et Kobbane, A., « Dynamic coalitional matching game approach for fair and swift data-gathering in wireless body sensor networks », in Proceedings - 2017 International Conference on Wireless Networks and Mobile Communications, WINCOM 2017, 2017.
Aa Harbouche, Erradi, Mb, et Kobbane, Ab, « A flexible wireless body sensor network system for health monitoring », in Proceedings of the Workshop on Enabling Technologies: Infrastructure for Collaborative Enterprises, WETICE, 2013, p. 44-49.
E. M. Haroussi, Chana, I., et Belkasmi, M., « VHDL design and FPGA implementation of a fully parallel BCH SISO decoder », in 2010 5th International Symposium on I/V Communications and Mobile Networks, ISIVC 2010, 2010.
E. M. Haroussi, Ayoub, F., et Belkasmi, M., « VHDL design and FPGA implementation of weighted majority logic decoders », in International Conference on Multimedia Computing and Systems -Proceedings, 2011.
A. Harraz, Bissiriou, C., Cherkaoui, R., et Zbakh, M., « Study of an adaptive approach for a Cloud system implementation », in Proceedings of 2016 International Conference on Cloud Computing Technologies and Applications, CloudTech 2016, 2017, p. 230-236.
I. El Hassani, Kriouile, A., et Benghabrit, Y., « Measure of Fuzzy Presence of Descriptors on Arabic Text Mining », in 2012 COLLOQUIUM ON INFORMATION SCIENCE AND TECHNOLOGY (CIST'12), 2011, p. 58-63.
E. I. Hassani, Kriouile, A., et Benghabrit, Y., « Measure of fuzzy presence of descriptors on Arabic Text Mining », in CiSt 2012 - Proceedings: 2012 Colloquium in Information Science and Technology, 2012, p. 58-63.
W. Hassen, Neifar, M., Cherif, H., Mahjoubi, M., Souissi, Y., Raddadi, N., Fava, F., et Cherif, A., « Assessment of genetic diversity and bioremediation potential of pseudomonads isolated from pesticide-contaminated artichoke farm soils », 3 Biotech, vol. 8, 2018.
H. Hatim, H. Bakkali, E., et Berrada, I., « Workflow access control: From role engineering to task engineering », in 2010 International Conference for Internet Technology and Secured Transactions, ICITST 2010, 2010.
H. Hatim, Bakkali, H. E., et Berrada, I., « Enforcing access control in workflow systems with a task engineering approach », International Journal of Internet Technology and Secured Transactions, vol. 4, p. 55-70, 2012.
R. Hayat, Sabir, E., Badidi, E., et Elkoutbi, M., « A signaling game-based approach for Data-as-a-Service provisioning in IoT-Cloud », Future Generation Computer Systems, vol. 92, p. 1040-1050, 2019.
R. Hayat, Sabir, E., Badidi, E., et Elkoutbi, M., « A signaling game-based approach for Data-as-a-Service provisioning in IoT-Cloud », Future Generation Computer Systems, 2017.
R. Hba et A. Manouar, E., « ICT green alignment: Towards a new generation managerial model based on green IT and corporate social responsibility », International Journal of Advanced Computer Research, vol. 8, p. 137-147, 2018.
R. Hba, Idrissi, M. A. J., Ghaib, M. K. El, et A. Manouar, E., « ICT sustainable management: Towards a better alignment with the sustainable development strategy », International Journal of Advanced Technology and Engineering Exploration, vol. 7, p. 165-181, 2020.
B. Hdioud, M. Tirari, E. Haj, R. Thami, O. Haj, et Faizi, R., « Detecting and shadows in the HSV color space using dynamic thresholds », Bulletin of Electrical Engineering and Informatics, vol. 7, p. 70-79, 2018.
B. Hdioud, Ezzahout, A., Hadi, Y., Haj, R. Oulad, et , « A Real-Time People Tracking System Based on Trajectory Estimation Using Single Field of Camera View », in 2013 INTERNATIONAL CONFERENCE ON COMPUTER APPLICATIONS TECHNOLOGY (ICCAT), 2013.
Ba Hdioud, Ezzahout, Aa, Hadi, Yab, et Thami, R. OaHaj, « A real-time people tracking system based on trajectory estimation using single field of camera view », in International Conference on Computer Applications Technology, ICCAT 2013, 2013.

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.