{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T04:47:23Z","timestamp":1725511643975},"publisher-location":"Berlin, Heidelberg","reference-count":16,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540713500"},{"type":"electronic","value":"9783540713517"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/978-3-540-71351-7_49","type":"book-chapter","created":{"date-parts":[[2007,5,29]],"date-time":"2007-05-29T18:48:52Z","timestamp":1180464532000},"page":"622-633","source":"Crossref","is-referenced-by-count":1,"title":["Semantic-Based Service Trading: Application to Linear Algebra"],"prefix":"10.1007","author":[{"given":"Michel","family":"Dayd\u00e9","sequence":"first","affiliation":[]},{"given":"Aur\u00e9lie","family":"Hurault","sequence":"additional","affiliation":[]},{"given":"Marc","family":"Pantel","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"49_CR1","unstructured":"Arnold, D., et al.: Users\u2019 Guide to NetSolve V1.4. Computer Science Dept. Technical Report CS-01-467, University of Tennessee, Knoxville, TN (July 2001)"},{"key":"49_CR2","doi-asserted-by":"crossref","DOI":"10.1137\/1.9780898719604","volume-title":"LAPACK Users\u2019 guide","author":"E. Anderson","year":"1999","unstructured":"Anderson, E., et al.: LAPACK Users\u2019 guide, 3rd edn. Society for Industrial and Applied Mathematics, Philadelphia (1999)","edition":"3"},{"issue":"10","key":"49_CR3","doi-asserted-by":"publisher","first-page":"1421","DOI":"10.1016\/S0167-8191(97)00061-6","volume":"23","author":"P. Arbenz","year":"1997","unstructured":"Arbenz, P., Gander, W., Mori, J.: The Remote Computational System. Parallel Computing\u00a023(10), 1421\u20131428 (1997)","journal-title":"Parallel Computing"},{"key":"49_CR4","doi-asserted-by":"publisher","first-page":"445","DOI":"10.1016\/B978-044450813-3\/50010-2","volume-title":"Handbook of Automated Reasoning, vol. I","author":"F. Baader","year":"2001","unstructured":"Baader, F., Snyder, W.: Unification theory. In: Robinson, A., Voronkov, A. (eds.) Handbook of Automated Reasoning, vol. I, pp. 445\u2013532. Elsevier, Amsterdam (2001), \n                    \n                      citeseer.ist.psu.edu\/baader99unification.html"},{"key":"49_CR5","doi-asserted-by":"publisher","first-page":"182","DOI":"10.1145\/141471.141537","volume-title":"Proceedings of the ACM Conference on Lisp and Functional Programming, vol. 5","author":"G. Castagna","year":"1992","unstructured":"Castagna, G., Ghelli, G., Longo, G.: A calculus for overloaded functions with subtyping. In: Proceedings of the ACM Conference on Lisp and Functional Programming, vol. 5, pp. 182\u2013192. ACM, New York (1992), \n                    \n                      citeseer.ist.psu.edu\/castagna95calculus.html"},{"key":"49_CR6","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1145\/77626.79170","volume":"16","author":"J.J. Dongarra","year":"1990","unstructured":"Dongarra, J.J., et al.: Algorithm 679. A set of Level 3 Basic Linear Algebra S ubprograms. ACM Transactions on Mathematical Software\u00a016, 1\u201317 (1990)","journal-title":"ACM Transactions on Mathematical Software"},{"key":"49_CR7","doi-asserted-by":"publisher","first-page":"18","DOI":"10.1145\/77626.77627","volume":"16","author":"J.J. Dongarra","year":"1990","unstructured":"Dongarra, J.J., et al.: Algorithm 679. A set of level 3 basic linear algebra subprograms: model implementation and test programs. ACM Transactions on Mathematical Software\u00a016, 18\u201328 (1990)","journal-title":"ACM Transactions on Mathematical Software"},{"key":"49_CR8","unstructured":"DIET. \n                    \n                      http:\/\/graal.ens-lyon.fr\/DIET"},{"key":"49_CR9","doi-asserted-by":"crossref","first-page":"27","DOI":"10.1007\/BF00260922","volume":"10","author":"J.V. Guttag","year":"1978","unstructured":"Guttag, J.V., Horning, J.J.: The algebraic specification of abstract data types. Acta Inf.\u00a010, 27\u201352 (1978)","journal-title":"Acta Inf."},{"issue":"2-3","key":"49_CR10","doi-asserted-by":"publisher","first-page":"203","DOI":"10.1016\/0304-3975(89)90004-2","volume":"67","author":"J.H. Gallier","year":"1989","unstructured":"Gallier, J.H., Snyder, W.: Complete Sets of Transformations for General E-Unification. Theor. Comput. Sci.\u00a067(2-3), 203\u2013260 (1989)","journal-title":"Theor. Comput. Sci."},{"key":"49_CR11","doi-asserted-by":"crossref","unstructured":"Hurault, A., Pantel, M.: Mathematical service trading based on equational matching. In: Proceedings of the 12th Symposium on the Integration of Symbolic Computation and Mechanized Reasoning (Calculemus 2005), 21 March 2006. Electronic Notes in Theoretical Computer Science, vol.\u00a0151, pp. 161\u2013177 (2006)","DOI":"10.1016\/j.entcs.2005.11.029"},{"key":"49_CR12","unstructured":"NEOS - Server for Optimization. \n                    \n                      http:\/\/www-neos.mcs.anl.gov\/neos\/"},{"key":"49_CR13","unstructured":"Pantel, M.: Test of Large Systems of Equations on the Grid: Meta-Data for Matrices, Computers, and Solvers. In: PMAA\u201904 (2004)"},{"key":"49_CR14","unstructured":"Marc Pantel, Chiara Puglisi, and Patrick Amestoy. Grid, Components and Scientific computing. In: Submission to Euro-Par 2005 (2005)"},{"key":"49_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"341","DOI":"10.1007\/3-540-58156-1_24","volume-title":"Automated Deduction - CADE-12","author":"M.E. Stickel","year":"1994","unstructured":"Stickel, M.E., et al.: Deductive composition of astronomical software from subroutine libraries. In: Bundy, A. (ed.) CADE 1994. LNCS, vol.\u00a0814, pp. 341\u2013355. Springer, Heidelberg (1994)"},{"issue":"1","key":"49_CR16","doi-asserted-by":"publisher","first-page":"41","DOI":"10.1023\/A:1024083511032","volume":"1","author":"Y. Tanaka","year":"2003","unstructured":"Tanaka, Y., et al.: Ninf-G: A Reference Implementation of RPC-based Programming Middleware for Grid Computing. Journal of Grid Computing\u00a01(1), 41\u201351 (2003)","journal-title":"Journal of Grid Computing"}],"container-title":["Lecture Notes in Computer Science","High Performance Computing for Computational Science - VECPAR 2006"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-71351-7_49.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,27]],"date-time":"2021-04-27T09:47:16Z","timestamp":1619516836000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-71351-7_49"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["9783540713500","9783540713517"],"references-count":16,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-71351-7_49","relation":{},"subject":[]}}