13977 search results - page 395 / 2796 » Evolution in complex systems |
181
click to vote
VVEIS
2007
15 years 8 months ago
2007
Research in web services has allowed reusable, distributed, loosely coupled components which can easily be composed to build systems or to produce more complex services. Compositio...
159
click to vote
FSTTCS
2008
Springer
15 years 8 months ago
2008
Springer
For a given (terminating) term rewriting system one can often estimate its derivational complexity indirectly by looking at the proof method that established termination. In this s...
175
click to vote
CORR
2006
Springer
15 years 6 months ago
2006
Springer
We consider the tile self-assembly model and how tile complexity can be eliminated by permitting the temperature of the self-assembly system to be adjusted throughout the assembly...
181
click to vote
CORR
2007
Springer
15 years 6 months ago
2007
Springer
Abstract. Metric Temporal Logic (MTL) is a prominent specification formalism for realtime systems. In this paper, we show that the satisfiability problem for MTL over finite tim...
190
click to vote
WAIM
2010
Springer
15 years 5 months ago
2010
Springer
The increasing popularity of Community Web Management Systems (CWMSs) calls for tailor-made data management approaches for them. Still, existing CWMSs have mostly focused on simple...