Key Applications for High-Assurance Systems.
I-Ling YenRaymond A. PaulVictor L. WinterJohn M. CovanLarry J. DaltonLeon AlkalaiAnn T. TaiRick HarperBarry FlahiveWei-Tek TsaiRamin MojdehbakhshSanjai RayadurgamKinji MoriMichael R. LowryPublished in: Computer (1998)
Keyphrases
- high assurance
- computer systems
- distributed systems
- operating system
- management system
- databases
- evolutionary algorithm
- decision making
- fault tolerant
- retrieval systems
- complex systems
- software systems
- learning systems
- neural network
- building blocks
- knowledge based systems
- bayesian networks
- access control
- software development
- data sets
- image segmentation
- control system
- relational databases
- expert systems
- reinforcement learning