394 search results - page 14 / 79 » Composition mechanisms for retrenchment |
FMCO
2005
Springer
15 years 5 months ago
2005
Springer
A software component model should define what components are, and how they can be composed. That is, it should define a theory of components and their composition. Current softwa...
TELSYS
2002
14 years 11 months ago
2002
Formal description techniques, verification methods, and their tool-based automated application meanwhile provide valuable support for the formal analysis of communication protocol...
ALIFE
1999
14 years 11 months ago
1999
Gaia theory, which states that organisms both affect and regulate their environment, poses an interesting problem to Neo-Darwinian evolutionary biologists and provides an exciting ...
FOSSACS
2011
Springer
14 years 3 months ago
2011
Springer
We describe a general decomposition mechanism to express the derivation relation of a word rewriting system R as the composition of a (regular) substitution followed by the derivat...
ICSOC
2005
Springer
15 years 5 months ago
2005
Springer
Abstract. Composite web services can be orchestrated in a decentralized manner by breaking down the original service specification into a set of partitions and executing them on a...