{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T13:28:37Z","timestamp":1725542917001},"publisher-location":"Berlin, Heidelberg","reference-count":19,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642115028"},{"type":"electronic","value":"9783642115035"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2010]]},"DOI":"10.1007\/978-3-642-11503-5_9","type":"book-chapter","created":{"date-parts":[[2010,1,6]],"date-time":"2010-01-06T23:42:16Z","timestamp":1262821336000},"page":"88-103","source":"Crossref","is-referenced-by-count":31,"title":["Netlog, a Rule-Based Language for Distributed Programming"],"prefix":"10.1007","author":[{"given":"St\u00e9phane","family":"Grumbach","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Fang","family":"Wang","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"9_CR1","unstructured":"Abadi, M., Loo, B.T.: Towards a declarative language and system for secure networking. In: NETB 2007: Proceedings of the 3rd USENIX international workshop on Networking meets databases, pp. 1\u20136 (2007)"},{"key":"9_CR2","volume-title":"Foundations of Databases","author":"S. Abiteboul","year":"1995","unstructured":"Abiteboul, S., Hull, R., Vianu, V.: Foundations of Databases. Addison-Wesley, Reading (1995)"},{"key":"9_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"104","DOI":"10.1007\/978-3-540-39611-6_10","volume-title":"Ad-Hoc, Mobile, and Wireless Networks","author":"G. Alonso","year":"2003","unstructured":"Alonso, G., Kranakis, E., Sawchuk, C., Wattenhofer, R., Widmayer, P.: Probabilistic protocols for node discovery in ad hoc multi-channel broadcast networks. In: Pierre, S., Barbeau, M., Kranakis, E. (eds.) ADHOC-NOW 2003. LNCS, vol.\u00a02865, pp. 104\u2013115. Springer, Heidelberg (2003)"},{"key":"9_CR4","doi-asserted-by":"crossref","DOI":"10.1002\/0471478210","volume-title":"Distributed Computing: Fundamentals, Simulations and Advanced Topics","author":"H. Attiya","year":"2004","unstructured":"Attiya, H., Welch, J.: Distributed Computing: Fundamentals, Simulations and Advanced Topics. Wiley Interscience, Hoboken (2004)"},{"key":"9_CR5","unstructured":"Bejerano, Y., Breitbart, Y., Garofalakis, M.N., Rastogi, R.: Physical topology discovery for large multi-subnet networks. In: INFOCOM (2003)"},{"key":"9_CR6","doi-asserted-by":"crossref","unstructured":"Bejerano, Y., Breitbart, Y., Orda, A., Rastogi, R., Sprintson, A.: Algorithms for computing qos paths with restoration. IEEE\/ACM Trans. Netw.\u00a013(3) (2005)","DOI":"10.1109\/TNET.2005.850217"},{"issue":"4","key":"9_CR7","doi-asserted-by":"publisher","first-page":"53","DOI":"10.1145\/959060.959070","volume":"32","author":"A.J. Demers","year":"2003","unstructured":"Demers, A.J., Gehrke, J., Rajaraman, R., Trigoni, A., Yao, Y.: The cougar project: a work-in-progress report. SIGMOD Record\u00a032(4), 53\u201359 (2003)","journal-title":"SIGMOD Record"},{"key":"9_CR8","doi-asserted-by":"crossref","unstructured":"Fournel, N., Fraboulet, A., Chelius, G., Fleury, E., Allard, B., Brevet, O.: Worldsens: from lab to sensor network application development and deployment. In: 6th International Conference on Information Processing in Sensor Networks, IPSN, pp. 551\u2013552 (2007)","DOI":"10.1145\/1236360.1236435"},{"key":"9_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"83","DOI":"10.1007\/11748625_6","volume-title":"Pervasive Computing","author":"S.R. Jeffery","year":"2006","unstructured":"Jeffery, S.R., Alonso, G., Franklin, M.J., Hong, W., Widom, J.: Declarative support for sensor data cleaning. In: Fishkin, K.P., Schiele, B., Nixon, P., Quigley, A. (eds.) PERVASIVE 2006. LNCS, vol.\u00a03968, pp. 83\u2013100. Springer, Heidelberg (2006)"},{"key":"9_CR10","doi-asserted-by":"crossref","unstructured":"Liu, C., Mao, Y., Oprea, M., Basu, P., Loo, B.T.: A declarative perspective on adaptive manet routing. In: Proceedings of the ACM workshop on Programmable routers for extensible services of tomorrow, New York, NY, USA, pp. 63\u201368 (2008)","DOI":"10.1145\/1397718.1397733"},{"key":"9_CR11","doi-asserted-by":"crossref","unstructured":"Loo, B.T., Condie, T., Garofalakis, M.N., Gay, D.E., Hellerstein, J.M., Maniatis, P., Ramakrishnan, R., Roscoe, T., Stoica, I.: Declarative networking: language, execution and optimization. In: ACM SIGMOD International Conference on Management of Data, Chicago, Illinois, USA (2006)","DOI":"10.1145\/1142473.1142485"},{"key":"9_CR12","doi-asserted-by":"crossref","unstructured":"Loo, B.T., Condie, T., Hellerstein, J.M., Maniatis, P., Roscoe, T., Stoica, I.: Implementing declarative overlays. In: 20th ACM Symposium on Operating Systems Principles, Brighton, UK (2005)","DOI":"10.1145\/1095810.1095818"},{"key":"9_CR13","doi-asserted-by":"crossref","unstructured":"Loo, B.T., Hellerstein, J.M., Stoica, I., Ramakrishnan, R.: Declarative routing: extensible routing with declarative queries. In: ACM SIGCOMM 2005 Conference on Applications, Technologies, Architectures, and Protocols for Computer Communications, Philadelphia, Pennsylvania, USA (2005)","DOI":"10.1145\/1080091.1080126"},{"key":"9_CR14","doi-asserted-by":"crossref","unstructured":"Madden, S., Franklin, M.J., Hellerstein, J.M., Hong, W.: Tinydb: an acquisitional query processing system for sensor networks. ACM Trans. Database Syst.\u00a030(1) (2005)","DOI":"10.1145\/1061318.1061322"},{"key":"9_CR15","unstructured":"Marron, P.J., Minder, D.: Embedded WiSeNts Research Roadmap. Embedded WiSeNts Consortium (2006)"},{"key":"9_CR16","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"76","DOI":"10.1007\/978-3-540-92995-6_6","volume-title":"Practical Aspects of Declarative Languages","author":"J.A. Navarro","year":"2009","unstructured":"Navarro, J.A., Rybalchenko, A.: Operational semantics for declarative networking. In: Gill, A., Swift, T. (eds.) PADL 2009. LNCS, vol.\u00a05418, pp. 76\u201390. Springer, Heidelberg (2009)"},{"key":"9_CR17","volume-title":"Database Management Systems","author":"R. Ramakrishnan","year":"2003","unstructured":"Ramakrishnan, R., Gehrke, J.: Database Management Systems. McGraw-Hill, New York (2003)"},{"issue":"2","key":"9_CR18","doi-asserted-by":"publisher","first-page":"125","DOI":"10.1016\/0743-1066(94)00039-9","volume":"23","author":"R. Ramakrishnan","year":"1995","unstructured":"Ramakrishnan, R., Ullman, J.D.: A survey of deductive database systems. J. Log. Program.\u00a023(2), 125\u2013149 (1995)","journal-title":"J. Log. Program."},{"key":"9_CR19","doi-asserted-by":"crossref","unstructured":"Srivastava, U., Munagala, K., Widom, J.: Operator placement for in-network stream query processing. In: Twenty-fourth ACM Symposium on Principles of Database Systems, pp. 250\u2013258 (2005)","DOI":"10.1145\/1065167.1065199"}],"container-title":["Lecture Notes in Computer Science","Practical Aspects of Declarative Languages"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-11503-5_9.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,30]],"date-time":"2021-04-30T07:53:15Z","timestamp":1619769195000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-11503-5_9"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010]]},"ISBN":["9783642115028","9783642115035"],"references-count":19,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-11503-5_9","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2010]]}}}