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

Filter your results

2 results
Deposit type : Fulltext
labStructName_s : Bremer Institut für Produktion und Logistik GmbH
labStructName_s : Centrum voor Wiskunde en Informatica
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

Game Mechanics Supporting Pervasive Learning and Experience in Games, Serious Games, and Interactive & Social Media

J. Hauge , T. Lim , S. Louchart , I. A. Stanescu , M. Ma , et al.
14th International Conference on Entertainment Computing (ICEC), Sep 2015, Trondheim, Norway. pp.560-565, ⟨10.1007/978-3-319-24589-8_57⟩
Conference papers hal-01758461v1