{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,10]],"date-time":"2025-06-10T23:25:49Z","timestamp":1749597949036,"version":"3.28.0"},"reference-count":18,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2005]]},"DOI":"10.1109\/ccgrid.2005.1558550","type":"proceedings-article","created":{"date-parts":[[2005,12,22]],"date-time":"2005-12-22T12:52:37Z","timestamp":1135255957000},"page":"168-175 Vol. 1","source":"Crossref","is-referenced-by-count":1,"title":["Deductive synthesis of workflows for e-Science"],"prefix":"10.1109","author":[{"family":"Bin Yang","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"A.","family":"Bundy","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"A.","family":"Smaill","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"L.","family":"Dixon","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"17","article-title":"Condor - A distributed job scheduler","author":"tannenbaum","year":"2001","journal-title":"Beowulf Cluster Computing With Linux"},{"doi-asserted-by":"publisher","key":"18","DOI":"10.1109\/IPDPS.2003.1213094"},{"doi-asserted-by":"publisher","key":"15","DOI":"10.1145\/1048935.1050184"},{"doi-asserted-by":"publisher","key":"16","DOI":"10.1093\/bioinformatics\/btg1041"},{"doi-asserted-by":"publisher","key":"13","DOI":"10.1007\/BFb0055146"},{"key":"14","first-page":"828","article-title":"Isabelle: A generic theorem prover","author":"paulson","year":"1994","journal-title":"Lecture Notes in Computer Science"},{"key":"11","article-title":"Automated composition of semantic grid services","author":"majithia","year":"2004","journal-title":"UK e-Science All Hands Meeting"},{"doi-asserted-by":"publisher","key":"12","DOI":"10.1145\/357084.357090"},{"doi-asserted-by":"publisher","key":"3","DOI":"10.1109\/HPDC.2001.945188"},{"year":"2002","author":"chervenak","journal-title":"Giggle A Framework for Constructing Scalable Replica Location Services","key":"2"},{"doi-asserted-by":"publisher","key":"1","DOI":"10.1109\/MIS.2004.24"},{"key":"10","doi-asserted-by":"crossref","first-page":"87","DOI":"10.1007\/3-540-44957-4_6","article-title":"Logic program synthesis in a higher-order setting","volume":"1861","author":"lacey","year":"2000","journal-title":"Lecture Notes in Computer Science"},{"key":"7","article-title":"DataGrid prototype 1","author":"ghiselli","year":"2002","journal-title":"TERENA Networking Conference 3-6 June"},{"key":"6","doi-asserted-by":"crossref","first-page":"825","DOI":"10.1007\/3-540-44681-8_116","article-title":"UNICORE: A Grid computing environment","volume":"2150","author":"erwin","year":"2001","journal-title":"Lecture Notes in Computer Science"},{"doi-asserted-by":"publisher","key":"5","DOI":"10.1109\/SSDM.2004.1311235"},{"key":"4","article-title":"From metadata to execution on the grid pegasus and the pulsar search","volume":"2003","author":"deelman","year":"2003","journal-title":"GriPhyN Technical Report"},{"key":"9","first-page":"441","article-title":"Middle-out reasoning for logic program synthesis","author":"kraan","year":"1993","journal-title":"Proc 10th Intern Conference on Logic Programing (ICLP '93)"},{"doi-asserted-by":"publisher","key":"8","DOI":"10.1016\/0304-3975(75)90011-0"}],"event":{"name":"CCGrid 2005. IEEE International Symposium on Cluster Computing and the Grid, 2005.","start":{"date-parts":[[2005,5,9]]},"location":"Cardiff, Wales, UK","end":{"date-parts":[[2005,5,12]]}},"container-title":["CCGrid 2005. IEEE International Symposium on Cluster Computing and the Grid, 2005."],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/10428\/33121\/01558550.pdf?arnumber=1558550","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,16]],"date-time":"2017-06-16T21:55:26Z","timestamp":1497650126000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/1558550\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2005]]},"references-count":18,"URL":"https:\/\/doi.org\/10.1109\/ccgrid.2005.1558550","relation":{},"subject":[],"published":{"date-parts":[[2005]]}}}