This book and its companion volume, LNCS vols. 7928 and 7929 constitute the