{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T05:55:19Z","timestamp":1725602119127},"publisher-location":"Berlin, Heidelberg","reference-count":18,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642236402"},{"type":"electronic","value":"9783642236419"}],"license":[{"start":{"date-parts":[[2011,1,1]],"date-time":"2011-01-01T00:00:00Z","timestamp":1293840000000},"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":[[2011]]},"DOI":"10.1007\/978-3-642-23641-9_26","type":"book-chapter","created":{"date-parts":[[2011,8,24]],"date-time":"2011-08-24T02:26:20Z","timestamp":1314152780000},"page":"310-325","source":"Crossref","is-referenced-by-count":1,"title":["Ensuring Security and Availability through Model-Based Cross-Layer Adaptation"],"prefix":"10.1007","author":[{"given":"Minyoung","family":"Kim","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Mark-Oliver","family":"Stehr","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ashish","family":"Gehani","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Carolyn","family":"Talcott","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"26_CR1","unstructured":"Pister, K.: From smart dust to smart plants the evolution of wireless sensor networking. In: ISA EXPO 2008: Keynote Speech (2008), http:\/\/www.dustnetworks.com"},{"issue":"4","key":"26_CR2","doi-asserted-by":"publisher","first-page":"722","DOI":"10.1109\/JSAC.2007.070509","volume":"25","author":"S. Mohapatra","year":"2007","unstructured":"Mohapatra, S., Dutt, N., Nicolau, A., Venkatasubramanian, N.: DYNAMO: A cross-layer framework for end-to-end QoS and energy optimization in mobile handheld devices. IEEE Journal on Selected Areas in Communications\u00a025(4), 722\u2013737 (2007)","journal-title":"IEEE Journal on Selected Areas in Communications"},{"key":"26_CR3","unstructured":"xTune Framework, http:\/\/xtune.ics.uci.edu"},{"key":"26_CR4","doi-asserted-by":"crossref","unstructured":"Kim, M., Stehr, M.-O., Kim, J., Ha, S.: An application framework for loosely coupled networked cyber-physical systems. In: 8th IEEE Intl. Conf. on Embedded and Ubiquitous Computing (EUC 2010), Hong Kong (December 2010), http:\/\/ncps.csl.sri.com\/papers\/cyberframework.pdf","DOI":"10.1109\/EUC.2010.30"},{"key":"26_CR5","doi-asserted-by":"publisher","first-page":"57","DOI":"10.1023\/B:MTAP.0000033983.62130.00","volume":"24","author":"B. Bhargava","year":"2004","unstructured":"Bhargava, B., Shi, C., Wang, S.-Y.: MPEG video encryption algorithms. Multimedia Tools Appl.\u00a024, 57\u201379 (2004)","journal-title":"Multimedia Tools Appl."},{"key":"26_CR6","doi-asserted-by":"crossref","unstructured":"Gutierrez-Nolasco, S., Venkatasubramanian, N., Stehr, M.-O., Talcott, C.: Exploring adaptability of secure group communication using formal prototyping techniques. In: ARM 2004: Workshop on Adaptive and Reflective Middleware, pp. 232\u2013237 (2004)","DOI":"10.1145\/1028613.1028622"},{"key":"26_CR7","unstructured":"SPADE Project, http:\/\/spade.csl.sri.com ."},{"key":"26_CR8","doi-asserted-by":"crossref","unstructured":"Bethencourt, J., Sahai, A., Waters, B.: Ciphertext-policy attribute-based encryption. In: SP 2007: Proceedings of the IEEE Symposium on Security and Privacy, pp. 321\u2013334 (2007)","DOI":"10.1109\/SP.2007.11"},{"issue":"8","key":"26_CR9","doi-asserted-by":"publisher","first-page":"1009","DOI":"10.1109\/TC.2007.70759","volume":"56","author":"J.-C. Kao","year":"2007","unstructured":"Kao, J.-C., Marculescu, R.: Minimizing eavesdropping risk by transmission power control in multihop wireless networks. IEEE Trans. Comput.\u00a056(8), 1009\u20131023 (2007)","journal-title":"IEEE Trans. Comput."},{"key":"26_CR10","unstructured":"Maude System, http:\/\/maude.csl.sri.com ."},{"key":"26_CR11","doi-asserted-by":"crossref","unstructured":"Kim, M., Stehr, M.-O., Talcott, C., Dutt, N., Venkatasubramanian, N.: Constraint refinement for online verifiable cross-layer system adaptation. In: DATE 2008: Proceedings of the Design, Automation and Test in Europe Conference and Exposition (2008)","DOI":"10.1109\/DATE.2008.4484750"},{"key":"26_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"397","DOI":"10.1007\/978-3-642-16355-5_32","volume-title":"Ubiquitous Intelligence and Computing","author":"M.-O. Stehr","year":"2010","unstructured":"Stehr, M.-O., Kim, M., Talcott, C.: Toward distributed declarative control of networked cyber-physical systems. In: Yu, Z., Liscano, R., Chen, G., Zhang, D., Zhou, X. (eds.) UIC 2010. LNCS, vol.\u00a06406, pp. 397\u2013413. Springer, Heidelberg (2010)"},{"key":"26_CR13","unstructured":"Rusu, R.B., Maldonado, A., Beetz, M., Gerkey, B.: Extending Player\/Stage\/Gazebo towards cognitive robots acting in ubiquitous sensor-equipped environments. In: IEEE Intl. Conf. on Robotics and Automation Workshop for Network Robot Systems (2007)"},{"issue":"3","key":"26_CR14","doi-asserted-by":"publisher","first-page":"58","DOI":"10.1145\/1148094.1148100","volume":"10","author":"M. Kim","year":"2006","unstructured":"Kim, M., Oh, H., Dutt, N., Nicolau, A., Venkatasubramanian, N.: PBPAIR: An energy-efficient error-resilient encoding using probability based power aware intra refresh. ACM SIGMOBILE Mob. Comput. Commun. Rev.\u00a010(3), 58\u201369 (2006)","journal-title":"ACM SIGMOBILE Mob. Comput. Commun. Rev."},{"key":"26_CR15","doi-asserted-by":"publisher","first-page":"50","DOI":"10.1109\/MWC.2005.1497858","volume":"12","author":"M.V.D. Schaar","year":"2005","unstructured":"Schaar, M.V.D., Shankar, S.: Cross-layer wireless multimedia transmission: challenges, principles, and new paradigms. IEEE Wireless Communications\u00a012, 50\u201358 (2005)","journal-title":"IEEE Wireless Communications"},{"issue":"1","key":"26_CR16","doi-asserted-by":"publisher","first-page":"255","DOI":"10.1109\/JPROC.2006.887322","volume":"95","author":"M. Chiang","year":"2007","unstructured":"Chiang, M., Low, S.H., Calderbank, A.R., Doyle, J.C.: Layering as optimization decomposition:a mathematical theory of network architectures. Proceedings of the IEEE\u00a095(1), 255\u2013312 (2007)","journal-title":"Proceedings of the IEEE"},{"key":"26_CR17","unstructured":"Wang, W.: Quality-driven cross layer design for multimedia security over resource constrained wireless sensor networks. University of Nebraska, Lincoln, Dept. of Computer and Electronics Engineering, Ph.D. Dissertation (2009)"},{"key":"26_CR18","unstructured":"Kim, M., Massaguer, D., Dutt, N., Mehrotra, S., Ren, S., Stehr, M.-O., Talcott, C., Venkatasubramanian, N.: A semantic framework for reconfiguration of instrumented cyber physical spaces. In: Workshop on Event-based Semantics, CPS Week (2008)"}],"container-title":["Lecture Notes in Computer Science","Ubiquitous Intelligence and Computing"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-23641-9_26","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,6,14]],"date-time":"2019-06-14T09:33:56Z","timestamp":1560504836000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-23641-9_26"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011]]},"ISBN":["9783642236402","9783642236419"],"references-count":18,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-23641-9_26","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2011]]}}}