There are a number of competing component models in use today. Most are language-independent, but also platform-dependent and not designed to support a tool-based development para...
SOFL is a formal language and method for system specification and design. As a language it is an integration of Petri nets, Data Flow Diagrams, and VDM-SL. As a method it is a com...
: The growing number of robotics application fields, mainly in services, has led to the increase of new needs as well as the development of new facilities for teleoperation. Resear...
In [9], various observations on the handling of (physical) units in OpenMath were made. In this paper, we update those observations, and make some comments based on a working unit ...
Today e-Learning is an important educational tool with multiple benefits. However, to be suitable for a large audience the learning objects, courses, and other forms of e-Learning ...