1676 search results - page 1 / 336 » Formal Development of Self-organising Systems |
ATAL
2004
Springer
14 years 4 months ago
2004
Springer
The ‘engineering’ and ‘adaptive’ approaches to system production are distinguished. It is argued that producing reliable self-organised software systems (SOSS) will necessa...
SASO
2010
IEEE
13 years 9 months ago
2010
IEEE
The design and implementation of distributed, self-organising and self-adaptive systems are challenging. In this article we report on our experience gained during the development o...
IAT
2009
IEEE
14 years 6 months ago
2009
IEEE
This article summarises five relevant methods for developing self-organising multi-agent systems. It identifies their most promising aspects and provides a description of each o...
ICAC
2005
IEEE
14 years 4 months ago
2005
IEEE
When designing decentralised autonomic computing systems, a fundamental engineering issue is to assess systemwide behaviour. Such decentralised systems are characterised by the la...
JCP
2007
13 years 11 months ago
2007
— In this paper we present a formal description of PROSA, a P2P resource management system heavily inspired by social networks. Social networks have been deeply studied in the la...