{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,28]],"date-time":"2025-03-28T04:05:29Z","timestamp":1743134729363,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":27,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642307669"},{"type":"electronic","value":"9783642307676"}],"license":[{"start":{"date-parts":[[2012,1,1]],"date-time":"2012-01-01T00:00:00Z","timestamp":1325376000000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2012]]},"DOI":"10.1007\/978-3-642-30767-6_7","type":"book-chapter","created":{"date-parts":[[2012,5,7]],"date-time":"2012-05-07T10:41:50Z","timestamp":1336387310000},"page":"74-88","source":"Crossref","is-referenced-by-count":3,"title":["Design, Verification and Prototyping the Next Generation of Desktop Grid Middleware"],"prefix":"10.1007","author":[{"given":"Leila","family":"Abidi","sequence":"first","affiliation":[]},{"given":"Christophe","family":"C\u00e9rin","sequence":"additional","affiliation":[]},{"given":"Kais","family":"Klai","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"7_CR1","doi-asserted-by":"publisher","first-page":"417","DOI":"10.1007\/s10723-009-9141-4","volume":"7","author":"D. Kondo","year":"2009","unstructured":"Kondo, D.: Preface to the special issue on volunteer computing and desktop grids. J. Grid Comput.\u00a07, 417\u2013418 (2009)","journal-title":"J. Grid Comput."},{"key":"7_CR2","unstructured":"University of California: SETI@Home (October 2011), http:\/\/setiathome.berkeley.edu\/"},{"key":"7_CR3","unstructured":"University of California: BOINC (October 2011), http:\/\/boinc.berkeley.edu\/"},{"key":"7_CR4","unstructured":"Univa: United Devices (October 2011), http:\/\/www.unicluster.org\/"},{"key":"7_CR5","unstructured":"DistributedNet: Distributed.Net (October 2011), http:\/\/www.distributed.net\/"},{"key":"7_CR6","unstructured":"Univa: XtremWeb (October 2011), http:\/\/www.xtremweb.net\/"},{"key":"7_CR7","doi-asserted-by":"crossref","unstructured":"Abbes, H., C\u00e9rin, C., Jemni, M.: Bonjourgrid as a decentralised job scheduler. In: APSCC, pp. 89\u201394. IEEE (2008)","DOI":"10.1109\/APSCC.2008.199"},{"key":"7_CR8","doi-asserted-by":"crossref","unstructured":"Abbes, H., C\u00e9rin, C., Jemni, M.: Bonjourgrid: Orchestration of multi-instances of grid middlewares on institutional desktop grids. In: IPDPS, pp. 1\u20138. IEEE (2009)","DOI":"10.1109\/IPDPS.2009.5161140"},{"key":"7_CR9","doi-asserted-by":"crossref","first-page":"261","DOI":"10.1002\/cpe.1477","volume":"22","author":"H. Abbes","year":"2010","unstructured":"Abbes, H., C\u00e9rin, C., Jemni, M.: A decentralized and fault-tolerant desktop grid system for distributed applications. Concurrency and Computation: Practice and Experience\u00a022, 261\u2013277 (2010)","journal-title":"Concurrency and Computation: Practice and Experience"},{"key":"7_CR10","doi-asserted-by":"crossref","unstructured":"Smets-Solanes, J.P., C\u00e9rin, C., Courteaud, R.: Slapos: A multi-purpose distributed cloud operating system based on an erp billing model. [27] , 765\u2013766","DOI":"10.1109\/SCC.2011.97"},{"key":"7_CR11","doi-asserted-by":"publisher","first-page":"114","DOI":"10.1145\/857076.857078","volume":"35","author":"P.T.. Eugster","year":"2003","unstructured":"Eugster, P.T., Felber, P., Guerraoui, R., Kermarrec, A.-M.: The many faces of publish\/subscribe. ACM Comput. Surv.\u00a035, 114\u2013131 (2003)","journal-title":"ACM Comput. Surv."},{"key":"7_CR12","unstructured":"Cheshire, S., Steinberg, D.H.: Zero configuration networking - the definitive guide: things that just work: covers Apple\u2019s Bonjour APIs. O\u2019Reilly (2005)"},{"key":"7_CR13","unstructured":"Zanolin, L., Ghezzi, C., Baresi, L.: An approach to model and validate publish\/subscribe architectures (2003)"},{"key":"7_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"243","DOI":"10.1007\/978-3-540-92698-6_15","volume-title":"Engineering Interactive Systems, EIS 2007","author":"M.D. Harrison","year":"2008","unstructured":"Harrison, M.D., Kray, C., Sun, Z., Zhang, H.: Factoring user Experience into the Design of Ambient and Mobile Systems. In: Gulliksen, J., Harning, M.B., van der Veer, G.C., Wesson, J. (eds.) EIS 2007. LNCS, vol.\u00a04940, pp. 243\u2013259. Springer, Heidelberg (2008)"},{"key":"7_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"166","DOI":"10.1007\/3-540-44829-2_11","volume-title":"Model Checking Software","author":"D. Garlan","year":"2003","unstructured":"Garlan, D., Khersonsky, S., Kim, I.: Model Checking Publish-Subscribe Systems. In: Ball, T., Rajamani, S.K. (eds.) SPIN 2003. LNCS, vol.\u00a02648, pp. 166\u2013180. Springer, Heidelberg (2003)"},{"key":"7_CR16","doi-asserted-by":"crossref","unstructured":"Abidi, L., C\u00e9rin, C., Evangelista, S.: A petri-net model for the publish-subscribe paradigm and its application for the verification of the bonjourgrid middleware. [27], 496\u2013503","DOI":"10.1109\/SCC.2011.42"},{"key":"7_CR17","doi-asserted-by":"crossref","unstructured":"Kacem, N.H., Kacem, A.H., Jmaiel, M., Drira, K.: Towards modelling and analysis of a coordination protocol for dynamic software adaptation. In: Chbeir, R., Badr, Y., Abraham, A., Laurent, D., K\u00f6ppen, M., Ferri, F., Zadeh, L.A., Ohsawa, Y. (eds.) CSTST, pp. 499\u2013507. ACM (2008)","DOI":"10.1145\/1456223.1456325"},{"key":"7_CR18","unstructured":"Kacem, N.H., Kacem, A.H., Drira, K.: A formal model of a multi-step coordination protocol for self-adaptive software using coloured petri nets. International Journal of Computing and Information Sciences (2009)"},{"key":"7_CR19","unstructured":"Silva, L.D.D., Perkusich, A.: Formal verification of component-based software systems. In: Isa\u00edas, P.T., Sedes, F., Augusto, J.C., Ultes-Nitsche, U. (eds.) NDDL\/VVEIS, pp. 113\u2013124. ICEIS Press (2003)"},{"key":"7_CR20","doi-asserted-by":"crossref","unstructured":"Wells, L.: Performance analysis using cpn tools. In: Lenzini, L., Cruz, R.L. (eds.) VALUETOOLS. ACM International Conference Proceeding Series, vol.\u00a0180, p. 59. ACM (2006)","DOI":"10.1145\/1190095.1190171"},{"key":"7_CR21","doi-asserted-by":"crossref","unstructured":"Jensen, K., Kristensen, L.M.: Coloured Petri Nets: Modelling and Validation of Concurrent Systems, 1st edn., July 1. Springer, Heidelberg (2009)","DOI":"10.1007\/b95112_1"},{"key":"7_CR22","first-page":"11","volume-title":"Proceedings of the 3rd Basque International Workshop on Information Technology (BIWIT 1997)","author":"R. McClatchey","year":"1997","unstructured":"McClatchey, R., Estrella, F., Le Goff, J.M., Kovacs, Z., Baker, N.: Object databases in a distributed scientific workflow application. In: Proceedings of the 3rd Basque International Workshop on Information Technology (BIWIT 1997), p. 11. IEEE Computer Society, Washington, DC (1997)"},{"key":"7_CR23","volume-title":"Proceedings of the 2007 ACM\/IEEE Conference on Supercomputing, SC 2007","author":"J. Qin","year":"2007","unstructured":"Qin, J., Fahringer, T.: Advanced data flow support for scientific grid workflow applications. In: Proceedings of the 2007 ACM\/IEEE Conference on Supercomputing, SC 2007, pp. 42:1\u201342:12. ACM, New York (2007)"},{"key":"7_CR24","unstructured":"Sch\u00fcller, F., Qin, J., Nadeem, F., Prodan, R., Fahringer, T., Mayr, G.: Performance, scalability and quality of the meteorological grid workflow meteoag. In: Proceedings of the 2nd Austrian Grid Symp., Univ. Innsbruck (2006)"},{"key":"7_CR25","unstructured":"Silva, L., Granato, G.L., Bressan, A., Lacey, C.G., Baugh, C.M., Cole, S., Frenk, C.S.: Modeling dust on galactic sed: Application to semi-analytical galaxy formation models (1999)"},{"key":"7_CR26","doi-asserted-by":"crossref","unstructured":"Zhao, Y., Wilde, M., Foster, I., Voeckler, J., Jordan, T., Quigg, E., Dobson, J.: Grid middleware services for virtual data discovery, composition, and integration. In: 2nd Workshop on Middleware for Grid Computing, p. 57. ACM Press (2004)","DOI":"10.1145\/1028493.1028503"},{"key":"7_CR27","unstructured":"Jacobsen, H.A., Wang, Y., Hung, P. (eds.): IEEE International Conference on Services Computing, SCC 2011, Washington, DC, USA, July 4-9. IEEE (2011)"}],"container-title":["Lecture Notes in Computer Science","Advances in Grid and Pervasive Computing"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-30767-6_7","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,3,27]],"date-time":"2025-03-27T11:18:11Z","timestamp":1743074291000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-30767-6_7"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012]]},"ISBN":["9783642307669","9783642307676"],"references-count":27,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-30767-6_7","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2012]]}}}