Test und Validierung spielen bei Echtzeitsystemen eine zentrale Rolle: Auf die
Spezifikationen, die der Hersteller angibt, muss sich der Kunde hier in besonders hohem …

Abstract Validation of Knowledge-Based Systems (KBS) is an important aspect of the overall
KBS development process, which aims to assure the system's ability to reach correct …

Pervasive context-aware software is an emerging kind of application. Many of these systems
register parts of their context-aware logic in the middleware. On the other hand, most …

The present invention aims to improve data mining results, and improve prediction ability for
data mining activities. It encompasses a system and method for revealing the set of …

In this paper, it is shown how a system can be created by using methods of Artificial
Intelligence, designated (a) to provide the user with information about the transformations of …

Validation and verification of expert systems or knowledge-based systems is a critical issue
in the development and deployment of robust systems. This article is a comprehensive …

Often a rule-based system is tested by checking its performance on a number of test cases
with known solutions, modifying the system until it gives the correct results for all or a …

There is currently a very strong interest among researchers in the fields of artificial
intelligence and robotics in finding more effective means of linking high level symbolic …

Every software in the universe requires maintenance and management during its life cycle.
The manual management of software is costly and sometimes error-prone. The other …

Rule-based software systems are becoming more common in industrial settings, particularly
to monitor and control large, real-time systems. The authors describe an algorithm for …