IV Taller internacional sobre la visión de una computación ubicua fiable