In this paper we describe an interactive video object segmentation tool developed in the framework of the ACTSAC098 MOMUSYS project. The Video Object Generator with User Environme...
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 ...
A significant challenge in teaching programming to disadvantaged populations is preserving learners’ motivation and confidence. Because programming requires such a diverse set o...
Abstract. This paper describes the BRITNeY suite, a tool which enables users to create visualizations of formal models. BRITNeY suite is integrated with CPN Tools, and we give an e...
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...