Abstract. We have been developing a system AirTransNote, a computermediated learning system that employs digital pen to realize papercentric augmented classroom. Although the appro...
Architectural based approaches to designing software are motivating changes in the way software is developed for safety-critical systems. These new approaches allow developers to d...
— One of the main challenges in telerobotics is the selection of control architectures and control parameters, which are able to robustly stabilize the overall teleoperation syst...
In this paper we discuss a case study for the UK Police IT Organisation (PITO) on using a model-based approach to verifying web service composition interactions for a coordinated ...
Searchers can face problems finding the information they seek. One reason for this is that they may have difficulty devising queries to express their information needs. In this ar...