Abstract. Grid architectures are execution environments that are known to be at the same time distributed, parallel, heterogeneous and dynamic. While current tools focus solutions ...
We present the development of T-UPPAAL — a new tool for online black-box testing of real-time embedded systems from non-deterministic timed automata specifications. It is based ...
Kim Guldstrand Larsen, Marius Mikucionis, Brian Ni...
An area of interest that remains to be more thoroughly investigated is that of human navigation and wayfinding in VR. This study attempted to examine the effect of gender on VR na...
: This paper presents the design of a web-based learning content authoring tool as well as the way learners can access courseware material, within the scope of a personalized, yet ...
Christos Bouras, Maria Nani, Thrasyvoulos Tsiatsos
Maintaining software is very difficult, not only because of the number of software artifacts, but also because of the large variety of artifacts. Software includes programs, but a...