 |
 |
|
|
|
|
                                                
|
|
|
|
Computer System Check Expert Systems: The Technology of Knowledge Management for the 21st Century by Cornelius T. Leondes, This six-volume set presents cutting-edge advances and applications of expert systems. Because expert systems combine the expertise of engineers, computer scientists, and computer programmers, each group will benefit from buying this important reference work. An "expert system" is a knowledge-based computer system that emulates the decision-making ability of a human expert. The primary role of the expert system is to perform appropriate functions under the close supervision of the human, whose work is supported by that expert system. In the reverse, this same expert system can monitor and double check the human in the performance of a task. Human-computer interaction in our highly complex world requires the development of a wide array of expert systems.
Model Checking by E. M. Clarke, Model checking is a technique for verifying finite state concurrent systems such as sequential circuit designs and communication protocols. It has a number of advantages over traditional approaches that are based on simulation, testing, and deductive reasoning. In particular, model checking is automatic and usually quite fast. Also, if the design contains an error, model checking will produce a counterexample that can be used to pinpoint the source of the error. The method, which was awarded the 1999 ACM Paris Kanellakis Award for Theory and Practice, has been used successfully in practice to verify real industrial designs, and companies are beginning to market commercial model checkers. The main challenge in model checking is dealing with the state space explosion problem. This problem occurs in systems with many components that can interact with each other or systems with data structures that can assume many different values. In such cases the number of global states can be enormous. Researchers have made considerable progress on this problem over the last ten years. This is the first comprehensive presentation of the theory and practice of model checking. The book, which includes basic as well as state-of-the-art techniques, algorithms, and tools, can be used both as an introduction to the subject and as a reference for researchers.
Mizar system - The Mizar system consists of a language for writing strictly formalized mathematical definitions and proofs, a computer program which is able to check proofs written in this language, and a library of definitions and proved theorems which can be referred to and used in new articles. Computer system - A computer system consists of a set of hardware and software which processes data in a meaningful way. The personal computer or PC exemplifies a relatively simple computer system. NLS (computer system) - NLS, or the "oNLine System", was a revolutionary computer collaboration system designed by Douglas Engelbart and the researchers at the Augmentation Research Center (ARC) at the Stanford Research Institute (SRI) during the 1960s. The NLS system was the first to employ the practical use of hypertext links, the mouse (co-invented by Engelbart and colleague Bill English), raster-scan video monitors, information organized by relevance, screen windowing, computer presentation (such as PowerPoint), and other modern computing concepts. Check-mate system - The check-mate system was a system of ship identification used by the Royal Navy during World War II. It was used by the Navy when on patrol looking for German Auxiliary cruiser and others ships that had been disguised by Axis forces. computersystemcheck |
|
