732 search results - page 91 / 147 » A Formal Model of Provenance in Distributed Systems |
SEKE
2004
Springer
15 years 3 months ago
2004
Springer
As application semantics becomes more complex and dynamic in IT systems, it is necessary to engineer the application semantics in its own lifecycle of development parallel to syste...
126
click to vote
TGC
2010
Springer
14 years 7 months ago
2010
Springer
We propose a formal semantics for distributed transactions inspired by the attribute mechanisms of the Java Transaction API. Technically, we model services in a process calculus fe...
TCS
2008
14 years 9 months ago
2008
Formalized study of self-assembly has led to the definition of the tile assembly model, a highly distributed parallel model of computation that may be implemented using molecules ...
EDOC
2007
IEEE
15 years 4 months ago
2007
IEEE
The increasing complexity of modern Information Services (IS) makes necessary to carry on review activities. For many companies, these reviews take place within the framework of t...
103
click to vote
UML
2005
Springer
15 years 3 months ago
2005
Springer
Autonomic computer systems aim to reduce the configuration, operational, and maintenance costs of distributed applications by enabling them to self-manage, self-heal, self-optimiz...