Sciweavers

92 search results - page 17 / 19
» Semantically Conceptualizing and Annotating Tables
Sort
View
ICALT
2005
IEEE
13 years 11 months ago
Ontologies for Reusing Learning Object Content
The paper proposes a framework for building learning object (LO) content using ontologies. In the previous work on using ontologies to describe LOs, researchers employed ontologies...
Dragan Gasevic, Jelena Jovanovic, Vladan Devedzic,...
TMRA
2005
Springer
13 years 11 months ago
Collaborative Software Development and Topic Maps
This work-in-progress report subsumes our ongoing research to develop a Topic Maps centric, modularised system which supports collaborative software development by combining the me...
Markus Ueberall, Oswald Drobnik
ERCIMDL
2005
Springer
148views Education» more  ERCIMDL 2005»
13 years 11 months ago
Active Support for Query Formulation in Virtual Digital Libraries: A Case Study with DAFFODIL
Daffodil is a front-end to federated, heterogeneous digital libraries targeting at strategic support of users during the information seeking process. This is done by offering a va...
André Schaefer, Matthias Jordan, Claus-Pete...
DAIS
2008
13 years 6 months ago
Using Object Replication for Building a Dependable Version Control System
Object-oriented technologies are frequently used to design and implement distributed applications. Object replication is a well-established approach to increase the dependability f...
Rüdiger Kapitza, Peter Baumann, Hans P. Reise...
SBMF
2010
Springer
205views Formal Methods» more  SBMF 2010»
13 years 15 days ago
A High-Level Language for Modeling Algorithms and Their Properties
Designers of concurrent and distributed algorithms usually express them using pseudo-code. In contrast, most verification techniques are based on more mathematically-oriented forma...
Sabina Akhtar, Stephan Merz, Martin Quinson