732 search results - page 45 / 147 » A Formal Model of Provenance in Distributed Systems |
TODAES
1998
14 years 9 months ago
1998
Abstract State Machines (ASMs) provide a sound mathematical basis for the specification and verification of systems. An application of the ASM methodology to the verification of a ...
HPDC
2000
IEEE
15 years 2 months ago
2000
IEEE
Federated distributed systems present new challenges to resource management, which cannot be met by conventional systems that employ relatively static resource models and centrali...
TLDI
2009
ACM
15 years 6 months ago
2009
ACM
The importance of distributed systems is growing as computing devices become ubiquitous and bandwidth becomes plentiful. Concurrency and distribution pose algorithmic and implemen...
FLAIRS
2004
14 years 11 months ago
2004
In this paper the distributed Constraint Satisfaction Ant Algorithm (CSAA) framework is presented. It uses an ant-based system for the distributed solving of constraint satisfacti...
FM
2009
Springer
15 years 4 months ago
2009
Springer
Abstract. Many long-lived and distributed systems must remain available yet evolve over time, due to, e.g., bugfixes, feature extensions, or changing user requirements. To facilit...