{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T09:54:59Z","timestamp":1725530099213},"publisher-location":"Berlin, Heidelberg","reference-count":14,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642005923"},{"type":"electronic","value":"9783642005930"}],"license":[{"start":{"date-parts":[[2009,1,1]],"date-time":"2009-01-01T00:00:00Z","timestamp":1230768000000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2009]]},"DOI":"10.1007\/978-3-642-00593-0_27","type":"book-chapter","created":{"date-parts":[[2009,3,27]],"date-time":"2009-03-27T06:26:08Z","timestamp":1238135168000},"page":"401-416","source":"Crossref","is-referenced-by-count":5,"title":["Inquiry and Introspection for Non-deterministic Queries in Mobile Networks"],"prefix":"10.1007","author":[{"given":"Vasanth","family":"Rajamani","sequence":"first","affiliation":[]},{"given":"Christine","family":"Julien","sequence":"additional","affiliation":[]},{"given":"Jamie","family":"Payton","sequence":"additional","affiliation":[]},{"given":"Gruia-Catalin","family":"Roman","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"27_CR1","series-title":"Lecture Notes in Computer Science","volume-title":"Fast Software Encryption","author":"J. Payton","year":"2007","unstructured":"Payton, J., Julien, C., Roman, G.C.: Automatic consistency assessment for query results in dynamic environments. In: Biryukov, A. (ed.) FSE 2007. LNCS, vol.\u00a04593. Springer, Heidelberg (2007)"},{"key":"27_CR2","first-page":"139","volume":"1","author":"D.B. Johnson","year":"2001","unstructured":"Johnson, D.B., Maltz, D.A., Broch, J.: Dsr: The dynamic source routing protocol for multi-hop wireless ad hoc networks. Ad Hoc Networking\u00a01, 139\u2013172 (2001)","journal-title":"Ad Hoc Networking"},{"key":"27_CR3","doi-asserted-by":"crossref","unstructured":"Perkins, C., Royer, E.: Ad hoc on-demand distance vector routing. In: Proc. of WMCSA (February 1999)","DOI":"10.1109\/MCSA.1999.749281"},{"key":"27_CR4","doi-asserted-by":"crossref","unstructured":"Ni, S.Y., Tseng, Y.C., Chen, Y.S., Sheu, J.P.: The broadcast storm problem in a mobile ad hoc network. In: Proc. of MobiCom, pp. 151\u2013162 (1999)","DOI":"10.1145\/313451.313525"},{"key":"27_CR5","doi-asserted-by":"crossref","unstructured":"Roman, G.C., Julien, C., Huang, Q.: Network abstractions for context-aware mobile computing. In: Proc. of ICSE, pp. 363\u2013373 (2002)","DOI":"10.1145\/581384.581385"},{"key":"27_CR6","doi-asserted-by":"crossref","unstructured":"Kyasanur, P., Choudhury, R., Gupta, I.: Smart gossip: An adaptive gossip-based broadcasting service for sensor networks. In: Proc. of MASS (October 2006)","DOI":"10.1109\/MOBHOC.2006.278671"},{"key":"27_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"38","DOI":"10.1007\/978-3-540-24634-3_6","volume-title":"Coordination Models and Languages","author":"P. Braione","year":"2004","unstructured":"Braione, P., Picco, G.P.: On Calculi for Context-Aware Coordination. In: De Nicola, R., Ferrari, G.-L., Meredith, G. (eds.) COORDINATION 2004. LNCS, vol.\u00a02949, pp. 38\u201354. Springer, Heidelberg (2004)"},{"key":"27_CR8","doi-asserted-by":"crossref","unstructured":"Lopes, L., Martins, F., Silva, M., Barros, J.: A process calculus approach to sensor network programming. In: Proc. of Sensorcomm, pp. 451\u2013456 (2007)","DOI":"10.1109\/SENSORCOMM.2007.4394962"},{"key":"27_CR9","unstructured":"Xiong, C., Murata, T., Tsai, J.: Modeling and simulation of routing protocols for mobile ad hoc networks using colored petri nets. In: Proc. of Wkshp. on Formal Methods Applied to Defense Systems, pp. 145\u2013153 (2002)"},{"key":"27_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"266","DOI":"10.1007\/11767954_17","volume-title":"Coordination Models and Languages","author":"G.C. Roman","year":"2006","unstructured":"Roman, G.C., Handorean, R., Sen, R.: Tuple space coordination across space and time. In: Ciancarini, P., Wiklicky, H. (eds.) COORDINATION 2006. LNCS, vol.\u00a04038, pp. 266\u2013280. Springer, Heidelberg (2006)"},{"issue":"2","key":"27_CR11","doi-asserted-by":"publisher","first-page":"149","DOI":"10.1023\/A:1013672431080","volume":"2","author":"M. Dunham","year":"1997","unstructured":"Dunham, M., Helal, A., Balakrishnan, S.: A mobile transaction model that captures both the data and movement behavior. ACM-Baltzer Journal on Mobile Networks and Applications\u00a02(2), 149\u2013161 (1997)","journal-title":"ACM-Baltzer Journal on Mobile Networks and Applications"},{"key":"27_CR12","doi-asserted-by":"publisher","first-page":"491","DOI":"10.1145\/872757.872817","volume-title":"Proc. of the 2003 ACM SIGMOD Int\u2019l. Conf. on Management of Data","author":"S. Madden","year":"2003","unstructured":"Madden, S., Franklin, M., Hellerstein, J., Hong, W.: The design of an acquisitional query processor for sensor networks. In: Proc. of the 2003 ACM SIGMOD Int\u2019l. Conf. on Management of Data, pp. 491\u2013502. ACM Press, New York (2003)"},{"key":"27_CR13","doi-asserted-by":"crossref","unstructured":"Deshpande, A., Guestrin, C., Madden, S., Hellersetin, J., Hong, W.: Model-driven data acquisition in sensor networks. In: Proc. of VLDB (2004)","DOI":"10.1016\/B978-012088469-8.50053-X"},{"issue":"4","key":"27_CR14","doi-asserted-by":"publisher","first-page":"34","DOI":"10.1145\/643550.643553","volume":"6","author":"L. Capra","year":"2002","unstructured":"Capra, L., Blair, G.S., Mascolo, C., Emmerich, W., Grace, P.: Exploiting reflection in mobile computing middleware. ACM SIGMOBILE Mobile Computing and Communications Review\u00a06(4), 34\u201344 (2002)","journal-title":"ACM SIGMOBILE Mobile Computing and Communications Review"}],"container-title":["Lecture Notes in Computer Science","Fundamental Approaches to Software Engineering"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-00593-0_27","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,3,7]],"date-time":"2019-03-07T03:08:38Z","timestamp":1551928118000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-00593-0_27"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009]]},"ISBN":["9783642005923","9783642005930"],"references-count":14,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-00593-0_27","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2009]]}}}