Performance property prediction supporting variability for adaptive mobile systems