This paper presents the analysis and modelling of the literature of hypertext based on the ACM Hypertext conference series. This work explores a new paradigm of organising and acc...
Abstract. We show how a program analysis technique originally developed for C-like pointer structures can be adapted to analyse the hierarchical structure of processes in the ambie...
Lifelong electronic health records can supply valuable information for research, quality management and health politics in addition to supporting treatment of patients. Based on ex...
Walter Gall, Wilfried Grossmann, Georg Duftschmid,...
: The interest of the scientific community for anthropocentric (human-centered) video analysis stems from the fact that the extracted information (e.g. human presence, identity, bo...
Bounded context switch reachability analysis is a useful and efficient approach for detecting bugs in multithreaded programs. In this paper, we address the application of this app...