732 search results - page 95 / 147 » A Formal Model of Provenance in Distributed Systems |
ATAL
2008
Springer
14 years 11 months ago
2008
Springer
In the last few years, argumentation frameworks have been successfully applied to multi agent systems. Recently, argumentation has been used to provide a framework for reasoning a...
FAC
2000
14 years 9 months ago
2000
Formal approaches to the design of interactive systems rely on reasoning about properties of the t a very high level of abstraction. Specifications to support such an approach typi...
105
click to vote
HPCA
1999
IEEE
15 years 2 months ago
1999
IEEE
Much research has been done in fast communication on clusters and in protocols for supporting software shared memory across them. However, the end performance of applications that...
108
click to vote
FMCO
2004
Springer
15 years 3 months ago
2004
Springer
This paper considers an integration of asynchronous communication, virtual binding, and multiple inheritance. Object orientation is the leading paradigm for concurrent and distribu...
JSW
2007
14 years 9 months ago
2007
— UML sequence diagrams focus on the interaction between different classes. For distributed real time transaction processing it is possible to end up with complex sequence diagra...