{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,20]],"date-time":"2025-11-20T18:26:15Z","timestamp":1763663175705,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":20,"publisher":"ACM","license":[{"start":{"date-parts":[[2014,6,2]],"date-time":"2014-06-02T00:00:00Z","timestamp":1401667200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2014,6,2]]},"DOI":"10.1145\/2593929.2593939","type":"proceedings-article","created":{"date-parts":[[2014,5,20]],"date-time":"2014-05-20T13:48:00Z","timestamp":1400593680000},"page":"43-48","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":29,"title":["Topology aware adaptive security"],"prefix":"10.1145","author":[{"given":"Liliana","family":"Pasquale","sequence":"first","affiliation":[{"name":"Lero, Ireland \/ University of Limerick, Ireland"}]},{"given":"Carlo","family":"Ghezzi","sequence":"additional","affiliation":[{"name":"Politecnico di Milano, Italy"}]},{"given":"Claudio","family":"Menghi","sequence":"additional","affiliation":[{"name":"Politecnico di Milano, Italy"}]},{"given":"Christos","family":"Tsigkanos","sequence":"additional","affiliation":[{"name":"Politecnico di Milano, Italy"}]},{"given":"Bashar","family":"Nuseibeh","sequence":"additional","affiliation":[{"name":"Lero, Ireland \/ University of Limerick, Ireland \/ Open University, UK"}]}],"member":"320","published-online":{"date-parts":[[2014,6,2]]},"reference":[{"key":"e_1_3_2_1_1_1","first-page":"11","volume-title":"Handbook of Spatial Logics","author":"Aiello M.","unstructured":"M. Aiello , I. Pratt-Hartmann , and J. Van Benthem . What is Spatial Logic ? In Handbook of Spatial Logics , pages 1\u2013 11 . Springer, 2007. M. Aiello, I. Pratt-Hartmann, and J. Van Benthem. What is Spatial Logic? In Handbook of Spatial Logics, pages 1\u201311. Springer, 2007."},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1109\/MSP.2007.7"},{"key":"e_1_3_2_1_3_1","first-page":"21","volume-title":"Proc. of the Embedded Real Time Software and Systems Conf.","author":"Bhave A.","year":"2010","unstructured":"A. Bhave , D. Garlan , B. Krogh , A. Rajhans , and B. Schmerl . Augmenting Software Architectures with Physical Components . In Proc. of the Embedded Real Time Software and Systems Conf. , pages 19\u2013 21 , 2010 . A. Bhave, D. Garlan, B. Krogh, A. Rajhans, and B. Schmerl. Augmenting Software Architectures with Physical Components. In Proc. of the Embedded Real Time Software and Systems Conf., pages 19\u201321, 2010."},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1145\/1361348.1361353"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0096-0551(02)00009-7"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.ic.2007.12.001"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1007\/s00165-010-0159-y"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0304-3975(99)00231-5"},{"key":"e_1_3_2_1_9_1","first-page":"128","article-title":"Solutio Problematis ad Geometriam Situs Pertinentis","volume":"8","author":"Euler L.","unstructured":"L. Euler . Solutio Problematis ad Geometriam Situs Pertinentis . Commentarii Academiae Scientiarum Petropolitanae , 8 : 128 \u2013 140 , 1741. L. Euler. Solutio Problematis ad Geometriam Situs Pertinentis. Commentarii Academiae Scientiarum Petropolitanae, 8:128\u2013140, 1741.","journal-title":"Commentarii Academiae Scientiarum Petropolitanae"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1109\/MC.2003.1160055"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1145\/1620545.1620547"},{"key":"e_1_3_2_1_12_1","volume-title":"Communicating Systems and The Calculus","author":"Milner R.","year":"2003","unstructured":"R. Milner . Communicating Systems and The Calculus . Cambridge University Press , 2003 . R. Milner. Communicating Systems and The Calculus. Cambridge University Press, 2003."},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.5555\/2486788.2486872"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1109\/RE.2013.6636745"},{"key":"e_1_3_2_1_15_1","first-page":"53","volume-title":"ECAI","volume":"16","author":"Raimondi F.","year":"2004","unstructured":"F. Raimondi and A. Lomuscio . Automatic Verification of Deontic Interpreted Systems by Model Checking via OBDD\u2019s . In ECAI , volume 16 , page 53 , 2004 . F. Raimondi and A. Lomuscio. Automatic Verification of Deontic Interpreted Systems by Model Checking via OBDD\u2019s. In ECAI, volume 16, page 53, 2004."},{"issue":"3","key":"e_1_3_2_1_16_1","first-page":"1","article-title":"A Ten Step Process for Forensic Readiness","volume":"2","author":"Rowlingson R.","year":"2004","unstructured":"R. Rowlingson . A Ten Step Process for Forensic Readiness . International Journal of Digital Evidence , 2 ( 3 ): 1 \u2013 28 , 2004 . R. Rowlingson. A Ten Step Process for Forensic Readiness. International Journal of Digital Evidence, 2(3):1\u201328, 2004.","journal-title":"International Journal of Digital Evidence"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1109\/RE.2012.6345794"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1093\/mind\/LX.237.1"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-02469-6_31"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1109\/SEAMS.2012.6224397"}],"event":{"name":"ICSE '14: 36th International Conference on Software Engineering","sponsor":["SIGSOFT ACM Special Interest Group on Software Engineering","TCSE IEEE Computer Society's Tech. Council on Software Engin."],"location":"Hyderabad India","acronym":"ICSE '14"},"container-title":["Proceedings of the 9th International Symposium on Software Engineering for Adaptive and Self-Managing Systems"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2593929.2593939","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2593929.2593939","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T19:03:55Z","timestamp":1750273435000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2593929.2593939"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014,6,2]]},"references-count":20,"alternative-id":["10.1145\/2593929.2593939","10.1145\/2593929"],"URL":"https:\/\/doi.org\/10.1145\/2593929.2593939","relation":{},"subject":[],"published":{"date-parts":[[2014,6,2]]},"assertion":[{"value":"2014-06-02","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}