A programming model and system for disconnected-aware applications on resource-constrained devices.