913 search results - page 113 / 183 » Full Abstraction for Linda |
ADBIS
2006
Springer
14 years 20 days ago
2006
Springer
Among the most important expected benefits of a global service oriented architecture leveraging web service standards is an increased level of automation in the discovery, composit...
CSMR
2004
IEEE
14 years 20 days ago
2004
IEEE
In software product families, the full benefit of reuse can only be achieved if traceability of requirements to architecture, components and further down to source code is support...
ECAI
2004
Springer
14 years 20 days ago
2004
Springer
Abstract. In previous research, we presented a dynamicprogramming-based EM (expectation-maximization) algorithm for parameterized logic programs, which is based on the structure sh...
CIA
2006
Springer
14 years 20 days ago
2006
Springer
The paper describes a decentralized peer-to-peer multi-agent learning method based on inductive logic programming and knowledge trading. The method uses first-order logic for model...
CONCUR
2006
Springer
14 years 20 days ago
2006
Springer
Abstract. We consider the control problem for timed automata against specifications given as MTL formulas. The logic MTL is a linear-time timed temporal logic which extends LTL wit...