Publications

Found 9 results

2010

Michalowski, M., M. Boddy, and T. Carpenter, "Coordinated Management of Large-Scale Networks Using Constraint Satisfaction", Second Workshop on Intelligent Security (Security and Artificial Intelligence) SecArt '10, Twenty-Fourth AAAI Conference on Artificial Intelligence, Atlanta Georgia, 07/12/2010. Abstract Download: secart2010.pdf (733.26 KB)

Boddy, M. S., H. S. Shackleton, T. P. Carpenter, and K. S. Nelson, Inferring System-Level Properties, : Adventium Enterprises, 02/20/2009, 2010. Abstract

2008

Cochran, E. L., and T. P. Carpenter, Modeling Decision Making Processes., : Honeywell International, Inc., 02/2008. Abstract Download: 7330841_Modeling_decision_making_process.pdf (253.89 KB)

Boddy, M. S., T. P. Carpenter, H. S. Shackleton, and K. S. Nelson, System-Level Autonomy Trust Enabler (SLATE), , Los Angeles, CA, AIAA, 02/06/2008. Abstract Download: AdventiumSLATE-AIAAPaper-Public.pdf (1.07 MB)

2006

Carpenter, T. P., Automated Assessment Processes, , Sandia National Labs, Albuquerque, NM, 05/02/2006. Download: Automated-VA-Process-public_1.ppt (866.5 KB)

Carpenter, C. M., T. P. Carpenter, J. Masles, and C P. Dudte, Extremely Secure Method for keying Stored Contents to a Specific Storage Device, : Maxtor Corporation, 03/2006. Abstract Download: 7017044_Extremely_secure_method_for_keyi.pdf (139.73 KB)

2005

Carpenter, T. P., C. N. Payne, and B. Bennett, High Confidence Software and Systems (HCSS) Coordinating Group (CG) Assured, Real-Time Operating Systems (ARTOS) Briefings, , 07/2005.

Raymond, M. A., T. P. Carpenter, C. A. Miller, D V. C. Reising, and L-M. Kiff, Interaction Design System, : Honeywell International, Inc., 04/2005. Abstract Download: 10_507_024_Interaction_design_system.pdf (142.24 KB)