Electronic Proceedings in Theoretical Computer Science container_qzezkwolyvf33pglm2jldjklca

Open Publishing Association

Search inside Container


Can also search all releases.

Showing first 25 out of 4,012 results

A Typed Model for Dynamic Authorizations

Silvia Ghilezan, Svetlana Jakšić, Jovanka Pantović, Jorge A. Pérez, Hugo Torres Vieira
2016 | Electronic Proceedings in Theoretical Computer Science
doi:10.4204/eptcs.203.6  

Analysis of SLA Compliance in the Cloud - An Automated, Model-based Approach

Frank S. de Boer, Elena Giachino, Stijn de Gouw, Reiner Hähnle, Einar Broch Johnsen, Cosimo Laneve, Ka I Pun, Gianluigi Zavattaro
2019 | Electronic Proceedings in Theoretical Computer Science
doi:10.4204/eptcs.302.1  

Relating BIP and Reo

Kasper Dokter, Sung-Shik Jongmans, Farhad Arbab, Simon Bliudze
2015 | Electronic Proceedings in Theoretical Computer Science
doi:10.4204/eptcs.189.3  
« Previous   Showing results 0 — 25 out of 4,012 results   Next »