{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T20:58:37Z","timestamp":1725569917024},"publisher-location":"Berlin, Heidelberg","reference-count":20,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642172250"},{"type":"electronic","value":"9783642172267"}],"license":[{"start":{"date-parts":[[2010,1,1]],"date-time":"2010-01-01T00:00:00Z","timestamp":1262304000000},"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":[[2010]]},"DOI":"10.1007\/978-3-642-17226-7_9","type":"book-chapter","created":{"date-parts":[[2010,11,16]],"date-time":"2010-11-16T05:06:11Z","timestamp":1289883971000},"page":"141-158","source":"Crossref","is-referenced-by-count":0,"title":["Anonymous Mobile Service Collaboration: Quality of Service"],"prefix":"10.1007","author":[{"given":"Annika","family":"Hinze","sequence":"first","affiliation":[]},{"given":"Michael","family":"Rinck","sequence":"additional","affiliation":[]},{"given":"David","family":"Streader","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"9_CR1","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9781139195881","volume-title":"Modeling in Event-B: System and Software Engineering","author":"J.-R. Abrial","year":"2010","unstructured":"Abrial, J.-R.: Modeling in Event-B: System and Software Engineering. Cambridge University Press, Cambridge (2010)"},{"key":"9_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"131","DOI":"10.1007\/11888116_10","volume-title":"Formal Techniques for Networked and Distributed Systems - FORTE 2006","author":"L. Baresi","year":"2006","unstructured":"Baresi, L., Ghezzi, C., Mottola, L.: Towards fine-grained automated verification of publish-subscribe architectures. In: Najm, E., Pradat-Peyre, J.-F., Donzeau-Gouge, V.V. (eds.) FORTE 2006. LNCS, vol.\u00a04229, pp. 131\u2013135. Springer, Heidelberg (2006)"},{"key":"9_CR3","doi-asserted-by":"crossref","unstructured":"Baresi, L., Ghezzi, C., Mottola, L.: Loupe: Verifying publish-subscribe architectures with a magnifying lens. IEEE Transactions on Software Engineering\u00a099 (2010) (preprint)","DOI":"10.1109\/TSE.2010.39"},{"key":"9_CR4","doi-asserted-by":"crossref","unstructured":"Baresi, L., Heckel, R., Th\u00f6ne, S., Varr\u00f3, D.: Modeling and validation of service-oriented architectures: application vs. style. In: Proceedings of the 9th European Software Engineering Conference, ESEC\/FSE-11, pp. 68\u201377 (2003)","DOI":"10.1145\/940071.940082"},{"key":"9_CR5","doi-asserted-by":"crossref","unstructured":"Chow, C.-Y., Mokbel, M.F., Liu, X.: A peer-to-peer spatial cloaking algorithm for anonymous location-based service. In: Proceedings of the 14th annual ACM International Symposium on Advances in Geographic Information Systems, GIS 2006, pp. 171\u2013178 (2006)","DOI":"10.1145\/1183471.1183500"},{"key":"9_CR6","doi-asserted-by":"publisher","first-page":"566","DOI":"10.1145\/1244002.1244132","volume-title":"Proceedings of the 2007 ACM symposium on Applied computing, SAC 2007","author":"G. Marzo Serugendo Di","year":"2007","unstructured":"Di Marzo Serugendo, G., Fitzgerald, J., Romanovsky, A., Guelfi, N.: A metadata-based architectural model for dynamically resilient systems. In: SAC 2007, pp. 566\u2013572. ACM, New York (2007)"},{"key":"9_CR7","volume-title":"Service-Oriented Architecture: Concepts, Technology, and Design","author":"T. Erl","year":"2005","unstructured":"Erl, T.: Service-Oriented Architecture: Concepts, Technology, and Design. Prentice Hall PTR, Upper Saddle River (2005)"},{"key":"9_CR8","unstructured":"Eschner, L.: Design and formal model of an event-driven and service-oriented architecture for a mobile tourist information system. Master\u2019s thesis, Freie Universit\u00e4t Berlin (July 2008)"},{"issue":"2","key":"9_CR9","doi-asserted-by":"publisher","first-page":"114","DOI":"10.1145\/857076.857078","volume":"35","author":"P.T. Eugster","year":"2003","unstructured":"Eugster, P.T., Felber, P.A., Guerraoui, R., Kermarrec, A.-M.: The many faces of publish\/subscribe. ACM Comput. Surv.\u00a035(2), 114\u2013131 (2003)","journal-title":"ACM Comput. Surv."},{"key":"9_CR10","doi-asserted-by":"crossref","unstructured":"Gruteser, M., Grunwald, D.: Anonymous usage of location-based services through spatial and temporal cloaking. In: Proceedings of the 1st International Conference on Mobile Systems, Applications and Services, MobiSys 2003, pp. 31\u201342 (2003)","DOI":"10.1145\/1066116.1189037"},{"key":"9_CR11","doi-asserted-by":"crossref","unstructured":"Guerrero, P., Sachs, K., Cilia, M., Bornh\u00f6vd, C., Buchmann, A.: Pushing business data processing towards the periphery. In: IEEE International Conference on Data Engineering, ICDE (2007)","DOI":"10.1109\/ICDE.2007.369045"},{"key":"9_CR12","unstructured":"Hinze, A., Malik, P., Malik, R.: Interaction design for a mobile context-aware system using discrete event modelling. In: Australasian Computer Science Conference (ACSC 2006), Hobart, TAS, pp. 257\u2013266 (2006)"},{"key":"9_CR13","unstructured":"Hinze, A., Michel, Y., Eschner, L.: Event-based communication for location-based service collaboration. In: ADC, vol.\u00a092, pp. 127\u2013136 (2009)"},{"key":"9_CR14","doi-asserted-by":"crossref","unstructured":"Hinze, A., Voisard, A., Buchanan, G.: TIP: Personalizing information delivery in a tourist information system. Journal on Information Technology and Tourism\u00a011(4) (2009)","DOI":"10.3727\/109830509X12596187864071"},{"key":"9_CR15","series-title":"International Series in Computer Science","volume-title":"Unifying Theories of Programming","author":"C. Hoare","year":"1998","unstructured":"Hoare, C., Jifeng, H.: Unifying Theories of Programming. International Series in Computer Science. Prentice-Hall, Englewood Cliffs (1998)"},{"key":"9_CR16","unstructured":"Michel, Y.: Location-aware caching in mobile environments. Master\u2019s thesis, Freie Universit\u00e4t Berlin (June 2006)"},{"key":"9_CR17","unstructured":"Michel, Y., Hinze, A.: Traditional pre-fetching and caching of limited use for mobile applications. In: Proceedings, Mobile and Ubiquitous Information Systems, pp. 25\u201338 (2009)"},{"key":"9_CR18","doi-asserted-by":"crossref","unstructured":"Michlmayr, A., Leitner, P., Rosenberg, F., Dustdar, S.: Event Processing in Web Service Runtime Environments. In: Principles and Applications of Distributed Event-based Systems, IGI Global (2010)","DOI":"10.4018\/978-1-60566-697-6.ch012"},{"key":"9_CR19","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"499","DOI":"10.1007\/978-3-642-05089-3_32","volume-title":"FM 2009: Formal Methods","author":"S. Reeves","year":"2009","unstructured":"Reeves, S., Streader, D.: A robust semantics hides fewer errors. In: Cavalcanti, A., Dams, D.R. (eds.) FM 2009. LNCS, vol.\u00a05850, pp. 499\u2013515. Springer, Heidelberg (2009)"},{"issue":"3","key":"9_CR20","doi-asserted-by":"publisher","first-page":"33","DOI":"10.1109\/MPRV.2002.1037720","volume":"1","author":"S.S. Yau","year":"2002","unstructured":"Yau, S.S., Karim, F., Wang, Y., Wang, B., Gupta, S.K.S.: Reconfigurable context-sensitive middleware for pervasive computing. IEEE Pervasive Computing\u00a01(3), 33\u201340 (2002)","journal-title":"IEEE Pervasive Computing"}],"container-title":["Lecture Notes in Computer Science","From Active Data Management to Event-Based Systems and More"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-17226-7_9","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,6,6]],"date-time":"2019-06-06T05:20:44Z","timestamp":1559798444000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-17226-7_9"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010]]},"ISBN":["9783642172250","9783642172267"],"references-count":20,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-17226-7_9","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2010]]}}}