1676 search results - page 1 / 336 » Formal Development of Self-organising Systems |
ATAL
2004
Springer
13 years 9 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 2 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
13 years 11 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
13 years 10 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 4 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...