|
Found 264 results 2010
"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
"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
"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
INFERRING SYSTEM-LEVEL PROPERTIES,
: Adventium Enterprises, 02/20/2009.
Abstract
Activity Monitoring,
, 02/17/2010.
2009
"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.
"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.
"Model-based Intrusion Assessment in Common Lisp",
International Lisp Conference, 2009, Cambridge, MA., Association of Lisp Users and ACM SIGPLAN, 03/22/2009.
Abstract
"Virtual Private Groups for Protecting Critical Infrastructure Networks",
CyberSecurity Applications and Technology Conference for Homeland Security, Washington, DC, 03/03/2009.
"Trapping Malicious Insiders in the SPDR Web",
Hawaii International Conference on Systems Sciences (HICSS-42), Honolulu, HI, 01/05/2009.
"Enhancing NASA's Procedure Representation Language to Support Planning Operations",
International Workshop on Planning and Scheduling for Space, 2009 .
2008
Method for verification via information processing,
: Honeywell International, Inc., 9/2008.
Abstract
"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
System and method for computer service security,
: Honeywell International, Inc., 12/2008.
Skeptical System,
: Honeywell International, Inc., 09/2008.
"A Constraint Satisfaction Based Approach to Clinical Practice Guidelines",
34th Annual ORAHS Conference, Toronto, Ontario, Canada, 08/2008.
"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
"Tactical service-oriented architecture",
SPIE Defense Transformation and Net-Centric Systems Proceedings, vol. 6981, 04/03/2008.
"Effective Monitoring of a Survivable Distributed Networked Information System",
Third International Conference on Availability, Reliability and Security, 03/04/2008.
Abstract
Modeling Decision Making Processes.,
: Honeywell International, Inc., 02/2008.
Abstract
"System-Level Autonomy Trust Enabler (SLATE)",
U.S. Air Force T&E Days, Los Angeles, CA, AIAA, 02/06/2008.
Abstract
"Trapping Malicious Insiders in the SPDR Web",
Hawaii International Conference on Systems Sciences, 2008 .
2007
Associative Policy Model,
: Secure Computing Corporation, 12/2007.
Abstract
Locally adaptable central security management in a heterogeneous network environment,
: Secure Computing Corporation, 12/2007.
Abstract
|