Search - IFIP - Lecture Notes in Computer Science Access content directly

Filter your results

3 results
Keywords : Runtime monitoring
Page :
sorted by
Image document

Formal Verification of Service Level Agreements Through Distributed Monitoring

 Behrooz Nobakht , Stijn De Gouw , Frank Boer
4th European Conference on Service-Oriented and Cloud Computing (ESOCC), Sep 2015, Taormina, Italy. pp.125-140, ⟨10.1007/978-3-319-24072-5_9⟩
Conference papers hal-01757576v1
Image document

Towards Adaptive Access Control

 Luciano Argento , Andrea Margheri , Federica Paci , Vladimiro Sassone , Nicola Zannone
32th IFIP Annual Conference on Data and Applications Security and Privacy (DBSec), Jul 2018, Bergamo, Italy. pp.99-109, ⟨10.1007/978-3-319-95729-6_7⟩
Conference papers hal-01954403v1
Image document

Compliance and Subtyping in Timed Session Types

 Massimo Bartoletti , Tiziana Cimoli , Maurizio Murgia , Alessandro Sebastian Podda , Livio Pompianu
35th International Conference on Formal Techniques for Distributed Objects, Components, and Systems (FORTE), Jun 2015, Grenoble, France. pp.161-177, ⟨10.1007/978-3-319-19195-9_11⟩
Conference papers hal-01767334v1
Page :