[ACM Press the 9th ACM SIGPLAN/SIGOPS international conference - Houston, Texas, USA (2013.03.16-2013.03.17)] Proceedings of the 9th ACM SIGPLAN/SIGOPS international conference on Virtual execution environments - VEE '13 - Towards verifiable resource accounting for outsourced computation
Chen, Chen, Maniatis, Petros, Perrig, Adrian, Vasudevan, Amit, Sekar, VyasYear:
2013
Language:
english
DOI:
10.1145/2451512.2451546
File:
PDF, 718 KB
english, 2013