{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,6,1]],"date-time":"2022-06-01T19:40:51Z","timestamp":1654112451845},"reference-count":24,"publisher":"IGI Global","issue":"3","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2012,7,1]]},"abstract":"<p>The research presents a novel approach to carbon dioxide (CO2) emissions monitoring and access to local air quality data. The approach applies the advanced Internet of things technology to design a mobile telemetry system for CO2 data collection and processing in order to be presented as a value-added application to mobile users. Based on requirements analysis, functional architecture for mobile telemetry system is proposed. The design aspects of mobile telemetry application layer protocol are studied. An approach to formal verification of protocol behavior is suggested. An information model that captures the basic concepts related to CO2 monitoring is proposed. Examples of ubiquitous access to CO2 measurements are described.<\/p>","DOI":"10.4018\/jitwe.2012070103","type":"journal-article","created":{"date-parts":[[2012,11,26]],"date-time":"2012-11-26T19:39:53Z","timestamp":1353958793000},"page":"37-54","source":"Crossref","is-referenced-by-count":0,"title":["A Novel Approach to Design a Scalable Air Quality Monitoring System"],"prefix":"10.4018","volume":"7","author":[{"given":"Ivaylo","family":"Atanasov","sequence":"first","affiliation":[{"name":"Technical University of Sofia, Bulgaria"}]},{"given":"Ventsislav","family":"Trifonov","sequence":"additional","affiliation":[{"name":"Technical University of Sofia, Bulgaria"}]},{"given":"Kamelia","family":"Nikolova","sequence":"additional","affiliation":[{"name":"Technical University of Sofia, Bulgaria"}]},{"given":"Evelina","family":"Pencheva","sequence":"additional","affiliation":[{"name":"Technical University of Sofia, Bulgaria"}]}],"member":"2432","reference":[{"issue":"1","key":"jitwe.2012070103-0","first-page":"109","article-title":"Extension of authentication and key agreement protocol (AKA) for universal mobile telecommunication system (UMTS).","volume":"1","author":"J.Al-Saireh","year":"2006","journal-title":"International Journal of Theoretical and Applied Computer Sciences"},{"key":"jitwe.2012070103-1","unstructured":"Alenazi, M., Gogi, S., Zang, D., Cetinkaya, E., Rohrer, J., & Sterbenz, J. (2011). ANTP protocol suite software implementation architecture in Python. In Proceedings of the International Telemetry Conference (pp. 1-10)."},{"key":"jitwe.2012070103-2","doi-asserted-by":"crossref","unstructured":"Chen, X., & Nicola, R. (2001). Algebraic characterizations of trace and decorated trace equivalences over tree-like structures. In D. Hutchison, T. Kanade, J. Kittler, J. M. Kleinberg, F. Mattern, J. C. Mitchell et al. (Eds.), Proceedings of Theoretical Computer Science (LNCS 1099, pp. 337-361).","DOI":"10.1016\/S0304-3975(99)00300-X"},{"key":"jitwe.2012070103-3","doi-asserted-by":"publisher","DOI":"10.1109\/TBME.2006.889768"},{"key":"jitwe.2012070103-4","doi-asserted-by":"publisher","DOI":"10.1016\/j.advengsoft.2011.03.019"},{"key":"jitwe.2012070103-5","doi-asserted-by":"crossref","unstructured":"Farhat, F., Samili, S., & Salahi, A. (2009). An extended authentication and key agreement protocol of UMTS. In Proceedings of the 5th International Conference on Information Security Practice and Experience.","DOI":"10.1007\/978-3-642-00843-6_21"},{"key":"jitwe.2012070103-6","doi-asserted-by":"publisher","DOI":"10.1016\/j.snb.2008.07.005"},{"key":"jitwe.2012070103-7","unstructured":"Forthoffer, D., Throop, M., & Tilman, B. (2011). US 2011\/-166741 A1: Mobile Telemetry System. Washington, DC: United States Patent and Trademark Office."},{"key":"jitwe.2012070103-8","unstructured":"Georgiades, A., Luo, Y., Lasebay, A., & Comley, R. (2009). Location privacy in Mobile IPv6 distributed authentication protocol using mobile home agents. In Proceedings of the 8th WSEAS International Conference on Electronics, Hardware, Wireless and Optical Communications, Cambridge, UK (pp. 243-248)."},{"key":"jitwe.2012070103-9","unstructured":"Guo, H., Shin, Y., & Lee, W. (2007). Enhanced compositional safety analysis for distributed embedded systems using LTS equivalence. In Proceedings of the 6th WSEAS International Conference on Applied Computer Science, Hangzhou, China (pp. 115-120)."},{"key":"jitwe.2012070103-10","unstructured":"Huerta, M., Viva, T., Clotet, R., Gonzalez, R., Alvizu, R., & Perez, A. \u2026Esclante, R. (2009). Implementation of an open source security software platform in a telemedicine network advances in e-activities. In Proceedings of the 9th WSEAS International Conference on Advances in E-activities, Information Security and Privacy (pp. 72-76)."},{"key":"jitwe.2012070103-11","unstructured":"INFSO. (2008). Internet of Things in 2020, Roadmap for the future. D.4 Networked Enterprise & RFID INFSO G.2 Micro & Nanosystems, in cooperation with the WG on RFID of the ETP EPOSS (v.1.1-27)."},{"key":"jitwe.2012070103-12","year":"2005","journal-title":"Internet reports: The Internet of Things, Executive summary"},{"key":"jitwe.2012070103-13","doi-asserted-by":"publisher","DOI":"10.1109\/MCOM.2009.4907414"},{"key":"jitwe.2012070103-14","unstructured":"Murray, N. (2010). Technology models & carbon emissions monitoring, Trac-Car. Retrieved from http:\/\/community.sparxsystems.com\/whitepapers\/shared-models-and-collaboration\/technology-models-carbon-emissions-monitoring"},{"key":"jitwe.2012070103-15","unstructured":"Nassar, H., Al-Mahdi, H., El-Gabali, M., & Aziz, S. (2008). Design and analysis of a one-step addressing protocol for an ad hoc networks. In Proceedings of the 7th WSEAS International Conference on Electronics, Hardware, Wireless and Optical Communications, Cambridge, UK (pp. 140-145)."},{"key":"jitwe.2012070103-16","unstructured":"Nathonson, M. (2010). US 2010\/0030423 A1: Automotive Telemetry Protocol. Washington, DC: United States Patent and Trademark Office."},{"key":"jitwe.2012070103-17","unstructured":"Panangaden, P. (2009). Notes on labelled transition systems and bisimulation. Retrieved from http:\/\/www.cs.mcgill.ca\/~ prakash\/Courses\/comp330\/Notes\/lts09.pdf"},{"key":"jitwe.2012070103-18","unstructured":"Pathapati, K., Rohrer, J., & Sterbenz, J. (2010). End-to-END ARQ: Transport-layer reliability for airborne telemetry networks. In Proceedings of the International Telemetry Conference."},{"key":"jitwe.2012070103-19","doi-asserted-by":"crossref","unstructured":"Rohrer, J., Jabbar, A., Cetinkaya, E., & Sterbenz, J. (2010). Airborne telemetry networks: Challenges and solutions in the ANTP Suite. In Proceedings of the IEEE Military Communications Conference (pp.74-79).","DOI":"10.1109\/MILCOM.2010.5680303"},{"key":"jitwe.2012070103-20","unstructured":"Rosnov, B. (2007). US 2007\/0255120 A1: Internet-Protocol Based Telemetry Patient Monitoring System. Washington, DC: United States Patent and Trademark Office."},{"issue":"2","key":"jitwe.2012070103-21","first-page":"1174","article-title":"Hierarchical verification of reactive systems with timing constraints.","volume":"4","author":"J.Sebesty\u00e9nov\u00e1","year":"2003","journal-title":"WSEAS Transactions on Computers"},{"key":"jitwe.2012070103-22","doi-asserted-by":"publisher","DOI":"10.3390\/s110404231"},{"key":"jitwe.2012070103-23","unstructured":"Trac-car. (2011). Telemetry services model. Retrieved from http:\/\/www.trac-car.com.au\/Telemetry%20Services%20Model%20Version%204.0%20HTML\/index.htm"}],"container-title":["International Journal of Information Technology and Web Engineering"],"original-title":[],"language":"ng","link":[{"URL":"https:\/\/www.igi-global.com\/viewtitle.aspx?TitleId=72991","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,6,1]],"date-time":"2022-06-01T19:08:55Z","timestamp":1654110535000},"score":1,"resource":{"primary":{"URL":"https:\/\/services.igi-global.com\/resolvedoi\/resolve.aspx?doi=10.4018\/jitwe.2012070103"}},"subtitle":[""],"short-title":[],"issued":{"date-parts":[[2012,7,1]]},"references-count":24,"journal-issue":{"issue":"3","published-print":{"date-parts":[[2012,7]]}},"URL":"https:\/\/doi.org\/10.4018\/jitwe.2012070103","relation":{},"ISSN":["1554-1045","1554-1053"],"issn-type":[{"value":"1554-1045","type":"print"},{"value":"1554-1053","type":"electronic"}],"subject":[],"published":{"date-parts":[[2012,7,1]]}}}