| D1107699 |
Networking device |
Zachary Ebner, Anthony M. Bieniek |
2025-12-30 |
|
| D1106129 |
Networking device |
Susan Chandler, Zachary Ebner, John A. Schiel |
2025-12-16 |
|
| D1094347 |
Network interface device |
Susan Chandler, Shaun Hawkinson |
2025-09-23 |
|
| D1094345 |
Pluggable networking device |
Susan Chandler, Shaun Hawkinson |
2025-09-23 |
|
| D1094346 |
Networking device |
Susan Chandler, Shaun Hawkinson |
2025-09-23 |
|
| 9135279 |
Mesh-managing data across a distributed set of devices |
George P. Moromisato, Noah B. Edelstein, Abhay Parasnis, Raymond E. Ozzie, William D. Devlin +1 more |
2015-09-15 |
$32,492,000 |
| 8954507 |
Gathering and using awareness information |
Raymond E. Ozzie, George P. Moromisato, Abhay Parasnis, Noah B. Edelstein, William D. Devlin |
2015-02-10 |
$22,754,000 |
| 8364759 |
Mesh-managing data across a distributed set of devices |
George P. Moromisato, Noah B. Edelstein, Abhay Parasnis, Raymond E. Ozzie, William D. Devlin +1 more |
2013-01-29 |
$13,387,000 |
| 7853669 |
Mesh-managing data across a distributed set of devices |
George P. Moromisato, Noah B. Edelstein, Abhay Parasnis, Raymond E. Ozzie, William D. Devlin +1 more |
2010-12-14 |
$21,634,000 |
| 7797669 |
Analysis of distributed software systems via specification substitution |
Niels Jakob Rehof, Sriram K. Rajamani, Charles Antony Richard Hoare, Cedric Fournet |
2010-09-14 |
$27,616,000 |
| 7774219 |
Long running transaction integration with selective dehydration and selective compensation |
Gregory Meredith, Amit Mital, Arunchallam S. Sivakumar, Donald J. McCrady, Patrick James Helland +1 more |
2010-08-10 |
$15,662,000 |
| 7536606 |
Error detection in web services systems |
Sriram K. Rajamani, Jakob Rehob |
2009-05-19 |
$25,886,000 |
| 7526750 |
Object-based systematic state space exploration of software |
Shaz Qadeer, Niels Jakob Rehof, Sriram K. Rajamani, Yichen Xie |
2009-04-28 |
$32,077,000 |
| 7503033 |
Model for business workflow processes |
Lucius Gregory Meredith, Amit Mital, Marc Levy, Brian C. Beckman |
2009-03-10 |
$20,124,000 |
| 7467371 |
Binding for business workflow processes |
Lucius Gregory Meredith, Marc Levy, Brian C. Beckman, Bimal Mehta, Mitra Kanchan |
2008-12-16 |
$34,537,000 |
| 7409671 |
Model for business workflow processes |
Lucius Gregory Meredith, Amit Mital, Marc Levy, Brian C. Beckman |
2008-08-05 |
$32,950,000 |
| 7380166 |
Compensation framework for long running transactions |
Satish R. Thatte, Lucius Gregory Meredith, Marc Levy, Bimal Mehta, Johannes Klein |
2008-05-27 |
$21,072,000 |
| 7184967 |
System and method utilizing a graphical user interface of a business process workflow scheduling program |
Amit Mital, Lucius Gregory Meredith, Marc Levy, Brian C. Beckman, Terry J. Myerson |
2007-02-27 |
$31,612,000 |
| 6918053 |
Compensation framework for long running transactions |
Satish R. Thatte, Lucius Gregory Meredith, Marc Levy, Bimal Mehta, Johannes Klein |
2005-07-12 |
$55,108,000 |
| 6625602 |
Method and system for hierarchical transactions and compensation |
Lucius Gregory Meredith, Amit Mital, Marc Levy, Brian C. Beckman, Bimal Mehta |
2003-09-23 |
$142,970,000 |
| 6606711 |
Object security boundaries |
Satish R. Thatte, Richard D. Hill, Rebecca A. Norlander, Alexander A. Armanasu |
2003-08-12 |
$92,752,000 |
| 6604198 |
Automatic object caller chain with declarative impersonation and transitive trust |
Brian C. Beckman, Alexander A. Armanasu |
2003-08-05 |
$289,959,000 |
| 6574736 |
Composable roles |
— |
2003-06-03 |
$160,092,000 |
| 6487665 |
Object security boundaries |
Satish R. Thatte, Richard D. Hill, Rebecca A. Norlander, Alexander A. Armanasu |
2002-11-26 |
$226,685,000 |
| 6385724 |
Automatic object caller chain with declarative impersonation and transitive trust |
Brian C. Beckman, Alexander A. Armanasu |
2002-05-07 |
$222,257,000 |
