Sciweavers

1162 search results - page 108 / 233
» Specifying Reusable Components
Sort
View
EKAW
2006
Springer
15 years 1 months ago
From Natural Language to Formal Proof Goal
Guidelines (Extended abstract) Ruud Stegers1 , Annette ten Teije1 , and Frank van Harmelen1 Vrije Universiteit, Amsterdam The main problem encountered when starting verification of...
Ruud Stegers, Annette ten Teije, Frank van Harmele...
ISTA
2008
14 years 11 months ago
A Framework for Building Mapping Operators Resolving Structural Heterogeneities
Seamless exchange of models among different modeling tools increasingly becomes a crucial prerequisite for the success of modeldriven engineering. Current best practices use model ...
Gerti Kappel, Horst Kargl, Thomas Reiter, Werner R...
INTERACT
2003
14 years 11 months ago
Programmorphosis: a Knowledge-Based Approach to End-User Programming
: Whereas sophisticated computer users can exercise more control in what they are exposed to and produce computational artifacts, technologically challenged end-users assume a more...
Andri Ioannidou
PGLDB
2003
151views Database» more  PGLDB 2003»
14 years 11 months ago
Web-service-based, Dynamic and Collaborative E-learning
This paper describes an on-going effort to investigate problems and approaches for achieving Web-service-based, dynamic and collaborative e-learning. In this work, a Learning Cont...
Stanley Y. W. Su, Gilliean Lee
ETS
2006
IEEE
119views Hardware» more  ETS 2006»
14 years 10 months ago
An Ontology-Based Framework for Bridging Learning Design and Learning Content
The paper describes an ontology-based framework for bridging learning design and learning object content. In present solutions, researchers have proposed conceptual models and dev...
Colin Knight, Dragan Gasevic, Griff Richards