This paper summarises the main outcomes of the Mobile Resource Guarantees (MRG) project, which focused on a proof-carrying-code (PCC) infrastructure for resources to be applied to mobile code. MRG was a three year project funded by the EC under the FET proactive initiative on Global Computing. We give an overview of the projects’ results, discuss the lessons learnt from it and introduce follow-up work in new projects that will build on these results.
Mobile resource guarantees (evaluation paper) / D. Sannella, M. Hofmann, D. Aspinall, S. Gilmore, I. Stark, L. Beringer, H.W. Loidl, K. Mackenzie, A. Momigliano, O. Shkaravska - In: Trends in functional programming. 6 / [a cura di] M. van Eekelen. - Bristol : Intellect, 2007. - ISBN 9781841501765. (( Intervento presentato al 6. convegno Symposium on Trends in Functional Programming (TFP) tenutosi a Tallinn, Estonia nel 2005.
Mobile resource guarantees (evaluation paper)
A. MomiglianoPenultimo
;
2007
Abstract
This paper summarises the main outcomes of the Mobile Resource Guarantees (MRG) project, which focused on a proof-carrying-code (PCC) infrastructure for resources to be applied to mobile code. MRG was a three year project funded by the EC under the FET proactive initiative on Global Computing. We give an overview of the projects’ results, discuss the lessons learnt from it and introduce follow-up work in new projects that will build on these results.
| File | Dimensione | Formato | |
|---|---|---|---|
|
mrg-sum.pdf
accesso aperto
Tipologia:
Publisher's version/PDF
Dimensione
98.04 kB
Formato
Adobe PDF
|
98.04 kB | Adobe PDF | Visualizza/Apri |
Pubblicazioni consigliate
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
