Sciweavers

1098 search results - page 41 / 220
» System safety as an emergent property in composite systems
Sort
View
SIGMOD
2005
ACM
153views Database» more  SIGMOD 2005»
14 years 9 months ago
Tools for composite web services: a short overview
Web services technologies enable flexible and dynamic interoperation of autonomous software and information systems. A central challenge is the development of modeling techniques ...
Richard Hull, Jianwen Su
IEEESCC
2005
IEEE
14 years 2 months ago
Architectural Support for Automatic Service Composition
We consider architectural properties required for supporting automatic service composition. After defining composable service architecture, we proceed to examine the role of trus...
Nikola Milanovic, Miroslaw Malek
ICAC
2005
IEEE
14 years 2 months ago
Decentralised Autonomic Computing: Analysing Self-Organising Emergent Behaviour using Advanced Numerical Methods
When designing decentralised autonomic computing systems, a fundamental engineering issue is to assess systemwide behaviour. Such decentralised systems are characterised by the la...
Tom De Wolf, Giovanni Samaey, Tom Holvoet, Dirk Ro...
BIRTHDAY
2004
Springer
14 years 2 months ago
Composing Hidden Information Modules over Inclusive Institutions
: This paper studies the composition of modules that can hide information, over a very general class of logical systems called inclusive institutions. Two semantics are given for c...
Joseph A. Goguen, Grigore Rosu
IJAOSE
2010
126views more  IJAOSE 2010»
13 years 6 months ago
Automated analysis of compositional multi-agent systems
An approach for handling the complex dynamics of a multi-agent system is based on distinguishing aggregation levels. The behaviour at a given aggregation level is specified by a se...
Alexei Sharpanskykh, Jan Treur