Sciweavers

3363 search results - page 88 / 673
» A Framework for Knowledge Reuse
Sort
View
ICWL
2010
Springer
14 years 9 months ago
Supporting Flexible Competency Frameworks
Since Bloom's initial work on competencies in 1956, various competency systems have been designed and used to assess students' competencies. Different pedagogical researc...
Erica Melis, Arndt Faulhaber, Ahmad Salim Doost, C...
FMCO
2009
Springer
120views Formal Methods» more  FMCO 2009»
14 years 9 months ago
A Framework for Reasoning on Component Composition
The main characteristics of component models is their strict structure enabling better code reuse. Correctness of component composition is well understood formally but existing wor...
Ludovic Henrio, Florian Kammüller, Muhammad U...
CORR
2007
Springer
117views Education» more  CORR 2007»
14 years 12 months ago
Dynamic Logic of Common Knowledge in a Proof Assistant
Common knowledge logic is meant to describe situations of the real world where a group of agents is involved. These agents share knowledge and make strong hypotheses on the knowled...
Pierre Lescanne, Jérôme Puissé...
WWW
2006
ACM
16 years 17 days ago
Position paper: ontology construction from online ontologies
One of the main hurdles towards a wide endorsement of ontologies is the high cost of constructing them. Reuse of existing ontologies offers a much cheaper alternative than buildin...
Harith Alani
COMPUTER
2006
98views more  COMPUTER 2006»
14 years 12 months ago
Componentization: The Visitor Example
: In software design, laziness is a virtue: it's better to reuse than to redo. Design patterns are a good illustration. Patterns, a major advance in software architecture, pro...
Bertrand Meyer, Karine Arnout