{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,4,10]],"date-time":"2025-04-10T06:07:19Z","timestamp":1744265239463},"publisher-location":"Berlin, Heidelberg","reference-count":19,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540675532"},{"type":"electronic","value":"9783540454922"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2000]]},"DOI":"10.1007\/3-540-45492-6_80","type":"book-chapter","created":{"date-parts":[[2007,8,15]],"date-time":"2007-08-15T23:19:58Z","timestamp":1187219998000},"page":"644-656","source":"Crossref","is-referenced-by-count":6,"title":["A Service-Based Agent Framework for Distributed Symbolic Computation"],"prefix":"10.1007","author":[{"given":"Ralf-Dieter","family":"Schimkat","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Wolfgang","family":"Blochinger","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Carsten","family":"Sinz","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Michael","family":"Friedrich","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Wolfgang","family":"K\u00fcchlin","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2001,6,12]]},"reference":[{"key":"80_CR1","series-title":"Lect Notes Comput Sci","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-49059-0_14","volume-title":"Tools and Algorithms for the Analysis and Construction of Systems (TACAS\u201999)","author":"A. Biere","year":"1999","unstructured":"A. Biere, A. Cimatti, E. Clarke, and Y. Zhu. Symbolic Model Checking without BDDs. In Tools and Algorithms for the Analysis and Construction of Systems (TACAS\u201999), number 1579 in LNCS. Springer-Verlag, 1999."},{"issue":"11\u201313","key":"80_CR2","doi-asserted-by":"publisher","first-page":"1043","DOI":"10.1002\/(SICI)1096-9128(199809\/11)10:11\/13<1043::AID-CPE413>3.0.CO;2-6","volume":"10","author":"D. Caromel","year":"1998","unstructured":"D. Caromel, W. Klauser, and J. Vayssiere. Towards Seamless Computing and Metacomputing in Java. Concurrency: Practice and Experience, 10(11\u201313):1043\u20131061, 1998.","journal-title":"Concurrency: Practice and Experience"},{"key":"80_CR3","doi-asserted-by":"publisher","first-page":"201","DOI":"10.1145\/321033.321034","volume":"7","author":"M. Davis","year":"1960","unstructured":"M. Davis and H. Putnam. A Computing Procedure for Quantification Theory. In Journal of the ACM, volume 7, pages 201\u2013215, 1960.","journal-title":"Journal of the ACM"},{"key":"80_CR4","doi-asserted-by":"crossref","unstructured":"M. Fayad and D. Schmidt. Object-Oriented Application Frameworks. Communications of the ACM, 40(10), October 1997.","DOI":"10.1145\/262793.262798"},{"key":"80_CR5","unstructured":"T. Finn, Y. Labrou, and J. Mayfield. KQML as an Agent Communication Language. In J.M. Bradshaw, editor, Software Agents, pages 291\u2013316. MIT Press, 1997."},{"key":"80_CR6","unstructured":"E.J. Friedman-Hill. Jess, The Java Expert System Shell. Available at the URL: http:\/\/herzberg.ca.sandia.gov\/jess\/ , 1999."},{"key":"80_CR7","unstructured":"M.R. Genesereth. An Agent-Based Framework for Interoperability. In J.M. Bradshaw, editor, Software Agents, pages 317\u2013345. MIT Press, 1997."},{"key":"80_CR8","doi-asserted-by":"crossref","unstructured":"M. Ghanea-Hercock, J.C. Collis, and D.T. Ndumu. Heterogenous Mobile Agents for Distributed Processing. In Proceedings of the Third International Conference on Autonomous Agents (Agents\u2019 99), May 1999. (Workshop on Agent-based Highperformance Computing, Seattle, USA).","DOI":"10.1145\/301136.301260"},{"key":"80_CR9","volume-title":"The Java Programming Language","author":"J. Gosling","year":"1996","unstructured":"J. Gosling and K. Arnold. The Java Programming Language. Addison-Wesley, Reading, Massachusetts, 1996."},{"issue":"2","key":"80_CR10","first-page":"22","volume":"1","author":"R. Johnson","year":"1988","unstructured":"R. Johnson and B. Foote. Designing Reusable Classes. Object-Oriented Programming, 1(2):22\u201335, 1988.","journal-title":"Object-Oriented Programming"},{"key":"80_CR11","unstructured":"R. Johnson and V. Russo. Reusing Object-Oriented Design. Technical Report 91-1996, University of Illinois, 1991."},{"key":"80_CR12","unstructured":"H. Kautz and B. Selman. Pushing the Envelope: Planning, Propositional Logic, and Stochastic Search. In Proceedings of the Thirteenth National Conference on Artificial Intelligence (AAAI-96), 1996."},{"key":"80_CR13","unstructured":"E.A. Kendall and M.T. Malkoun. The Layered Agent Patterns. Available at the URL: http:\/\/www.cse.rmit.edu.au\/~rdsek\/ , 1997."},{"key":"80_CR14","doi-asserted-by":"crossref","unstructured":"G. Kiczales, J. Lamping, A. Mendhekar, C. Maeda, J.-M. Loingtier C. Lopes, and J. Irwin. Aspect-Oriented Programming. Technical Report SPL97-008 P9710042, XEROX Palo Alto Res. Center, February 1997.","DOI":"10.1007\/BFb0053381"},{"key":"80_CR15","doi-asserted-by":"crossref","unstructured":"W. K\u00fcchlin and C. Sinz. Proving Consistency Assertions for Automotive Product Data Management. In I. P. Gent and T. Walsh, editors, Journal of Automated Reasoning, volume 24, pages 145\u2013163. Kluwer Academic Publishers, Feb. 2000.","DOI":"10.1023\/A:1006370506164"},{"key":"80_CR16","doi-asserted-by":"crossref","unstructured":"F. Massacci and L. Marraro. Logical Cryptoanalysis as a SAT Problem. In I. P. Gent and T. Walsh, editors, Journal of Automated Reasoning, volume 24, pages 165\u2013203. Kluwer Academic Publishers, Feb. 2000.","DOI":"10.1023\/A:1006326723002"},{"issue":"11","key":"80_CR17","doi-asserted-by":"publisher","first-page":"1225","DOI":"10.1002\/(SICI)1096-9128(199711)9:11<1225::AID-CPE332>3.0.CO;2-F","volume":"9","author":"M. Philippsen","year":"1997","unstructured":"M. Philippsen and M. Zenger. JavaParty \u2014 Transparent Remote Objects in Java. Concurrency: Practice and Experience, 9(11):1225\u20131242, 1997.","journal-title":"Concurrency: Practice and Experience"},{"key":"80_CR18","doi-asserted-by":"crossref","unstructured":"R. Schimkat, S. M\u00fcller, W. K\u00fcchlin, and R. Krautter. A Lightweight, Message-Oriented Application Server for the WWW. In ACM 2000 Symposium on Applied Computing, Como, Italy, March 2000. Association for Computing Machinery.","DOI":"10.1145\/338407.338694"},{"key":"80_CR19","doi-asserted-by":"publisher","first-page":"543","DOI":"10.1006\/jsco.1996.0030","volume":"21","author":"H. Zhang","year":"1996","unstructured":"H. Zhang, M. P. Bonacina, and J. Hsiang. PSATO: A Distributed Propositional Prover and its Application to Quasigroup Problems. In Journal of Symbolic Computation, volume 21, pages 543\u2013560. Academic Press, 1996.","journal-title":"Journal of Symbolic Computation"}],"container-title":["Lecture Notes in Computer Science","High Performance Computing and Networking"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-45492-6_80","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,2]],"date-time":"2019-05-02T03:51:10Z","timestamp":1556769070000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-45492-6_80"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2000]]},"ISBN":["9783540675532","9783540454922"],"references-count":19,"URL":"https:\/\/doi.org\/10.1007\/3-540-45492-6_80","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2000]]}}}