Introduction to Track on Engineering Virtualized Services
暂无分享,去创建一个
[1] Elvira Albert,et al. Static Inference of Transmission Data Sizes in Distributed Systems , 2014, ISoLA.
[2] Ivan Lanese,et al. Fault Model Design Space for Cooperative Concurrency , 2014, ISoLA.
[3] Cosimo Laneve,et al. Engineering virtualized services , 2013, NordiCloud '13.
[4] Frank S. de Boer,et al. Programming with Actors in Java 8 , 2014, ISoLA.
[5] Frank S. de Boer,et al. Formal Modeling of Resource Management for Cloud Architectures: An Industrial Case Study , 2012, ESOCC.
[6] Cosimo Laneve,et al. Towards the Typing of Resource Deployment , 2014, ISoLA.
[7] Frank S. de Boer,et al. Formal modeling and analysis of resource management for cloud architectures: an industrial case study using Real-Time ABS , 2014, Service Oriented Computing and Applications.
[8] Volker Stolz,et al. Erlang-Style Error Recovery for Concurrent Objects with Cooperative Scheduling , 2014, ISoLA.
[9] Simon Foster,et al. Contracts in CML , 2014, ISoLA.
[10] Reiner Hähnle,et al. Fully Abstract Operation Contracts , 2014, ISoLA.
[11] Rajkumar Buyya,et al. Article in Press Future Generation Computer Systems ( ) – Future Generation Computer Systems Cloud Computing and Emerging It Platforms: Vision, Hype, and Reality for Delivering Computing as the 5th Utility , 2022 .
[12] Paul Pettersson,et al. Distributed Energy Management Case Study: A Formal Approach to Analyzing Utility Functions , 2014, ISoLA.