Zobrazeno 1 - 3
of 3
pro vyhledávání: '"Möller, Adrian"'
Publikováno v:
Logical Methods in Computer Science, Volume 20, Issue 3 (September 18, 2024) lmcs:12703
Sequential model synchronisation is the task of propagating changes from one model to another correlated one to restore consistency. It is challenging to perform this propagation in a least-changing way that avoids unnecessary deletions (which might
Externí odkaz:
http://arxiv.org/abs/2312.09828
Concurrent model synchronization is the task of restoring consistency between two correlated models after they have been changed concurrently and independently. To determine whether such concurrent model changes conflict with each other and to resolv
Externí odkaz:
http://arxiv.org/abs/2011.03357
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.