Πλοήγηση ανά Θέμα "Formal modeling"
Αποτελέσματα 1-1 από 1
-
Formal model and scheduling heuristics for the replica migration problem
(2008)Replication of the most popular objects is often used in distributed data provision systems to reduce access time and improve availability. In fact, a given replica placement scheme may have to be redefined as object ...