| 10193951 |
Binding CRUD-type protocols in distributed agreement protocols |
John P. Shewchuk, William L. Portnoy |
2019-01-29 |
$45,128,000 |
| 9313252 |
Binding crud-type protocols in distributed agreement protocols |
John P. Shewchuk, William L. Portnoy |
2016-04-12 |
$45,069,000 |
| 9229696 |
Common intermediate representation for data scripting language |
Donald F. Box, Bradford H. Lovering, John D. Doty, Jeffrey C. Schlimmer, John Lawrence Hamby |
2016-01-05 |
$38,756,000 |
| 8949784 |
Type system for declarative data scripting language |
Gavin Mark Bierman, Andrew D. Gordon, Donald F. Box, Bradford H. Lovering, Jeffrey C. Schlimmer +1 more |
2015-02-03 |
$24,850,000 |
| 8762942 |
Bidirectional type checking for declarative data scripting language |
Gavin Mark Bierman, Andrew D. Gordon, Donald F. Box, Bradford H. Lovering, Jeffrey C. Schlimmer +1 more |
2014-06-24 |
$40,583,000 |
| 8763093 |
Access control management |
Qian Wang, Andrew Layman, John P. Shewchuk, Shiung-Vei Yong, Charles Edgar Passmore +2 more |
2014-06-24 |
$40,583,000 |
| 8473897 |
Common intermediate representation for data scripting language |
Donald F. Box, Bradford H. Lovering, John D. Doty, Jeffrey C. Schlimmer, John Lawrence Hamby |
2013-06-25 |
$15,479,000 |
| 8413119 |
Semantic subtyping for declarative data scripting language by calling a prover |
Gavin Mark Bierman, Andrew D. Gordon, Donald F. Box, Bradford H. Lovering, Jeffrey C. Schlimmer +1 more |
2013-04-02 |
$14,898,000 |
| 8321833 |
Compact syntax for data scripting language |
Bradford H. Lovering, Donald F. Box, Giovanni M. Della-Libera, Jeffrey S. Pinkston, Jeffrey C. Schlimmer +2 more |
2012-11-27 |
$16,695,000 |
| 8296744 |
Tree-based directed graph programming structures for a declarative programming language |
John Lawrence Hamby, Bradford H. Lovering, Donald F. Box |
2012-10-23 |
$17,154,000 |
| 8135794 |
Availability and scalability in a messaging system in a manner transparent to the application |
Rodney Limprecht, Richard D. Hill, Hany E. Ramadan, Shy Cohen |
2012-03-13 |
$22,667,000 |
| 7949787 |
Open content model Web service messaging |
Donald F. Box, Christopher G. Kaler, Steven Lucco, John P. Shewchuk, Luis Felipe Cabrera +6 more |
2011-05-24 |
$18,620,000 |
| 7912973 |
Message exchange protocol extension negotiation |
Max Feingold, James E. Johnson, John D. Doty, Michael Ray Clark |
2011-03-22 |
$15,289,000 |
| 7873832 |
Mechanism for secure participation in a transaction by a third party |
Max Feingold, Christopher G. Kaler, James E. Johnson |
2011-01-18 |
$19,360,000 |
| 7853695 |
Using expressive session information to represent communication sessions in a distributed system |
Christopher G. Kaler, John P. Shewchuk |
2010-12-14 |
$21,634,000 |
| 7801999 |
Binding heterogeneous transports to a message contract |
Jeffrey C. Schlimmer |
2010-09-21 |
$12,612,000 |
| 7761584 |
Generalized protocol mapping |
Satish R. Thatte |
2010-07-20 |
$20,395,000 |
| 7702924 |
End-to-end reliable messaging with complete acknowledgement |
Christopher G. Kaler, Luis Felipe Cabrera, Patrick James Helland, Steven Lucco, John P. Shewchuk |
2010-04-20 |
$23,763,000 |
| 7693952 |
Availability and scalability in a messaging system in a manner transparent to the application |
Rodney Limprecht, Richard D. Hill, Hany E. Ramadan, Shy Cohen |
2010-04-06 |
$19,843,000 |
| 7676580 |
Message delivery with configurable assurances and features between two endpoints |
Richard D. Hill, Rodney Limprecht, Hany E. Ramadan, Shy Cohen |
2010-03-09 |
$20,400,000 |
| 7664723 |
Symbolic computation using an inverted match |
— |
2010-02-16 |
$17,946,000 |
| 7664484 |
Pooling groups of wireless communication users |
William Marsh, James E. Dutton |
2010-02-16 |
|
| 7627759 |
End-to-end reliable messaging with complete acknowledgement |
Christopher G. Kaler, Luis Felipe Cabrera, Patrick James Helland, Steven Lucco, John P. Shewchuk |
2009-12-01 |
$28,638,000 |
| 7627541 |
Transformation of modular finite state transducers |
Steven Lucco, Giovanni M. Della-Libera |
2009-12-01 |
$28,638,000 |
| 7624075 |
Transformation of modular finite state transducers |
Steven Lucco, Giovanni M. Della-Libera |
2009-11-24 |
$30,187,000 |
