We present Optima, a state of the art general purpose tool for ontology alignment that automatically identifies and matches relevant concepts between ontologies. The tool is supp...
This paper describes the main features of several tools concerned with the analysis of either Maude specifications, or of extensions of such specifications: the ITP, MTT, CRC, Ch...
A stable, multiple energy domain and multi scale simulation tool for Microsystems is developed. A structured design methodology is adopted for design and optimization of RF MEMS sh...
This paper presents results from the analysis of data collected during a 3-year user-oriented longitudinal and empirical on-line evaluation of the use of the Dublin Core metadata ...
Drawing on our previous work on survey and reporting tools that compare faculty expectations with what students report experiencing in class, this paper presents details of a new ...
Judith Ann Ouimet, Sermsak Buntha, Sergiu M. Dasca...