3 citations · 5 across the 2 of their papers we have counts for
2 papers
cs.DC2011★ 3 cited
Predicting global usages of resources endowed with local policies
Chiara Bodei, Viet Dung Dinh, Gian Luigi Ferrari
The effective usages of computational resources are a primary concern of up-to-date distributed applications. In this paper, we present a methodology to reason about resource usage…
cs.CR2010★ 2 cited
Safer in the Clouds (Extended Abstract)
Chiara Bodei, Viet Dung Dinh, Gian Luigi Ferrari
We outline the design of a framework for modelling cloud computing systems.The approach is based on a declarative programming model which takes the form of a lambda-calculus enrich…