732 search results - page 55 / 147 » A Formal Model of Provenance in Distributed Systems |
135
Voted
ENTCS
2006
15 years 4 months ago
2006
XML-centric models of computation have been proposed as an answer to the demand for interoperability, heterogeneity and openness in coordination models. We present a prototype imp...
133
click to vote
IAT
2007
IEEE
15 years 11 months ago
2007
IEEE
This paper deals with a multiagent self-organization process aiming to give adaptive features to distributed embedded systems involving intelligent agents in open real world. We p...
255
click to vote
ECOWS
2009
Springer
15 years 11 months ago
2009
Springer
Abstract—In this paper, we address the problem of selfadaptation in internet-scale service-oriented systems. Services need to adapt by select the best neighboring services solely...
137
Voted
CONCUR
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. Reactive Systems `a la Leifer and Milner allow to derive from a reaction semantics definition an LTS equipped with a bisimilarity relation which is a congruence. This th...
131
click to vote
ISOLA
2010
Springer
15 years 3 months ago
2010
Springer
SMT—building flexible yet efficient abstraction/refinement solvers. International Journal on Software Tools for Technology Transfer, 12(1):23–37, February 2010. Wolfgang Hab...