Publisher
Springer International Publishing
Reference14 articles.
1. Al Farooq, A., Al-Shaer, E., Moyer, T., Kant, K.: IoTC2: a formal method approach for detecting conflicts in large scale IoT systems. In: 2019 IFIP/IEEE Symposium on Integrated Network and Service Management (IM), pp. 442–447, April 2019
2. Lecture Notes in Networks and Systems;S Berrani,2019
3. Calegari, R., Denti, E., Mariani, S., Omicini, A.: Logic programming as a service (LPaaS): intelligence for the IoT. In: 2017 IEEE 14th International Conference on Networking, Sensing and Control (ICNSC), pp. 72–77, May 2017.
https://doi.org/10.1109/ICNSC.2017.8000070
4. Fortino, G., Russo, W., Savaglio, C., Shen, W., Zhou, M.: Agent-oriented cooperative smart objects: from IoT system design to implementation. IEEE Trans. Syst. Man Cybern.: Syst. 48(11), 1939–1956 (2018).
https://doi.org/10.1109/TSMC.2017.2780618
5. Gaglio, S., Lo Re, G., Martorella, G., Peri, D.: DC4CD: a platform for distributed computing on constrained devices. ACM Trans. Embed. Comput. Syst. 17(1), 27:1–27:25 (2017).
https://doi.org/10.1145/3105923