Virtual reality (VR) and VR applications have reached the end-user and, hence, the
demands on usability, also for novel applications, have increased. This situation requires VR …

The purpose of this article is to discuss how to improve the ways the Taiwanese Ground
Forces use the common operational picture (COP) for training to improve the efficacy of …

Contemporary business process systems are built to automate routine procedures.
Automation demands well-understood domains, repetitive processes, clear organisational …

Emerging terminals, such as smartwatches, true wireless earphones, in-vehicle computers,
etc., are complementing our portals to ubiquitous information services. However, the current …

In this paper, we present a heuristic mapping method and a prototype mapping system that
support the process of semi-automatic ontology mapping for the purpose of improving …

The use of interactive applications to support group work is increasing. However, the
development and, in particular, the design of this kind of applications is complicated. In …

In the last few years, the production of systems which support learning and group work has
been high. However, the design and development of these types of systems are difficult …

This work is framed in the area of software development for Computer Supported
Cooperative Work (CSCW). These software systems are called groupware systems. The …

In this paper, we show the correspondence existing between normalization in calculi with
explicit substitution and cut elimination in sequent calculus for linear logic, via proof nets …

Models allow us to describe complex systems at different abstract and conceptual levels,
hence amplify our analytical and problem solving capabilities, However, a lot of human effort …