From post

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.

 

Другие публикации лиц с тем же именем

Schedulability Analysis and Verification of Real-Time Discrete-Event Systems.. University of California, Berkeley, USA, (2013)base-search.net (ftcdlib:qt41z6x848).Sound and Complete Monitoring of Sequential Consistency for Relaxed Memory Models., , и . TACAS, том 6605 из Lecture Notes in Computer Science, стр. 11-25. Springer, (2011)Looper: Lightweight Detection of Infinite Loops at Runtime., , , и . ASE, стр. 161-169. IEEE Computer Society, (2009)Architecture for security monitoring in IoT environments., , , , и . ISIE, стр. 1382-1385. IEEE, (2017)A policy based framework for modelling agent interaction protocols.. University of Liverpool, UK, (2005)British Library, EThOS.On the schedulability of real-time discrete-event systems., , и . EMSOFT, стр. 12:1-12:15. IEEE, (2013)Algorithms for Big Data in Advanced Communication Systems and Cloud Computing., и . CBI (1), стр. 196-201. IEEE Computer Society, (2017)Efficient Large-scale Medical Data (eHealth Big Data) Analytics in Internet of Things., , , , , , и . CBI (2), стр. 21-27. IEEE Computer Society, (2017)978-1-5386-3035-8.Solutions for inter-connectivity and security in a smart hospital building., , , , , и . INDIN, стр. 174-179. IEEE, (2017)A policy based framework for agents: on the specification of an agent policy language including roles, relationships, conversation patterns and co-operation patterns., , и . AAMAS, стр. 1126-1127. ACM, (2003)