732 search results - page 51 / 147 » A Formal Model of Provenance in Distributed Systems |
SC
2009
ACM
15 years 4 months ago
2009
ACM
The availability of large quantities of processors is a crucial enabler of many-task computing. Voluntary computing systems have proven that it is possible to build computing plat...
CSREAESA
2008
14 years 11 months ago
2008
To deal with the increasing complexity of embedded real-time systems the model-driven development approach has proven to be beneficial. The reduction of complexity achieved by the ...
NIPS
2000
14 years 11 months ago
2000
Learning of a smooth but nonparametric probability density can be regularized using methods of Quantum Field Theory. We implement a field theoretic prior numerically, test its eff...
ATAL
2005
Springer
15 years 3 months ago
2005
Springer
In distributed scenarios the robustness of a reputation mechanism depends on the data available for computation. Especially in ad-hoc networks the amount of available data is rest...
108
click to vote
TC
2010
14 years 4 months ago
2010
Hybrid systems have emerged as an appropriate formalism to model embedded systems as they capture the theme of continuous dynamics with discrete control. Under this paradigm, distr...