Found 264 results

2010
Martin Michalowski, Mark Boddy, Todd 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
William Klement, Szymon Wilk, Martin Michalowski, Ken Farion, "Experienced Physicians and Automatic Generation of Decision Rules from Clinical Data", Seventh International Conference on Rough Sets and Current Trends in Computing (RSCTC 2010), Warsaw, Poland, 06/28/2010. Abstract
J. Thomas Haigh, Steven Harp, Charles Payne, "AIMFIRST: Planning for Mission Assurance", 5th International Conference on Information Warefare and Security, Wright-Patterson Air Force Base, Air Force Institute of Technology, Wright-Patterson Air Force Base, 04/08/2010. Abstract
Mark S. Boddy, Hazel S. Shackleton, Todd P. Carpenter, Kyle S. Nelson, , INFERRING SYSTEM-LEVEL PROPERTIES, : Adventium Enterprises, 02/20/2009. Abstract
Kyle S. Nelson, Brian J. Bischoff, Activity Monitoring, , 02/17/2010.
2009
W. Michalowski, Sz. Wilk, J. Sayyad-Shirabad, C. Kuziemsky, D. O’Sullivan, K. Farion, M. Michalowski, "Modeling Clinical Practice Guidelines using Predicate Logic for Reasoning with Incomplete Patient’s Data", 20th International Conference on Multiple Criteria Decision Making, Chengdu China, 06/2009.
Charles Payne, Jr., Richard C. O’Brien, J. Thomas Haigh, (Adventium), "The Case for Prevention-based, Host-resident Defenses in the Modern PCS Network", Cyber Security and Information Intelligence Research Workshop (CSIIRW 2009), Oak Ridge, TN, 04/13/2009.
Robert P. Goldman, Steven A. Harp, "Model-based Intrusion Assessment in Common Lisp", International Lisp Conference, 2009, Cambridge, MA., Association of Lisp Users and ACM SIGPLAN, 03/22/2009. Abstract
Richard C. O’Brien, Charles N. Payne, (Adventium), "Virtual Private Groups for Protecting Critical Infrastructure Networks", CyberSecurity Applications and Technology Conference for Homeland Security, Washington, DC, 03/03/2009.
J. Thomas Haigh, Steven A. Harp, Richard C. O’Brien, Charles N. Payne, Johnathan Gohde, John Maraist, (Adventium), "Trapping Malicious Insiders in the SPDR Web", Hawaii International Conference on Systems Sciences (HICSS-42), Honolulu, HI, 01/05/2009.
Russell Bonasso, Mark Boddy, David Kortenkamp, "Enhancing NASA's Procedure Representation Language to Support Planning Operations", International Workshop on Planning and Scheduling for Space, 2009  .
2008
Ryan A. VanRiper, Andrew Johnson, Method for verification via information processing, : Honeywell International, Inc., 9/2008. Abstract
Martin Michalowski, "A General Approach To Using Problem Instance Data for Model Refinement in Constraint Satisfaction Problems", Computer Science Department, Los Angeles, University of Southern California, pp. 164, 12/2008. Abstract
Ryan A. VanRiper, David Musliner, Walter L. Heimerdinger, Michael Pelican, System and method for computer service security, : Honeywell International, Inc., 12/2008.
Steven A. Harpp, Christopher W. Geib, Skeptical System, : Honeywell International, Inc., 09/2008.
Craig Kuziemsky, Wojtek Michalowski, Martin Michalowski, Ken Farion, Dympna O’Sullivan, Szymon Wilk, "A Constraint Satisfaction Based Approach to Clinical Practice Guidelines", 34th Annual ORAHS Conference, Toronto, Ontario, Canada, 08/2008.
Karen H., Steven Harp, "Improving Self Defense by Learning from Limited Experience", Cyber Security and Information Intelligence Research Workshop, vol. 4, Oak Ridge National Laboratory, ACM Press, 05/12/2008. Abstract
Johnathan Gohde, Peter Griffin, Brent Rickenbach, Jason Rush, "Tactical service-oriented architecture", SPIE Defense Transformation and Net-Centric Systems Proceedings, vol. 6981, 04/03/2008.
Paul Rubel, Michael Atighetchi, Partha Pa, Martin Fong, Richard O’Brien, "Effective Monitoring of a Survivable Distributed Networked Information System", Third International Conference on Availability, Reliability and Security, 03/04/2008. Abstract
Edward L. Cochran, Todd P. Carpenter, Modeling Decision Making Processes., : Honeywell International, Inc., 02/2008. Abstract
Mark S. Boddy, Todd P. Carpenter, Hazel S. Shackleton, Kyle S. Nelson, (Adventium), "System-Level Autonomy Trust Enabler (SLATE)", U.S. Air Force T&E Days, Los Angeles, CA, AIAA, 02/06/2008. Abstract
J. Thomas Haigh, Steven A. Harp, Richard C. O’Brien, Charles N. Payne, Johnathan Gohde, John Maraist, "Trapping Malicious Insiders in the SPDR Web", Hawaii International Conference on Systems Sciences, 2008  .
2007
Markham, Thomas R., Bogle, Jessica J., Payne, Jr., Charles N., Associative Policy Model, : Secure Computing Corporation, 12/2007. Abstract
Daniel Jay Thomsen, Richard O', Brien, Jessica Bogle, Charles Payne, Locally adaptable central security management in a heterogeneous network environment, : Secure Computing Corporation, 12/2007. Abstract
Robert P. Goldman, Kyle S. Nelson, David J. Musliner, Mark S. Boddy, , Deep Green Seedling: Language for Investigating Myriad Eventualities, , 11/28/2007.