194 search results - page 1 / 39 » Rule-Based Runtime Verification |
VMCAI
2004
Springer
14 years 23 days ago
2004
Springer
ENTCS
2006
13 years 7 months ago
2006
We describe our efforts to use rule-based programming to produce a model of Jumbo, a run-time program generation (RTPG) system for Java. Jumbo incorporates RTPG following the simp...
DEXA
2004
Springer
13 years 11 months ago
2004
Springer
As their field of application has evolved and matured, the importance of verifying knowledge-based systems is now widely recognized. Nevertheless, some problems have remained. In t...
DEXA
2000
Springer
13 years 11 months ago
2000
Springer
The aim of this paper is to show a method that is able to detect a particular class of semantic inconsistencies in a rule-based system (RBS). A semantic inconsistency is defined by...
COMPSYSTECH
2009
13 years 5 months ago
2009
: The paper describes an approach for run-time modifying and adaptation of a complex GUI using a rule-based system. Elements of Intelligent User Interfaces (IUI) paradigm, involved...