Sciweavers

227 search results - page 6 / 46
» Defining and Monitoring Knowledge Integrity
Sort
View
ICIW
2009
IEEE
15 years 4 months ago
A Model-Driven Approach for Monitoring Business Performance in Web Service Compositions
— Supporting business services through Web service compositions (WSC) as part of service-oriented architectures (SOA) involves business performance monitoring requirements. Their...
Christof Momm, Michael Gebhart, Sebastian Abeck
WCRE
2008
IEEE
15 years 3 months ago
Integrative Levels of Program Comprehension
Integrative levels of program comprehension describe the evolution of our knowledge about a program from low-level program elements through successive and higher orders of knowled...
Reinhard Schauer, Rudolf K. Keller
DIGITEL
2008
IEEE
15 years 3 months ago
Micro Adaptive, Non-invasive Knowledge Assessment in Educational Games
Most existing educational games cannot compete with their non-educational counterparts in terms of visual and narrative quality, gameplay, or adaptability. Amongst the most advanc...
Michael D. Kickmeier-Rust, Cord Hockemeyer, Dietri...
AAAI
2006
14 years 10 months ago
Merging Stratified Knowledge Bases under Constraints
In this paper, we propose a family of operators for merging stratified knowledge bases under integrity constraints. The operators are defined in a model-theoretic way. Our merging...
Guilin Qi, Weiru Liu, David A. Bell
MICAI
2000
Springer
15 years 29 days ago
Knowledge Representation Using High-Level Non-monotonic Reasoning
We introduce the new paradigm of High-Level Non-Monotonic reasoning (HLNM). This paradigm is the consolidation of our recent results on disjunctions, sets, explicit and implicit ne...
Mauricio Osorio, Juan Carlos Nieves, Fernando Zaca...