Affiliation:
1. Dipartimento di Informatica, Università di Pisa, Pisa, Italy
Subject
Computer Networks and Communications,Hardware and Architecture,Safety, Risk, Reliability and Quality,Software
Reference65 articles.
1. F. Achermann, M. Lumpe, J. Schneider and O. Nierstrasz, PICCOLA – A small composition language, in: Formal Methods for Distributed Processing, Cambridge University Press, 2001.
2. F. Al-Neyadi and J. Abawajy, Context-based e-health system access control mechanism, in: Advances in Information Security and Its Application, 2009, pp. 68–77.
3. T. Aotani, T. Kamina and H. Masuhara, Featherweight eventCJ: A core calculus for a context-oriented language with event-based per-instance layer transition, in: Proceedings of the 3rd International Workshop on Context-Oriented Programming (COP’11), ACM, New York, NY, USA, 2011, Article No. 1, pp. 1–7.
4. T. Aotani, T. Kamina and H. Masuhara, Unifying multiple layer activation mechanisms using one event sequence, in: Proceedings of the 6th International Workshop on Context-Oriented Programming, COP’14, ACM, New York, NY, USA, 2014, Article No. 2, pp. 1–6, ISBN 978-1-4503-2861-6.
5. M. Appeltauer, R. Hirschfeld, M. Haupt, J. Lincke and M. Perscheid, A comparison of context-oriented programming languages, in: International Workshop on Context-Oriented Programming (COP’09), ACM, New York, NY, USA, 2009, Article No. 6, pp. 1–6.
Cited by
8 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. Modelling and analysing IoT systems;Journal of Parallel and Distributed Computing;2021-11
2. Security Metrics at Work on the Things in IoT Systems;From Lambda Calculus to Cybersecurity Through Program Analysis;2020
3. Analysing the Provenance of IoT Data;Communications in Computer and Information Science;2020
4. Measuring security in IoT communications;Theoretical Computer Science;2019-04
5. Programming in a context-aware language;The Journal of Supercomputing;2018-09-15