394 search results - page 14 / 79 » Composition mechanisms for retrenchment |
159
click to vote
FMCO
2005
Springer
16 years 7 days 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...
164
click to vote
TELSYS
2002
15 years 6 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...
142
Voted
ALIFE
1999
15 years 6 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 ...
175
click to vote
FOSSACS
2011
Springer
14 years 10 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...
201
Voted
ICSOC
2005
Springer
16 years 6 days 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...