{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T04:30:21Z","timestamp":1750221021525,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":19,"publisher":"ACM","license":[{"start":{"date-parts":[[2018,12,26]],"date-time":"2018-12-26T00:00:00Z","timestamp":1545782400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2018,12,26]]},"DOI":"10.1145\/3330089.3330104","type":"proceedings-article","created":{"date-parts":[[2019,6,24]],"date-time":"2019-06-24T13:52:32Z","timestamp":1561384352000},"page":"1-7","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":0,"title":["Formal approach to validated allocation process based on MAS and CP system"],"prefix":"10.1145","author":[{"given":"Soltane","family":"Merzoug","sequence":"first","affiliation":[{"name":"Department of Mathematics and Computer Science, Tebessa University, Tebessa, Algeria, LINFI Laboratory"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Souraya","family":"Hamida","sequence":"additional","affiliation":[{"name":"University of Batna 2, Mostefa Ben Boulaid, Batna, Algeria, LINFI Laboratory, University of Biskra, Batna, Algeria"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"family":"OkbaKazar","sequence":"additional","affiliation":[{"name":"Department of Computer Scien, LINFI Laboratory, University of Biskra, Biskra, Algeria"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2018,12,26]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1007\/s007990050008"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.14569\/IJACSA.2012.030616"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"crossref","unstructured":"Andrei IONESCU \"Resource Management in Mobile Cloud Computing\" InformaticaEconomic\u0103 vol. 19 no. 1\/2015.  Andrei IONESCU \"Resource Management in Mobile Cloud Computing\" InformaticaEconomic\u0103 vol. 19 no. 1\/2015.","DOI":"10.12948\/issn14531305\/19.1.2015.05"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1145\/1555312.1555319"},{"volume-title":"the proceedings of CCIS2011","author":"Tian WH","key":"e_1_3_2_1_5_1","unstructured":"Tian WH , Zhao Y , Zhong YL , Xu MX , Jing C. A dynamic and integrated load balancing scheduling algorithm for Cloud data centers . In: the proceedings of CCIS2011 , Beijing. Tian WH, Zhao Y, Zhong YL, Xu MX, Jing C. A dynamic and integrated load balancing scheduling algorithm for Cloud data centers. In: the proceedings of CCIS2011, Beijing."},{"key":"e_1_3_2_1_6_1","volume-title":"Proceedings of the IEEE International Conference of the Cloud Engineering (IC2E)","author":"Satoh H.","year":"2013","unstructured":"F. Satoh , H. Yanagisawa , H. Takahashi and T. Kushida , (Eds.), \"Total Energy Management system for Cloud Computing \", Proceedings of the IEEE International Conference of the Cloud Engineering (IC2E) , ( 2013 ), March 25-27; Redwood City, CA. F. Satoh, H. Yanagisawa, H. Takahashi and T. Kushida, (Eds.), \"Total Energy Management system for Cloud Computing\", Proceedings of the IEEE International Conference of the Cloud Engineering (IC2E), (2013), March 25-27; Redwood City, CA."},{"key":"e_1_3_2_1_7_1","volume-title":"Proceedings of the Spring Congress of the Engineering and Technology (S-CET)","author":"Beik","year":"2012","unstructured":"R. Beik , (Ed.), \" Green Cloud Computing : An Energy-Aware Layer in Software Architecture \", Proceedings of the Spring Congress of the Engineering and Technology (S-CET) , ( 2012 ), May 27-30; Xian. R. Beik, (Ed.), \"Green Cloud Computing: An Energy-Aware Layer in Software Architecture\", Proceedings of the Spring Congress of the Engineering and Technology (S-CET), (2012), May 27-30; Xian."},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1109\/CCGRID.2010.45"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1109\/ACSAT.2012.16"},{"key":"e_1_3_2_1_10_1","volume-title":"Proceedings of the 17th International European Conference on Parallel and Distributed Computing (EuroPar)","author":"Garg C. S.","year":"2011","unstructured":"S. K. Garg , C. S. Yeo and R. Buyya , (Eds.), \"Green Cloud Framework for Improving Carbon Efficiency of Clouds \", Proceedings of the 17th International European Conference on Parallel and Distributed Computing (EuroPar) , ( 2011 ) August-September. Bordeaux, France. S. K. Garg, C. S. Yeo and R. Buyya, (Eds.), \"Green Cloud Framework for Improving Carbon Efficiency of Clouds\", Proceedings of the 17th International European Conference on Parallel and Distributed Computing (EuroPar), (2011) August-September. Bordeaux, France."},{"key":"e_1_3_2_1_11_1","unstructured":"R. Bart\u00e1k. Constraint programming: In pursuit of the holy grail. In proc of WDS99 1999  R. Bart\u00e1k. Constraint programming: In pursuit of the holy grail. In proc of WDS99 1999"},{"key":"e_1_3_2_1_12_1","unstructured":"Pierre-E.\" How to Solve Allocation Problems with ConstraintProgramming\" 2005  Pierre-E.\" How to Solve Allocation Problems with ConstraintProgramming\" 2005"},{"key":"e_1_3_2_1_13_1","volume-title":"An overview of the OMNeT++ simulation environment Proceedings of the 1st international conference on Simulation tools and techniques for communications, networks and systems & workshops (pp. 60): ICST","author":"Varga A.","year":"2008","unstructured":"Varga , A. , & Hornig , R. ( 2008 ). An overview of the OMNeT++ simulation environment Proceedings of the 1st international conference on Simulation tools and techniques for communications, networks and systems & workshops (pp. 60): ICST ( Institute for Computer Sciences , Social- Informatics and Telecommunications Engineering). Varga, A., & Hornig, R. (2008). An overview of the OMNeT++ simulation environment Proceedings of the 1st international conference on Simulation tools and techniques for communications, networks and systems & workshops (pp. 60): ICST (Institute for Computer Sciences, Social-Informatics and Telecommunications Engineering)."},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10723-012-9208-5"},{"key":"e_1_3_2_1_15_1","first-page":"91","volume-title":"Int. J. Critical Computer-Based Systems, Vol., No. 1, 7(1)","author":"Abid K.","unstructured":"Abid , K. , Mouss , L. H. , Kazar , O. & Kahloul , L. , 2017. Formal approach based on petri nets using agent paradigm for m-maintenance . Int. J. Critical Computer-Based Systems, Vol., No. 1, 7(1) , pp. 91 -- 117 . Abid, K., Mouss, L. H., Kazar, O. & Kahloul, L., 2017. Formal approach based on petri nets using agent paradigm for m-maintenance. Int. J. Critical Computer-Based Systems, Vol., No. 1, 7(1), pp. 91--117."},{"key":"e_1_3_2_1_16_1","volume-title":"14th Workshop on Algorithms and Tools for Petri Nets. GI Special Interest Group on Petri Nets and Related.","author":"Biermann E.","year":"2007","unstructured":"Biermann , E. , Ermel , C. , Hermann , F. & Modica , T. , 2007 . A Visual Editor for Reconfigurable Object Nets based on the ECLIPSE Graphical Editor Framework. s.l ., 14th Workshop on Algorithms and Tools for Petri Nets. GI Special Interest Group on Petri Nets and Related. Biermann, E., Ermel, C., Hermann, F. & Modica, T., 2007. A Visual Editor for Reconfigurable Object Nets based on the ECLIPSE Graphical Editor Framework. s.l., 14th Workshop on Algorithms and Tools for Petri Nets. GI Special Interest Group on Petri Nets and Related."},{"key":"e_1_3_2_1_17_1","first-page":"60","volume-title":"Proc. of Int. Conf.on Simulation tools and techniques for communications, networks and systems & workshops","author":"Andr\u00e1s Varga","year":"2008","unstructured":"Andr\u00e1s Varga and Rudolf Hornig. An overview of theomnet++ simulation environment . In Proc. of Int. Conf.on Simulation tools and techniques for communications, networks and systems & workshops , page 60 , 2008 . Andr\u00e1s Varga and Rudolf Hornig. An overview of theomnet++ simulation environment. In Proc. of Int. Conf.on Simulation tools and techniques for communications, networks and systems & workshops, page 60, 2008."},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10723-012-9208-5"},{"key":"e_1_3_2_1_19_1","volume-title":"International Journal of Business Analytics (IJBAN), 5(4), 1--23.","author":"Soltane M.","year":"2018","unstructured":"Soltane , M. , Okba , K. , Makhlouf , D. , & Eom , S. B. ( 2018 ). Smart Configuration and Auto Allocation of Resource in Cloud Data Centers . International Journal of Business Analytics (IJBAN), 5(4), 1--23. Soltane, M., Okba, K., Makhlouf, D., & Eom, S. B. (2018). Smart Configuration and Auto Allocation of Resource in Cloud Data Centers. International Journal of Business Analytics (IJBAN), 5(4), 1--23."}],"event":{"name":"ICSENT 2018: 7th International Conference on Software Engineering and New Technologies","acronym":"ICSENT 2018","location":"Hammamet Tunisia"},"container-title":["Proceedings of the 7th International Conference on Software Engineering and New Technologies"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3330089.3330104","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3330089.3330104","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T00:26:23Z","timestamp":1750206383000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3330089.3330104"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018,12,26]]},"references-count":19,"alternative-id":["10.1145\/3330089.3330104","10.1145\/3330089"],"URL":"https:\/\/doi.org\/10.1145\/3330089.3330104","relation":{},"subject":[],"published":{"date-parts":[[2018,12,26]]},"assertion":[{"value":"2018-12-26","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}