Author of the publication

A Framework for Implementing Formally Verified Resource-Bounded Smart Space Systems.

, , and . Mob. Networks Appl., 22 (2): 289-304 (2017)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Memory-Constrained Context-Aware Reasoning., , , and . ICCASA, volume 409 of Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering, page 133-146. Springer, (2021)Planquarium: A Context-Aware Rule-Based Indoor Kitchen Garden., , , , and . ICCASA/ICTCC, volume 298 of Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering, page 11-19. Springer, (2019)A rule-based framework for developing context-aware systems for smart spaces.. University of Nottingham, UK, (2019)British Library, EThOS.Contextual defeasible reasoning framework for heterogeneous knowledge sources., , and . Concurr. Comput. Pract. Exp., (2023)Wireless home security architecture using PDA and hand held devices., and . SoSE, page 1-6. IEEE, (2008)Efficient context-aware computing: a systematic model for dynamic working memory updates in context-aware computing., , , , , and . PeerJ Comput. Sci., (2024)A Resource-Aware Preference Model for Context-Aware Systems., and . ICCASA/ICTCC, volume 217 of Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering, page 3-13. Springer, (2017)