Modélisation formelle de systèmes dynamiques autonomes : graphe, réécriture et grammaire
Les systèmes distribués modernes à large-échelle évoluent dans des contextes variables soumis à de nombreux aléas auxquels ils doivent s'adapter dynamiquement. Dans ce cadre, l'informatique autonome se propose de réduire les interventions humaines lentes et coûteuses, en leur préférant l&#...
| Main Author: | |
|---|---|
| Other Authors: | |
| Language: | fr |
| Published: |
2015
|
| Subjects: | |
| Online Access: | http://www.theses.fr/2015TOU30057/document |