Export 303 results:
Reasoning About Partially Ordered Events. Readings in Qualitative Reasoning About Physical Systems.. 1989.
An Analysis of Time Dependent Planning. AAAI-88 Proceedings.. 1988.
Modeling Database Security Requirements. Database Security: Status and Prospects. :45-56.. 1988.
Reasoning About Partially Ordered Events. Artificial Intelligence. 36. 1988.
Using a Truth Maintenance System to do Configuration. Proceedings of the Fourth Conference on Artificial Intelligence Applications. :393-394.. 1988.
A Conditional Test of Partial Order. Mathematical Social Sciences. 14:141-159.. 1987.
An Experience Using Two Covert Channel Analysis Techniques on a Real System Design. IEEE Transactions on Software Engineering. 13:157-168.. 1987.
Extending the Non-Interference Version of MLS for SAT. IEEE Transactions on Software Engineering. 13:141-150.. 1987.
Incremental Causal Reasoning. AAAI-87 Proceedings.. 1987.
Intelligent user interface for expert systems applied to power plant maintenance and troubleshooting. IEEE Transactions on Energy Conversion.. 1987.
Knowledge Engineer’s Comparison of Three Evidence Aggregation Methods. Proceedings of Third Workshop on Uncertainty in Artificial Intelligence Workshop. :297-304.. 1987.
Extending the Non-Interference Version of MLS for SAT. 1986 IEEE Symposium on Security and Privacy. :232-239.. 1986.
Failure Projection and Remote Diagnostics Systems for Maintenance of Mail Processing Equipment. Proceedings of the U.S. Postal Service Advanced Technology Conference.. 1986.
A Practical Design for a Multilevel Secure Database Management System. Proceedings of the Second Aerospace Computer Security Conference. :44-57.. 1986.
SA•VANT system: An intelligent end-user interface to an expert system. Proceedings of the Tenth Annual Honeywell International Computer Sciences Conference.. 1986.
The SA•VANT system-Versatile end-user interface to an expert system. American Association of Artificial Intelligence.. 1986.
A Knowledge Based System for Preventive Maintenance. The Use of New Technology to Improve Mechanical Readiness, Reliability and Maintainability: The Proceedings of the 40th Meeting of the Mechanical Failures Prevention Group.. 1985.
A Comparison of Formal Security Models. Proc. 7th National Computer Security Conference. :88-119.. 1984.