Publications

Export 304 results:
2008
Boddy M, Carpenter T, Shackleton H, Nelson K.  2008.  System-Level Autonomy Trust Enabler (SLATE).
Gohde J, Griffin P, Rickenbach B, Rush J.  2008.  Tactical service-oriented architecture. 6981
Haigh J.T, Harp S, O’Brien R, Payne C, Gohde J, Maraist J.  2008.  Trapping Malicious Insiders in the SPDR Web.
Haigh J.T, Harp SA, O'Brien RC, Payne CN, Gohde J, Maraist J.  2008.  Trapping Malicious Insiders in the SPDR Web.
2007
Markham TR, Bogle JJ, Payne C.  2007.  Associative Policy Model.
Van Wyk E, Krishnan L, Bodin D, Schwerdfeger A.  2007.  Attribute Grammar-based Language Extensions for Java. In Proceedings of European Conference on Object Oriented Programming (ECOOP).
Joshi A, Vestal S, Binns P.  2007.  Automatic Generation of Static Fault Trees from AADL Models. DNS Workshop on Architecting Dependable Systems.
Van Wyk ER, Schwerdfeger A.  2007.  Context-Aware Scanning for Parsing Extensible Languages. GPCE 2007 - Intl. Conference on Generative Programming and Component Engineering.
Boddy M, Nelson K, Musliner D, Goldman R.  2007.  Deep Green Seedling: Language for Investigating Myriad Eventualities.
Michalowski M, Knoblock CA, Bayer KM, Choueiry BY.  2007.  Exploiting Automatically Inferred Constraint-Models for Building Identification in Satellite Imagery. 15th annual ACM international symposium on Advances in Geographic Information Systems (ACMGIS 2007). :35-42.
Michalowski M.  2007.  Exploiting Problem Data to Refine Models of Constraint Problems. International Conference on Automated Planning and Scheduling (ICAPS 2007): Doctoral Consortium. :97-102.
Thomsen DJay, O’Brien R, Bogle J, Payne C.  2007.  Locally adaptable central security management in a heterogeneous network environment.
Carciofini J, P. J;Daniel, Erik L;.  2007.  METHOD FOR DETERMINING RANGES FOR ALGORITHMIC VARIABLES FOR A PROCESSOR THAT USES FIXED POINT ARITHMETIC.
Vestal S.  2007.  Preemptive Scheduling of Multi-Criticality Systems with Varying Degrees of Execution Time Assurance. Real-Time Systems Symposium.
Boddy M, Fox M, Thi S.  2007.  Proceedings of the Seventeenth International Conference on Automated Planning and Scheduling.
Michalowski M, Knoblock CA, Choueiry BY.  2007.  Reformulating Constraint Models Using Input Data. 7th International Symposium on Abstraction, Reformulation, and Approximation (SARA 2007). 4612:402-404.
Bayer KM, Michalowski M, Choueiry BY, Knoblock CA.  2007.  Reformulating Constraint Satisfaction Problems to Improve Scalability. 7th International Symposium on Abstraction, Reformulation, and Approximation (SARA 2007). :64-79.
Bayer KM, Michalowski M, Choueiry BY, Knoblock CA.  2007.  Reformulating CSPs for Scalability with Application to Geospatial Reasoning. 13th International Conference on the Principles and Practice of Constraint Programming (CP 2007). :164-179.
Gohde J, Griffin P, Rickenbach B.  2007.  Tactical service-oriented architecture over wireless communications. 6578
2006
Nelson K.  2006.  2003 NSF SCADA/IT for Critical Infrastructure Protection Workshop Summary.
Carpenter T.  2006.  Automated Assessment Processes.
Hillesheim L, .  2006.  Dead Birds Don't Fly: An Avian Flu Primer for Small-Scale Farmers.
Hillesheim L, Chen Y, Müller J.  2006.  Dual-Color Photon Counting Histogram Analysis of mRFP1and EGFP in Living Cells . Biophysical Journal . 91(11):4273-4284.
Carpenter CM, Carpenter T, Masles J, Dudte CPaul.  2006.  Extremely Secure Method for keying Stored Contents to a Specific Storage Device.
Anand M, Vestal S, Dajani-Brown S, Lee I.  2006.  Formal Modeling and Analysis of the AFDX Frame Management Design. Proceedings of the Ninth IEEE International Symposium on Object and Component-Oriented Real-Time Distributed Computing.

Pages