Self-Reconfiguration in Highly Available Pervasive Computing Systems