• Checking Business Process Evolution 

      Salaün, Gwen (2017-06-01)
      A business process is a collection of structured activities producing a particular product or software. BPMN is a workflow-based graphical notation for specifying business processes. Formally analyzing such processes is ...
    • SafeWalks: aplicación móvil de supervisión de pacientes de Alzheimer 

      Pérez Lozano, Pablo; Pérez Vereda, Alejandro; Murillo, Juan Manuel; Canal-Velasco, Jose Carlos (2015-09-23)
      El principal objetivo de Internet of Things (IoT) es integrar las tecnologías informáticas en el quehacer cotidiano de las personas, facilitando su interacción con un entorno de dispositivos interconectados, pero el estado ...