Logo des Repositoriums

Auflistung nach Schlagwort "Formalisation"

1 - 2 von 2
  • Workshopbeitrag
    1st InternationalWorkshop on Augmenting Usability Evaluation
    (Mensch und Computer 2022 - Workshopband, 2022) Meixner, Gerrit; Dahm, Markus
    The aim of the workshop is to collect, share and discuss approaches that support and extend the (semi-)automatic evaluation of (complex) interactive system applications with a focus on the user interface. Augmenting and supporting usability evaluation can refer to different channels and techniques: GUIs, Voice UIs, Tangible UIs, etc. After a short introduction to the workshop, an invited speaker will give a keynote presentation on an approach to augmenting usability evaluations. This will be followed by presentations from the authors of the accepted workshop papers. We expect relevant contributions from computer scientists, designers, data and AI experts, psychologists, etc. The aim of the workshop is to create a heterogeneous community for future information exchange.
  • Textdokument
    Ontology in the Digital Forensics Domain: A Scoping Review
    (INFORMATIK 2022, 2022) Morgenstern,Martin; Fähndrich,Johannes; Honekamp,Wilfried
    A need for the use of automation in digital forensics is imminent. With the overwhelming workload for analysing collected digital evidence, law enforcement agencies are no longer meeting the quality investigations we expect. For automation to work (e. g., integrating heterogeneous data sources, structuring unstructured data, or drawing conclusions from structured data), formalisation must be specified. Specification of formalisation includes as a first step to describe concepts in the domain of digital forensics. In this contribution, we analyse the state of the art of ontological formalisation in the domain of digital forensics via a scoping review. There are some attempts to formalise the technical domain of digital forensics in ontologies, but they do not cover essential context, like technical annotations or acquisition modelling. Future work will be to use the existing foundations and extend them with facts and rules to enable reasoning.