Richard B. Neely

According to our database, Richard B. Neely authored at least 10 papers between 1973 and 1999.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

1999

Security Architecture Development and Results for a Distributed Modeling and Simulation System .

Richard B. Neely

Proceedings of the 15th Annual Computer Security Applications Conference (ACSAC 1999), 1999

1997

Risk Assessment for Large Heterogeneous Systems.

James W. Freeman, T. C. Darr, Richard B. Neely

Proceedings of the 13th Annual Computer Security Applications Conference (ACSAC 1997), 1997

1994

A validated security policy modeling approach.

James W. Freeman, Richard B. Neely, M. A. Heckard

Proceedings of the 10th Annual Computer Security Applications Conference, 1994

1989

Achieving Understandable Results in a Formal Design Verification.

Richard B. Neely, James W. Freeman, M. D. Krenzin

Proceedings of the Second IEEE Computer Security Foundations Workshop, 1989

1985

Structuring Systems for Formal Verification.

Richard B. Neely, James W. Freeman

Proceedings of the 1985 IEEE Symposium on Security and Privacy, 1985

1984

Multinet Gateway-Towards A1 Certification.

George W. Dinolt, Richard B. Neely, P. C. Baker, James W. Freeman

Proceedings of the 1984 IEEE Symposium on Security and Privacy, Oakland, California, USA, April 29, 1984

1979

KSOS - Computer network applications.

M. A. Padlipsky, K. J. Biba, Richard B. Neely

Proceedings of the 1979 International Workshop on Managing Requirements Knowledge, 1979

1976

The Hearsay- I Speech Understanding System: An Example of the Recognition Process.

Raj Reddy, Lee D. Erman, Richard D. Fennell, Richard B. Neely

IEEE Trans. Computers, 1976

1974

On the Use of Syntax in a Low Cost Real Time Speech Recognition System.

Richard B. Neely, George M. White

Proceedings of the Information Processing, 1974

1973

The Hearsay Speech Understanding System: An Example of the Recognition Process.

Dabbala Rajagopal Reddy, Lee D. Erman, R. D. Fenneli, Richard B. Neely

Proceedings of the 3rd International Joint Conference on Artificial Intelligence. Standford, 1973