Publications

Export 305 results:
2006
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.
Michalowski M.  2006.  A Generalized Query Framework for Geospatial Reasoning. AAAI 2006: Doctoral Consortium .
Rubel P, Ihde M, Harp S, Payne C.  2006.  Generating Policies for Defense in Depth (DiD). IAnewsletter. 9
Gligor VD, Haigh J.T, Kemmerer D, Landwehr CE, Lipner SB, McLean JD.  2006.  Information Assurance Technology Forecast 2005. IEEE Security & Privacy. 4:62-69.
2005
Michalowski M, Thakkar S, Knoblock CA.  2005.  Automatically Utilizing Secondary Sources to Align Information Across Sources. AI Magazine, Special Issue on Semantic Integration. 26:33-45.
Michalowski M, Knoblock CA.  2005.  A Constraint Satisfaction Approach to Geospatial Reasoning. AAAI 2005. :423-429.
Boddy M, Gohde J, Haigh J.T, Harp S.  2005.  Course of Action Generation for Cyber Security Using Classical Planning.
Hillesheim L, Müller J.  2005.  The Dual-Color Photon Counting Histogram with Non-Ideal Photodetectors. Biophysical Journal. 89(5):3491-3507.
Chen Y, Tekmen M, Hillesheim L, Skinner J, Wu B, Müller J.  2005.  Dual-Color Photon-Counting Histogram. Biophysical Journal. 88(3):2177-2192.
Rubel P, Ihde M, Harp S, Payne C.  2005.  Generating Policies for Defense in Depth.
Michalowski M, Nanjo C, Knoblock CA, Minton SN, Michelson M.  2005.  A Heterogeneous Field Matching Method for Record Linkage. ICDM 2005. 2005:314-321.
Carpenter T, Payne C, Bennett B.  2005.  High Confidence Software and Systems (HCSS) Coordinating Group (CG) Assured, Real-Time Operating Systems (ARTOS) Briefings.
Raymond MA, Carpenter T, Miller CA, Reising DVernon C, Kiff L-M.  2005.  Interaction Design System.
Shackleton H, J. Misiak C.  2005.  Method and Apparatus for a Hierarchical Object Model-Based Constrained Language Interpreter-Parser.
Oglesby DV, Schewe JP, Engstrom E, Schloegel KA, Shackleton H.  2005.  Method and System for Metamodeling Using Dynamic Ontology Objects.
Vestal S.  2005.  Real-Time Sampled Signal Flows through Asynchronous Distributed Systems. Real Time and Embedded Technology and Applications Symposium, 2005. RTAS 2005. 11th IEEE.

Pages