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

Filter your results

2 results
Deposit type : Fulltext
labStructName_s : Centrum voor Wiskunde en Informatica
labStructName_s : Laboratoire d'Informatique de Paris 6
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

MERCi-MIsS: Should I Turn off My Servers?

Mar Callau-Zori , Luciana Arantes , Julien Sopena , Pierre Sens
15th IFIP International Conference on Distributed Applications and Interoperable Systems (DAIS), Jun 2015, Grenoble, France. pp.16-29, ⟨10.1007/978-3-319-19129-4_2⟩
Conference papers hal-01775024v1