| 12175103 |
Systems and methods for mapping data structures to memory in multi-level memory hierarchies |
Judson Powers, Colleen Kimball |
2024-12-24 |
| 12120146 |
Systems and methods for applying attack tree models and physics-based models for detecting cyber-physical threats |
Martiros Shakhzadyan, Judson Powers |
2024-10-15 |
| 12026440 |
Optimizing aircraft flows at airports using data driven predicted capabilities |
Douglas Sweet, Sebastian Timar |
2024-07-02 |
| 11934968 |
System and method for anticipating advances in technology |
— |
2024-03-19 |
| 11501039 |
Optimizing aircraft flows at airports using data driven predicted capabilities |
Douglas Sweet, Sebastian Timar |
2022-11-15 |
| 11461477 |
Obfuscation for high-performance computing systems |
Judson Powers, Robert A. Joyce, Scott Aloisio |
2022-10-04 |
| 11444974 |
Systems and methods for cyber-physical threat modeling |
Martiros Shakhzadyan, Judson Powers |
2022-09-13 |
| 11349894 |
Bandwidth-dependent media stream compression |
Tyler J. Mitchell, Scott Aloisio, Valentino Felipe, Judson Powers |
2022-05-31 |
| 11245743 |
Bandwidth dependent media stream compression |
Tyler J. Mitchell, Judson Powers, Scott Aloisio, Valentino Felipe |
2022-02-08 |
| 11122079 |
Obfuscation for high-performance computing systems |
Scott Aloisio, Robert A. Joyce, Paul Nicotera |
2021-09-14 |
| 10862938 |
Bandwidth-dependent media stream compression |
Tyler J. Mitchell, Scott Aloisio, Valentino Felipe, Judson Powers |
2020-12-08 |
| 10812562 |
Bandwidth dependent media stream compression |
Tyler J. Mitchell, Judson Powers, Scott Aloisio, Valentino Felipe |
2020-10-20 |
| 10783288 |
System and method for predicting aircraft runway capacity |
Sebastian Timar, Douglas Sweet |
2020-09-22 |
| 10621365 |
Obfuscation for high-performance computing systems |
Judson Powers, Robert A. Joyce, Scott Aloisio |
2020-04-14 |
| 9191391 |
Cross-domain object models for securely sharing information between network security domains |
— |
2015-11-17 |
| 8984396 |
Identifying and representing changes between extensible markup language (XML) files using symbols with data element indication and direction indication |
Daniel James Tingstrom, Robert A. Joyce, Stephen K. Brueckner, Haim Yehuda Bar |
2015-03-17 |
| 8898285 |
Service oriented architecture version and dependency control |
Daniel James Tingstrom, Robert A. Joyce, Stephen K. Brueckner, Haim Yehuda Bar |
2014-11-25 |
| 8756237 |
Scalable distributed processing of RDF data |
Robert A. Joyce |
2014-06-17 |
| 8474047 |
Remote collection of computer forensic evidence |
Frank N. Adelstein, Robert A. Joyce |
2013-06-25 |
| 8176557 |
Remote collection of computer forensic evidence |
Frank N. Adelstein, Robert A. Joyce |
2012-05-08 |
| 8015211 |
Secure peer-to-peer object storage system |
Carla Marceau |
2011-09-06 |
| 7908281 |
Dynamic assembly of information pedigrees |
Carla Marceau, David A. Rosenthal, Marisa Gioioso |
2011-03-15 |
| 7716470 |
Active verification of boot firmware |
Dexter Kozen, Thomas J. Merritt |
2010-05-11 |
| 7496959 |
Remote collection of computer forensic evidence |
Frank N. Adelstein, Robert A. Joyce |
2009-02-24 |
| 7467417 |
Active verification of boot firmware |
Dexter Kozen, Thomas J. Merritt |
2008-12-16 |