62 search results - page 3 / 13 » Formal Reasoning about Emergent Behaviours of Multi-Agent Sy... |
IFM
1999
Springer
15 years 1 months ago
1999
Springer
Embedded real-time systems consist of a digital controller interacting with its physical environment. Developing such systems therefore involves specifying and reasoning about bot...
EURODAC
1990
IEEE
15 years 1 months ago
1990
IEEE
This paper discusses the selection of available components during high-level synthesis. We stress the importance of describing the behaviour of available components in some langua...
87
Voted
ICAC
2005
IEEE
15 years 3 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...
ISOLA
2010
Springer
14 years 7 months ago
2010
Springer
Abstract. Service-oriented systems have recently emerged as context-independent component-based systems. Unlike components, services can be created, invoked, composed, and destroye...
ATAL
2003
Springer
15 years 2 months ago
2003
Springer
Communication is the key feature of Multi-agent Systems. The interactions among components of a system may take many distinct forms of increasing complexity such as in auctions, n...