The project described in this paper deals with the design of a software product aimed to help users during the tuning process. It gives suggestions about a few crucial points, such as suitable hardware, database parameters and object distribution on the disks. Two scenarios have prevailed : if the database already exists, statistics automatically collected by Oracle will be extensively used. In...

The emerging paradigm of agent-based computation has revolutionized the building of intelligent and decentralized systems. The new technologies met well the requirements in all domains of manufacturing where problems of uncertainty and temporal dynamics, information sharing and distributed operation, or coordination and cooperation of autonomous entities had to be tackled. In the paper software...

In this paper we introduce the main issues related to the deployment of agent-based systems in health care. First, we comment on the characteristics of health care problems and we argue that multi-agent systems are a good choice to tackle problems with these features. This belief is supported with a number of exemplar applications of agent-based systems in medical domains. We also discuss sever...

Medical diagnostics elaboration many times is a distributed and cooperative work, which involves more medical human specialists and different medical systems. Recent results described in the literature prove that medical diagnosis problems can be solved efficiently by large-scale medical multiagent systems. Cooperative diagnosing of medical diagnosis problems by large-scale multiagent systems m...

........................................................................................................1 Chapter 1: Background and Mathematical Preliminaries..........................................2 1.

The purpose of this paper is to extend verification tests to systems with multiple autonomous agent knowledge bases. Using a classic approach to verification, this paper focuses on tests concerned with consistency, completeness and correctness. In particular, this paper focuses on those unique issues that are generated as we go from single agent systems to multiple agent systems. This paper is ...

In recent y ears, model checking has emerged as a remarkably eeective technique for the automated analysis of descriptions of hardware systems and communication protocols. To analyze software system descriptions, however, a direct application of model checking rarely succeeds 1, 33, since these descriptions often have h uge often innnite state spaces which are not amenable to the nite-state met...

The development of efficient and flexible agent-based medical diagnosis systems represents a recent research direction. Medical multiagent systems may improve the efficiency of traditionally developed medical computational systems, like the medical expert systems. In our previous researches, a novel cooperative medical diagnosis multiagent system called CMDS (Contract Net Based Medical Diagnosi...

Computer based learning gets more and more important in higher education. Particularly, in Legal domain, students have little chance to deal with realistic situations. One way to alleviate this problem is to provide Law students with real cases, rules and different viewpoints of which a given body of knowledge is often recognized as important to their successful learning. We propose a novel app...