Stav dette: A mathematical optimization approach to improve server scalability in intermittently synchronized databases / Wai Gen Yee ... [and others].