| 8078555 |
Decoupling static program data and execution data |
Edmund Samuel Victor Pinto, Robert B. Schmidt |
2011-12-13 |
| 8074117 |
Inference of contract using declarative program definition |
Nicholas Alexander Allen, Kirill Gavrylyuk, Edmund Samuel Victor Pinto, Tao Xie, Asad Jawahar |
2011-12-06 |
| 7949720 |
Message object model |
Michael Steven Vernal, Aaron Stern, Donald F. Box, Erik B. Christensen, Michael J. Coulson +2 more |
2011-05-24 |
| 7925783 |
Transparent envelope for XML messages |
Nicholas Alexander Allen, Erik B. Christensen, Stephen Jared Maine, Stephen J. Millet |
2011-04-12 |
| 7925710 |
Simultaneous API exposure for messages |
Michael Steven Vernal, Donald F. Box, Douglas M. Purdy, Eugene Osovetsky, Stephen T. Swartz +2 more |
2011-04-12 |
| 7921216 |
System and method for building and using communication binding objects |
Craig A. Critchley, David Wortendyke, Elliot Waingold, Eric K. Zinda, Erik B. Christensen +9 more |
2011-04-05 |
| 7882236 |
Communication channel model |
Bradford H. Lovering, David Wortendyke, Waingold L. Elliot, Erik B. Christensen, Michael Steven Vernal +2 more |
2011-02-01 |