{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T19:09:40Z","timestamp":1725563380442},"publisher-location":"Berlin, Heidelberg","reference-count":20,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642152450"},{"type":"electronic","value":"9783642152467"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2010]]},"DOI":"10.1007\/978-3-642-15246-7_15","type":"book-chapter","created":{"date-parts":[[2010,8,24]],"date-time":"2010-08-24T02:28:27Z","timestamp":1282616907000},"page":"134-145","source":"Crossref","is-referenced-by-count":1,"title":["Generating an Efficient Sensor Network Program by Partial Deduction"],"prefix":"10.1007","author":[{"given":"Li","family":"Li","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"kerry","family":"Taylor","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"15_CR1","doi-asserted-by":"crossref","first-page":"41","DOI":"10.1109\/MC.2004.93","volume":"37","author":"D.E. Culler","year":"2004","unstructured":"Culler, D.E., Estrin, D., Srivastava, M.B.: Guest editors\u2019 introduction: Overview of sensor networks. IEEE Computer\u00a037, 41\u201349 (2004)","journal-title":"IEEE Computer"},{"key":"15_CR2","doi-asserted-by":"crossref","unstructured":"Chu, D.C., Popa, L., Tavakoli, A., Hellerstein, J.M., Levis, P., Shenker, S., Stoica, I.: The design and implementation of a declarative sensor network system. In: The 5th ACM Conference on Embedded Networked Sensor Systems (SenSys 2007), Sydney, Australia, pp. 175\u2013188 (November 2007)","DOI":"10.1145\/1322263.1322281"},{"key":"15_CR3","doi-asserted-by":"crossref","unstructured":"Madden, S., Franklin, M.J., Hellerstein, J.M., Hong, W.: The design of an acquisitional query processor for sensor networks. In: SIGMOD Conference, pp. 491\u2013502 (2003)","DOI":"10.1145\/872757.872817"},{"key":"15_CR4","doi-asserted-by":"publisher","first-page":"9","DOI":"10.1145\/601858.601861","volume":"31","author":"Y. Yao","year":"2002","unstructured":"Yao, Y., Gehrke, J.: The Cougar approach to in-network query processing in sensor networks. ACM SIGMOD Record\u00a031, 9\u201318 (2002)","journal-title":"ACM SIGMOD Record"},{"key":"15_CR5","doi-asserted-by":"publisher","first-page":"46","DOI":"10.1109\/MPRV.2004.1269131","volume":"3","author":"J. Gehrke","year":"2004","unstructured":"Gehrke, J., Madden, S.: Query processing in sensor networks. Pervasive Computer\u00a03, 46\u201355 (2004)","journal-title":"Pervasive Computer"},{"key":"15_CR6","doi-asserted-by":"publisher","first-page":"449","DOI":"10.1109\/ICDE.2004.1320018","volume-title":"Proceedings of the 20th International Conference on Data Engineering, ICDE 2004","author":"J. Considine","year":"2004","unstructured":"Considine, J., Li, F., Kollios, G., Byers, J.W.: Approximate aggregation techniques for sensor databases. In: Proceedings of the 20th International Conference on Data Engineering, ICDE 2004, pp. 449\u2013460. IEEE Computer Society, Los Alamitos (2004)"},{"key":"15_CR7","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-642-83189-8","volume-title":"Foundations of Logic Programming","author":"J.W. Lloyd","year":"1987","unstructured":"Lloyd, J.W.: Foundations of Logic Programming, 2nd edn. Springer, Heidelberg (1987)","edition":"2"},{"key":"15_CR8","doi-asserted-by":"crossref","unstructured":"Leuschel, M.: Logic program specialisation. In: Partial Evaluation, pp. 155\u2013188 (1998)","DOI":"10.1007\/3-540-47018-2_5"},{"key":"15_CR9","doi-asserted-by":"publisher","first-page":"1243","DOI":"10.1109\/ICDE.2009.211","volume-title":"Proceedings of the 25th International Conference on Data Engineering, ICDE 2009","author":"M. Compton","year":"2009","unstructured":"Compton, M.: Finding equivalent rewritings with exact views. In: Proceedings of the 25th International Conference on Data Engineering, ICDE 2009, pp. 1243\u20131246. IEEE, Los Alamitos (2009)"},{"key":"15_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"347","DOI":"10.1007\/978-3-540-89652-4_27","volume-title":"Service-Oriented Computing \u2013 ICSOC 2008","author":"L. Li","year":"2008","unstructured":"Li, L., Taylor, K.: A framework for semantic sensor network services. In: Bouguettaya, A., Krueger, I., Margaria, T. (eds.) ICSOC 2008. LNCS, vol.\u00a05364, pp. 347\u2013361. Springer, Heidelberg (2008)"},{"key":"15_CR11","volume-title":"The art of Prolog: advanced programming techniques","author":"L. Sterling","year":"1986","unstructured":"Sterling, L., Shapiro, E.: The art of Prolog: advanced programming techniques. MIT Press, Cambridge (1986)"},{"key":"15_CR12","doi-asserted-by":"publisher","first-page":"217","DOI":"10.1016\/0743-1066(91)90027-M","volume":"11","author":"J.W. Lloyd","year":"1991","unstructured":"Lloyd, J.W., Shepherdson, J.C.: Partial evaluation in logic programming. J. Log. Program.\u00a011, 217\u2013242 (1991)","journal-title":"J. Log. Program."},{"key":"15_CR13","doi-asserted-by":"publisher","first-page":"61","DOI":"10.1007\/BF03037513","volume":"8","author":"A. Lakhotia","year":"1990","unstructured":"Lakhotia, A., Sterling, L.: How to control unfolding when specializing interpreters. New Generation Comput.\u00a08, 61\u201370 (1990)","journal-title":"New Generation Comput."},{"key":"15_CR14","doi-asserted-by":"publisher","first-page":"200","DOI":"10.1016\/j.tcs.2006.11.008","volume":"371","author":"A. Deutsch","year":"2007","unstructured":"Deutsch, A., Lud\u00e4scher, B., Nash, A.: Rewriting queries using views with access patterns under integrity constraints. Theor. Comput. Sci.\u00a0371, 200\u2013226 (2007)","journal-title":"Theor. Comput. Sci."},{"key":"15_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"63","DOI":"10.1007\/3-540-36978-3_5","volume-title":"Information Processing in Sensor Networks","author":"J.M. Hellerstein","year":"2003","unstructured":"Hellerstein, J.M., Hong, W., Madden, S., Stanek, K.: Beyond average: Toward sophisticated sensing with queries. In: Zhao, F., Guibas, L.J. (eds.) IPSN 2003. LNCS, vol.\u00a02634, pp. 63\u201379. Springer, Heidelberg (2003)"},{"key":"15_CR16","doi-asserted-by":"publisher","first-page":"122","DOI":"10.1145\/1061318.1061322","volume":"30","author":"S. Madden","year":"2005","unstructured":"Madden, S., Franklin, M.J., Hellerstein, J.M., Hong, W.: TinyDB: An acquisitional query processing system for sensor networks. Transactions on Database Systems (TODS)\u00a030, 122\u2013173 (2005)","journal-title":"Transactions on Database Systems (TODS)"},{"key":"15_CR17","volume-title":"Proceedings the 1st Biennial Conference Innovative Data Systems Research (CIDR)","author":"Y. Yao","year":"2003","unstructured":"Yao, Y., Gehrke, J.: Query processing in sensor networks. In: Proceedings the 1st Biennial Conference Innovative Data Systems Research (CIDR). ACM Press, New York (2003)"},{"key":"15_CR18","doi-asserted-by":"crossref","unstructured":"Tavakoli, A., Chu, D., Hellerstein, J., Levis, P., Shenker, S.: A declarative sensornet architecture. In: International Workshop on Wireless Sensor Network Architecture (WWSNA 2007), Cambridge, Massachusetts (April 2007)","DOI":"10.1145\/1317103.1317113"},{"key":"15_CR19","doi-asserted-by":"publisher","first-page":"1439","DOI":"10.1109\/ICDE.2008.4497582","volume-title":"Proceedings of the 24th International Conference on Data Engineering, ICDE 2008","author":"I. Galpin","year":"2008","unstructured":"Galpin, I., Brenninkmeijer, C.Y.A., Jabeen, F., Fernandes, A.A.A., Paton, N.W.: An architecture for query optimization in sensor networks. In: Proceedings of the 24th International Conference on Data Engineering, ICDE 2008, pp. 1439\u20131441. IEEE, Los Alamitos (April 2008)"},{"key":"15_CR20","doi-asserted-by":"crossref","unstructured":"Delin, K., Jackson, S.: The sensor web: a new instrument concept. In: Proceedings of the SPIE International of Optical Engineering, vol.\u00a04284, pp. 1\u20139 (2001)","DOI":"10.1117\/12.426856"}],"container-title":["Lecture Notes in Computer Science","PRICAI 2010: Trends in Artificial Intelligence"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-15246-7_15.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,24]],"date-time":"2020-11-24T03:03:25Z","timestamp":1606187005000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-15246-7_15"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010]]},"ISBN":["9783642152450","9783642152467"],"references-count":20,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-15246-7_15","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2010]]}}}