Sciweavers

553 search results - page 21 / 111
» Phoenix Tool: A Support to Semantic Learning Model
Sort
View
WISE
2007
Springer
15 years 3 months ago
User-Friendly Semantic Annotation in Business Process Modeling
Current problems in Business Process Management consist of terminology mismatches and unstructured and isolated knowledge representation in process models. Semantic Business Proces...
Matthias Born, Florian Dörr, Ingo Weber
APSEC
2004
IEEE
15 years 1 months ago
Extending a Graphic Modeling Language to Support Partial and Evolutionary Specification
The notion of partial and evolutionary specification has gained attention both in research and industry in the last years. While many people regard this just as a process issue, w...
Yong Xia, Martin Glinz
AIED
2005
Springer
15 years 3 months ago
Goal Transition Model and Its Application for Supporting Teachers based on Ontologies
In Japan, the “Period of Integrated Study” program to enhance practical skills began in elementary and secondary education in 2002. Most goals of this program involve meta-abil...
Toshinobu Kasai, Haruhisa Yamaguchi, Kazuo Nagano,...
TACAS
1999
Springer
88views Algorithms» more  TACAS 1999»
15 years 1 months ago
A Theorem Prover-Based Analysis Tool for Object-Oriented Databases
We present a theorem-prover based analysis tool for object-oriented database systems with integrity constraints. Object-oriented database specifications are mapped to higher-order...
David Spelt, Susan Even
ESWA
2007
208views more  ESWA 2007»
14 years 9 months ago
Adaptive and intelligent web based education system: Towards an integral architecture and framework
In this paper it is presented our contribution for carrying out adaptive and intelligent Web-based Education Systems (WBES) that take into account the individual student learning ...
Alejandro Canales Cruz, Alejandro Peña Ayal...