{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T04:22:09Z","timestamp":1750306929051,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":15,"publisher":"ACM","license":[{"start":{"date-parts":[[2013,3,18]],"date-time":"2013-03-18T00:00:00Z","timestamp":1363564800000},"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":[[2013,3,18]]},"DOI":"10.1145\/2480362.2480510","type":"proceedings-article","created":{"date-parts":[[2013,5,1]],"date-time":"2013-05-01T19:47:45Z","timestamp":1367437665000},"page":"771-778","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":3,"title":["A publication-subscription interaction schema for desktop grid computing"],"prefix":"10.1145","author":[{"given":"Leila","family":"Abidi","sequence":"first","affiliation":[{"name":"Universit\u00e9 de Paris 13, Villetaneuse, France"}]},{"given":"Jean-Christophe","family":"Dubacq","sequence":"additional","affiliation":[{"name":"Universit\u00e9 de Paris 13, Villetaneuse, France"}]},{"given":"Christophe","family":"C\u00e9rin","sequence":"additional","affiliation":[{"name":"Universit\u00e9 de Paris 13, Villetaneuse, France"}]},{"given":"Mohamed","family":"Jemni","sequence":"additional","affiliation":[{"name":"Universit\u00e9 de Tunis, LaTICE, Hussein, Manara,Tunis, Tunisie"}]}],"member":"320","published-online":{"date-parts":[[2013,3,18]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1109\/IPDPS.2009.5161140"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"crossref","unstructured":"H.\n      Abbes\n     and \n      J.-C.\n      Dubacq\n    .\n  Analysis of peer-to-peer protocols performance for establishing a decentralized desktop grid middleware\n  . In E. C\u00e9sar M. Alexander A. Streit J. L. Tr\u00e4ff C. C\u00e9rin A. Kn\u00fcpfer D. Kranzlm\u00fcller and S. Jha editors Euro-Par Workshops volume \n  5415\n   of \n  Lecture Notes in Computer Science pages \n  235\n  --\n  246\n  . \n  Springer 2008\n  .  H. Abbes and J.-C. Dubacq. Analysis of peer-to-peer protocols performance for establishing a decentralized desktop grid middleware. In E. C\u00e9sar M. Alexander A. Streit J. L. Tr\u00e4ff C. C\u00e9rin A. Kn\u00fcpfer D. Kranzlm\u00fcller and S. Jha editors Euro-Par Workshops volume 5415 of Lecture Notes in Computer Science pages 235--246. Springer 2008.","DOI":"10.1007\/978-3-642-00955-6_28"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1109\/SCC.2011.42"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"crossref","DOI":"10.1201\/b12206","volume-title":"Desktop Grid Computing","author":"Cerin C.","year":"2012","unstructured":"C. Cerin and G. Fedak . Desktop Grid Computing . Chapman and Hall-CRC , 1 edition, 2012 . C. Cerin and G. Fedak. Desktop Grid Computing. Chapman and Hall-CRC, 1 edition, 2012."},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1145\/857076.857078"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.5555\/1767111.1767122"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-92698-6_15"},{"key":"e_1_3_2_1_8_1","volume-title":"IEEE International Conference on Services Computing, SCC 2011","author":"Jacobsen H.-A.","year":"2011","unstructured":"H.-A. Jacobsen , Y. Wang , and P. Hung , editors . IEEE International Conference on Services Computing, SCC 2011 , Washington, DC, USA, 4- -9 July , 2011 . IEEE, 2011. H.-A. Jacobsen, Y. Wang, and P. Hung, editors. IEEE International Conference on Services Computing, SCC 2011, Washington, DC, USA, 4--9 July, 2011. IEEE, 2011."},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"crossref","DOI":"10.1007\/b95112","volume-title":"Coloured Petri Nets: Modelling and Validation of Concurrent Systems","author":"Jensen K.","year":"2009","unstructured":"K. Jensen and L. M. Kristensen . Coloured Petri Nets: Modelling and Validation of Concurrent Systems . Springer , 1 edition, July 1, 2009 . K. Jensen and L. M. Kristensen. Coloured Petri Nets: Modelling and Validation of Concurrent Systems. Springer, 1 edition, July 1, 2009."},{"key":"e_1_3_2_1_10_1","volume-title":"International Journal of Computing and Information Sciences","author":"Kacem N. H.","year":"2009","unstructured":"N. H. Kacem , A. H. Kacem , and K. Drira . A formal model of a multi-step coordination protocol for self-adaptive software using coloured petri nets . In International Journal of Computing and Information Sciences , 2009 . N. H. Kacem, A. H. Kacem, and K. Drira. A formal model of a multi-step coordination protocol for self-adaptive software using coloured petri nets. In International Journal of Computing and Information Sciences, 2009."},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10723-009-9141-4"},{"key":"e_1_3_2_1_12_1","first-page":"113","volume-title":"Formal verification of component-based software systems","author":"Silva L. D. D.","year":"2003","unstructured":"L. D. D. Silva and A. Perkusich . Formal verification of component-based software systems . In P. T. Isa\u00edas, F. Sedes, J. C. Augusto, and U. Ultes-Nitsche, editors, NDDL\/VVEIS, pages 113 -- 124 . ICEIS Press , 2003 . L. D. D. Silva and A. Perkusich. Formal verification of component-based software systems. In P. T. Isa\u00edas, F. Sedes, J. C. Augusto, and U. Ultes-Nitsche, editors, NDDL\/VVEIS, pages 113--124. ICEIS Press, 2003."},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1109\/SCC.2011.97"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1145\/1190095.1190171"},{"key":"e_1_3_2_1_15_1","volume-title":"An approach to model and validate publish\/subscribe architectures","author":"Zanolin L.","year":"2003","unstructured":"L. Zanolin , C. Ghezzi , and L. Baresi . An approach to model and validate publish\/subscribe architectures , 2003 . L. Zanolin, C. Ghezzi, and L. Baresi. An approach to model and validate publish\/subscribe architectures, 2003."}],"event":{"name":"SAC '13: SAC '13","sponsor":["SIGAPP ACM Special Interest Group on Applied Computing"],"location":"Coimbra Portugal","acronym":"SAC '13"},"container-title":["Proceedings of the 28th Annual ACM Symposium on Applied Computing"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2480362.2480510","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2480362.2480510","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T08:35:33Z","timestamp":1750235733000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2480362.2480510"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013,3,18]]},"references-count":15,"alternative-id":["10.1145\/2480362.2480510","10.1145\/2480362"],"URL":"https:\/\/doi.org\/10.1145\/2480362.2480510","relation":{},"subject":[],"published":{"date-parts":[[2013,3,18]]},"assertion":[{"value":"2013-03-18","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}