The unique selling point of XML as standard representation of content is its ease of use thus facilitating interoperability between various partners and platforms. To overcome XML ...
The Scholarly Link Specification (S-Link-S) Framework has been proposed as a possible approach towards a solution to the reference linking problem. S-Link-S provides a language ...
Multimedia and hypermedia had and still have a tremendous impact on the evolution of educational software. In this paper we propose a platform for the implementation of the servic...
The evolution of SAT technology over the last decade has motivated its application in model checking, initially through the utilization of SAT in bounded model checking (BMC) and, ...
Triple20 is a ontology manipulation and visualization tool for languages built on top of the Semantic-Web RDF triple model. In this article we explain how a triple-centered design ...