{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,25]],"date-time":"2025-03-25T14:49:55Z","timestamp":1742914195746,"version":"3.40.3"},"publisher-location":"Cham","reference-count":12,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319196558"},{"type":"electronic","value":"9783319196565"}],"license":[{"start":{"date-parts":[[2015,1,1]],"date-time":"2015-01-01T00:00:00Z","timestamp":1420070400000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2015]]},"DOI":"10.1007\/978-3-319-19656-5_9","type":"book-chapter","created":{"date-parts":[[2015,6,25]],"date-time":"2015-06-25T05:15:19Z","timestamp":1435209319000},"page":"58-63","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":5,"title":["High-Level Programming and Symbolic Reasoning on IoT Resource Constrained Devices"],"prefix":"10.1007","author":[{"given":"Salvatore","family":"Gaglio","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Giuseppe","family":"Lo Re","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Gloria","family":"Martorella","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Daniele","family":"Peri","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2015,6,26]]},"reference":[{"issue":"15","key":"9_CR1","doi-asserted-by":"publisher","first-page":"2787","DOI":"10.1016\/j.comnet.2010.05.010","volume":"54","author":"L Atzori","year":"2010","unstructured":"Atzori, L., Iera, A., Morabito, G.: The internet of things: a survey. Comput. Netw. 54(15), 2787\u20132805 (2010)","journal-title":"Comput. Netw."},{"key":"9_CR2","series-title":"Advances in Intelligent Systems and Computing","doi-asserted-by":"publisher","first-page":"47","DOI":"10.1007\/978-3-319-03992-3_4","volume-title":"Advances onto the Internet of Things","author":"A Paola De","year":"2014","unstructured":"De Paola, A., Lo Re, G., Pellegrino, A.: A fuzzy adaptive controller for an ambient intelligence scenario. In: Gaglio, S., Lo Re, G. (eds.) Advances onto the Internet of Things. AISC, pp. 47\u201359. Springer, Heidelberg (2014)"},{"issue":"1","key":"9_CR3","doi-asserted-by":"publisher","first-page":"13:1","DOI":"10.1145\/2611779","volume":"47","author":"A Paola De","year":"2014","unstructured":"De Paola, A., Ortolani, M., Lo Re, G., Anastasi, G., Das, S.K.: Intelligent management systems for energy efficiency in buildings: a survey. ACM Comput. Surv 47(1), 13:1\u201313:38 (2014)","journal-title":"ACM Comput. Surv"},{"key":"9_CR4","doi-asserted-by":"crossref","unstructured":"Gaglio, S., Lo Re, G., Martorella, G., Peri, D.: A fast and interactive approach to application development on wireless sensor and actuator networks. In: Accepted at the 19th IEEE International Conference on Emerging Technologies and Factory Automation (ETFA 2014) (2014)","DOI":"10.1109\/ETFA.2014.7005179"},{"key":"9_CR5","doi-asserted-by":"publisher","first-page":"908","DOI":"10.1016\/j.procs.2014.05.510","volume":"32","author":"S Gaglio","year":"2014","unstructured":"Gaglio, S., Re, G.L., Martorella, G., Peri, D.: A lightweight middleware platform for distributed computing on wireless sensor networks. Procedia Comput. Sci. 32, 908\u2013913 (2014). \n                    http:\/\/www.sciencedirect.com\/science\/article\/pii\/S1877050914007108\n                    \n                  , The 5th International Conference on Ambient Systems, Networks and Technologies (ANT-2014), The 4th International Conference on Sustainable Energy Information Technology (SEIT-2014)","journal-title":"Procedia Comput. Sci."},{"issue":"4","key":"9_CR6","doi-asserted-by":"publisher","first-page":"399","DOI":"10.1007\/s11280-012-0188-y","volume":"16","author":"B Guo","year":"2013","unstructured":"Guo, B., Zhang, D., Yu, Z., Liang, Y., Wang, Z., Zhou, X.: From the Internet of things to embedded intelligence. World Wide Web 16(4), 399\u2013420 (2013)","journal-title":"World Wide Web"},{"issue":"2","key":"9_CR7","doi-asserted-by":"publisher","first-page":"212","DOI":"10.1109\/91.842154","volume":"8","author":"Y Jin","year":"2000","unstructured":"Jin, Y.: Fuzzy modeling of high-dimensional systems: complexity reduction and interpretability improvement. IEEE Trans. Fuzzy Syst. 8(2), 212\u2013221 (2000)","journal-title":"IEEE Trans. Fuzzy Syst."},{"issue":"1","key":"9_CR8","doi-asserted-by":"publisher","first-page":"44","DOI":"10.1109\/MIC.2009.143","volume":"14","author":"G Kortuem","year":"2010","unstructured":"Kortuem, G., Kawsar, F., Fitton, D., Sundramoorthy, V.: Smart objects as building blocks for the internet of things. IEEE Internet Comput. 14(1), 44\u201351 (2010)","journal-title":"IEEE Internet Comput."},{"key":"9_CR9","series-title":"Advances in Intelligent Systems and Computing","doi-asserted-by":"publisher","first-page":"121","DOI":"10.1007\/978-3-319-03992-3_9","volume-title":"Advances onto the Internet of Things","author":"G Martorella","year":"2014","unstructured":"Martorella, G., Peri, D., Toscano, E.: Hardware and software platforms for distributed computing on resource constrained devices. In: Gaglio, S., Lo Re, G. (eds.) Advances onto the Internet of Things. Advances in Intelligent Systems and Computing, vol. 260, pp. 121\u2013133. Springer International Publishing, Switzerland (2014)"},{"key":"9_CR10","unstructured":"Navara, M., Peri, D.: Automatic generation of fuzzy rules and its applications in medical diagnosis. In: Proceedings of the 10th International Conference on Information Processing and Management of Uncertainty, Perugia, Italy, vol. 1, pp. 657\u2013663 (2004)"},{"key":"9_CR11","first-page":"6","volume":"18","author":"R VanNorman","year":"1997","unstructured":"VanNorman, R.: Fuzzy Forth. Forth Dimensions 18, 6\u201313 (1997)","journal-title":"Forth Dimensions"},{"issue":"2","key":"9_CR12","doi-asserted-by":"publisher","first-page":"120","DOI":"10.1109\/91.755394","volume":"7","author":"Y Yam","year":"1999","unstructured":"Yam, Y., Baranyi, P., Yang, C.T.: Reduction of fuzzy rule base via singular value decomposition. IEEE Trans. Fuzzy Syst. 7(2), 120\u2013132 (1999)","journal-title":"IEEE Trans. Fuzzy Syst."}],"container-title":["Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering","Internet of Things. User-Centric IoT"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-19656-5_9","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,30]],"date-time":"2019-05-30T04:22:51Z","timestamp":1559190171000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-19656-5_9"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015]]},"ISBN":["9783319196558","9783319196565"],"references-count":12,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-19656-5_9","relation":{},"ISSN":["1867-8211","1867-822X"],"issn-type":[{"type":"print","value":"1867-8211"},{"type":"electronic","value":"1867-822X"}],"subject":[],"published":{"date-parts":[[2015]]},"assertion":[{"value":"26 June 2015","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}