We show how to combine a general purpose type system for an existing language with support for programming with binders and contexts by refining the type system of ML with a rest...
This paper will focus on issues relating to the building of multimedia presentations under a certain framework through a newly developed e-learning tool. The issues addressed incl...
Storing and querying Resource Description Framework (RDF) data is one of the basic tasks within any Semantic Web application. A number of storage systems provide assistance for th...
In this paper we discuss the integration of two systems that are based on a specific theory of argumentation: the first, an existing web-based discussion forum; the second, a metho...
Among other strategic action points, the Ambient Assisted Living Joint Programme framework has defined telemedicine and remote monitoring as major applications for improved qualit...