| 11675825 |
Method and system for principled approach to scientific knowledge representation, extraction, curation, and utilization |
Nurali Virani, Varish Mulwad |
2023-06-13 |
| 11100286 |
Methods and systems for implied graph patterns in property chains |
— |
2021-08-24 |
| 10984195 |
Methods and systems for using implied properties to make a controlled-english modelling language more natural |
Daniel Edward Russell |
2021-04-20 |
| 10460044 |
Methods and systems for translating natural language requirements to a semantic modeling language statement |
Emily LeBlanc |
2019-10-29 |
| 10346140 |
System and method for model based technology and process for safety-critical software development |
Timothy L. Johnson, Michael Richard Durling, Alexander Walsch, Kit Yan Siu, Luca Parolini +5 more |
2019-07-09 |
| 9747079 |
Method and system of software specification modeling |
Kit Yan Siu, Michael Richard Durling, Luca Parolini, Panagiotis Manolios, Han Yu +1 more |
2017-08-29 |
| 8572678 |
Security policy flow down system |
Bruce Gordon Barnett, Scott Charles Evans, Robert James Mitchell, Jr., Thomas Stephen Markham, Stephen J. Dill +2 more |
2013-10-29 |
| 8495736 |
Method and apparatus for providing information assurance attributes through a data providence architecture |
Stephen J. Dill, Bruce Gordon Barnett, Abha Moitra |
2013-07-23 |
| 8452962 |
Method and apparatus for simulating a workflow and analyzing the behavior of information assurance attributes through a data providence architecture |
Stephen J. Dill, Bruce Gordon Barnett, Abha Moitra |
2013-05-28 |
| 8281141 |
Method and apparatus for monitoring and analyzing degree of trust and information assurance attributes information in a data providence architecture workflow |
Stephen J. Dill, Bruce Gordon Barnett, Abha Moitra |
2012-10-02 |
| 8166122 |
Method and apparatus for generating a figure of merit for use in transmission of messages in a multi-level secure environment |
Stephen J. Dill, Bruce Gordon Barnett, Abha Moitra |
2012-04-24 |
| 7987088 |
System and method for automating the generation of an ontology from unstructured documents |
Abha Moitra, Michael A. Bodkin |
2011-07-26 |
| 6442569 |
Apparatus and method for data transfer between databases |
Richard Christopher Noel, James Leigh Douglass |
2002-08-27 |
| 5987433 |
Method and system for developing a time horizon based investment strategy |
— |
1999-11-16 |
| 5664093 |
System and method for managing faults in a distributed system |
Bruce Gordon Barnett, John J. Bloomer, Hsuan-Yeh Chang, Michael James Hartman, Barbara Jean Vivier |
1997-09-02 |
| 5629846 |
Method and system for document translation and extraction |
— |
1997-05-13 |
