732 search results - page 116 / 147 » A Formal Model of Provenance in Distributed Systems |
ICDCS
1995
IEEE
1995
IEEE
Implementing Sequentially Consistent Shared Objects Using Broadcast and Point-to-Point Communication
15 years 1 months ago
A distributed algorithm that implements a sequentially consistent collection of shared read/update objects using a combination of broadcast and point-to-point communication is pre...
106
click to vote
CONCUR
1992
Springer
15 years 1 months ago
1992
Springer
The states of a computing system bear information and change time, while its events bear time and change information. We develop a primitive algebraic model of this duality of tim...
ENTCS
2007
14 years 9 months ago
2007
Performance prediction methods for component-based software systems aim at supporting design decisions of software architects during early development stages. With the increased a...
PPDP
2007
Springer
15 years 3 months ago
2007
Springer
We give a novel transformation for proving termination of higher-order rewrite systems in the format of Inductive Data Type Systems (IDTSs) by Blanqui, Jouannaud and Okada. The tr...
ATAL
2008
Springer
14 years 11 months ago
2008
Springer
Some natural epistemic properties which may arise in applications can only be expressed in standard epistemic logic by formulae which are exponentially long in the number of agent...