{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2023,10,3]],"date-time":"2023-10-03T23:15:06Z","timestamp":1696374906352},"reference-count":17,"publisher":"Springer Science and Business Media LLC","issue":"1","license":[{"start":{"date-parts":[[2008,9,13]],"date-time":"2008-09-13T00:00:00Z","timestamp":1221264000000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["J Supercomput"],"published-print":{"date-parts":[[2009,7]]},"DOI":"10.1007\/s11227-008-0234-9","type":"journal-article","created":{"date-parts":[[2008,9,12]],"date-time":"2008-09-12T06:35:15Z","timestamp":1221201315000},"page":"64-83","source":"Crossref","is-referenced-by-count":7,"title":["Advanced service trading for scientific computing over\u00a0the grid"],"prefix":"10.1007","volume":"49","author":[{"given":"Aur\u00e9lie","family":"Hurault","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Michel","family":"Dayd\u00e9","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Marc","family":"Pantel","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2008,9,13]]},"reference":[{"key":"234_CR1","doi-asserted-by":"crossref","DOI":"10.1137\/1.9780898719604","volume-title":"LAPACK Users\u2019 guide","author":"E Anderson","year":"1999","unstructured":"Anderson E, Bai Z, Bischof C, Blackford S, Demmel J, Dongarra J, Du Croz J, Hammarling S, Greenbaum A, McKenney A, Sorensen D (1999) LAPACK Users\u2019 guide, 3rd edn. Society for Industrial and Applied Mathematics, Philadelphia","edition":"3"},{"key":"234_CR2","unstructured":"Astsatryan H, Dayd\u00e9 M, Hurault A, Pantel M, Caron E (2007) On defining a web interface for linear algebra tasks over computational grids. In: International conference on computer science and information technologies (CSIT\u201907), Yerevan, Arm\u00e9nie, 24\/09\/2007\u201328\/09\/2007"},{"key":"234_CR3","unstructured":"Astsatryan H, Sahakyan V, Shoukouryan Y, Dayd\u00e9 M, Hurault A, Pantel M, Caron E (2008) Using ontology for resources matchmaking in grid middleware. In: VECPAR conference, 2008"},{"key":"234_CR4","volume-title":"Handbook on ontologies in information systems","author":"G Antoniou","year":"2003","unstructured":"Antoniou G, van Harmelen F (2003) Web ontology language: Owl. In: Staab S, Studer R (eds) Handbook on ontologies in information systems. Springer, Berlin"},{"key":"234_CR5","doi-asserted-by":"crossref","unstructured":"Castagna G, Ghelli G, Longo G (1992) A calculus for overloaded functions with subtyping. In Proceedings of the ACM conference on Lisp and functional programming, vol 5, 1992, pp 182\u2013192","DOI":"10.1145\/141471.141537"},{"key":"234_CR6","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1145\/77626.79170","volume":"16","author":"J Dongarra","year":"1990","unstructured":"Dongarra J, Du Croz J, Duff I, Hammarling S (1990) Algorithm 679. A set of level 3 basic linear algebra subprograms. ACM Trans Math Soft 16:1\u201317","journal-title":"ACM Trans Math Soft"},{"key":"234_CR7","doi-asserted-by":"crossref","first-page":"18","DOI":"10.1145\/77626.77627","volume":"16","author":"J Dongarra","year":"1990","unstructured":"Dongarra J, Du Croz J, Duff I, Hammarling S (1990) Algorithm 679. A set of level 3 basic linear algebra subprograms: model implementation and test programs. ACM Trans Math Soft 16:18\u201328","journal-title":"ACM Trans Math Soft"},{"issue":"3","key":"234_CR8","doi-asserted-by":"crossref","first-page":"85","DOI":"10.1163\/1574040054861267","volume":"1","author":"M Dayd\u00e9","year":"2005","unstructured":"Dayd\u00e9 M, Desprez F, Hurault A, Pantel M (2005) On deploying scientific software within the GRID-TLSE project. Comput Lett 1(3):85\u201392","journal-title":"Comput Lett"},{"key":"234_CR9","volume-title":"Service-oriented architecture: concepts, technology, and design","author":"T Erl","year":"2005","unstructured":"Erl T (2005) Service-oriented architecture: concepts, technology, and design. Prentice Hall PTR, Upper Saddle River"},{"issue":"2","key":"234_CR10","doi-asserted-by":"crossref","first-page":"217","DOI":"10.1016\/0304-3975(92)90302-V","volume":"105","author":"J Goguen","year":"1992","unstructured":"Goguen J, Meseguer J (1992) Order-sorted algebra i: equational deduction for multiple inheritance, overloading, exceptions and partial operations. Theor Comput Sci 105(2):217\u2013273","journal-title":"Theor Comput Sci"},{"issue":"2\u20133","key":"234_CR11","doi-asserted-by":"crossref","first-page":"203","DOI":"10.1016\/0304-3975(89)90004-2","volume":"67","author":"J Gallier","year":"1989","unstructured":"Gallier J, Snyder W (1989) Complete sets of transformations for general e-unification. Theor Comput Sci 67(2\u20133):203\u2013260","journal-title":"Theor Comput Sci"},{"key":"234_CR12","unstructured":"Hurault A, Aida K (2007) Using ontology for resources matchmaking in grid middleware. Rapport de recherche IRIT\/RT\u20132007-8\u2013FR, IRIT, Toulouse"},{"key":"234_CR13","unstructured":"Hurault A (2006) Courtage s\u00e9mantique de services de calcul. PhD thesis, INPT, Toulouse"},{"key":"234_CR14","unstructured":"McGuinness D, van Harmelen F (2004) OWL web ontology language overview. W3C Recommendation"},{"key":"234_CR15","unstructured":"Pantel M (2004) Test of large systems of equations on the grid: meta-data for matrices, computers, and solvers. In PMAA\u201904, 2004"},{"key":"234_CR16","series-title":"Mathematical structures in computer science","volume-title":"Isomorphism of types","year":"2005","unstructured":"Soloviev S, Di Cosmo R (eds) (2005) Isomorphism of types. Mathematical structures in computer science, vol 15. Cambridge University Press, Cambridge, http:\/\/www.cambridge.org"},{"key":"234_CR17","doi-asserted-by":"crossref","unstructured":"Stickel M, Waldinger R, Lowry M, Pressburger T, Underwood I (1994) Deductive composition of astronomical software from subroutine libraries. In: Conference on automated deduction, 1994, pp 341\u2013355","DOI":"10.1007\/3-540-58156-1_24"}],"container-title":["The Journal of Supercomputing"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11227-008-0234-9.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s11227-008-0234-9\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11227-008-0234-9","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,6,1]],"date-time":"2019-06-01T10:23:57Z","timestamp":1559384637000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s11227-008-0234-9"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2008,9,13]]},"references-count":17,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2009,7]]}},"alternative-id":["234"],"URL":"https:\/\/doi.org\/10.1007\/s11227-008-0234-9","relation":{},"ISSN":["0920-8542","1573-0484"],"issn-type":[{"value":"0920-8542","type":"print"},{"value":"1573-0484","type":"electronic"}],"subject":[],"published":{"date-parts":[[2008,9,13]]}}}