Skip to Main content Skip to Navigation
Theses

Ressources limitées pour la mobilité : utilisation, réutilisation, garanties.

Abstract : Whether it is a cell phone or a web server, an applet or a network packet, any software or hardware system is constrained by limitations on resources. Some have limited access to memory, others to disk or network connections. In particular, it is necessary to control the allocation and deallocation of resources, as well as the respect of protocols, so as to prevent overflows, attacks or misuse. Although this aspect of mobile and communicating systems is crucial, it is currently ignored by most process algebras. In order to address this problem, we have studied the notion of resources and formalized it, in calculi based on site mobility (i.e. Mobile Ambients) or name mobility (i.e. pi-calculus). We thus uncovered mechanisms for allocation and deallocation and methods to permit reuse of resources. Furthermore, we designed type systems to guarantee statically that a system, when executed, will never require more resources than it is allowed to use.
Complete list of metadatas

https://tel.archives-ouvertes.fr/tel-00011239
Contributor : David Teller <>
Submitted on : Monday, December 19, 2005 - 4:36:00 PM
Last modification on : Wednesday, November 20, 2019 - 2:30:31 AM
Long-term archiving on: : Saturday, April 3, 2010 - 7:39:17 PM

Identifiers

  • HAL Id : tel-00011239, version 1

Citation

David Teller. Ressources limitées pour la mobilité : utilisation, réutilisation, garanties.. Génie logiciel [cs.SE]. Ecole normale supérieure de lyon - ENS LYON; Université Claude Bernard - Lyon I, 2004. Français. ⟨tel-00011239⟩

Share

Metrics

Record views

399

Files downloads

260