David Langworthy

Person

Kirkland, WA, US

People

Patents Grantslast 30 patents

Information Patent Grant
Binding CRUD-type protocols in distributed agreement protocols
- Patent number 10,193,951
- Issue date Jan 29, 2019
- Microsoft Technology Licensing, LLC
- David E. Langworthy
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Binding crud-type protocols in distributed agreement protocols
- Patent number 9,313,252
- Issue date Apr 12, 2016
- Microsoft Technology Licensing, LLC
- David E. Langworthy
- H04 - ELECTRIC COMMUNICATION TECHNIQUE
Information Patent Grant
Common intermediate representation for data scripting language
- Patent number 9,229,696
- Issue date Jan 5, 2016
- Microsoft Technology Licensing, LLC
- Donald F. Box
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Type system for declarative data scripting language
- Patent number 8,949,784
- Issue date Feb 3, 2015
- Microsoft Technology Licensing, LLC
- David E. Langworthy
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Access control management
- Patent number 8,763,093
- Issue date Jun 24, 2014
- Microsoft Corporation
- David E. Langworthy
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Bidirectional type checking for declarative data scripting language
- Patent number 8,762,942
- Issue date Jun 24, 2014
- Microsoft Corporation
- David E. Langworthy
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Common intermediate representation for data scripting language
- Patent number 8,473,897
- Issue date Jun 25, 2013
- Microsoft Corporation
- Donald F. Box
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Semantic subtyping for declarative data scripting language by calli...
- Patent number 8,413,119
- Issue date Apr 2, 2013
- Microsoft Corporation
- David E. Langworthy
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Compact syntax for data scripting language
- Patent number 8,321,833
- Issue date Nov 27, 2012
- Microsoft Corporation
- David E. Langworthy
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Tree-based directed graph programming structures for a declarative...
- Patent number 8,296,744
- Issue date Oct 23, 2012
- Microsoft Corporation
- David E. Langworthy
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Availability and scalability in a messaging system in a manner tran...
- Patent number 8,135,794
- Issue date Mar 13, 2012
- Microsoft Corporation
- Rodney T. Limprecht
- H04 - ELECTRIC COMMUNICATION TECHNIQUE
Information Patent Grant
Open content model Web service messaging
- Patent number 7,949,787
- Issue date May 24, 2011
- Microsoft Corporation
- Donald F. Box
- H04 - ELECTRIC COMMUNICATION TECHNIQUE
Information Patent Grant
Message exchange protocol extension negotiation
- Patent number 7,912,973
- Issue date Mar 22, 2011
- Microsoft Corporation
- Max A. Feingold
- H04 - ELECTRIC COMMUNICATION TECHNIQUE
Information Patent Grant
Mechanism for secure participation in a transaction by a third party
- Patent number 7,873,832
- Issue date Jan 18, 2011
- Microsoft Corporation
- Max A. Feingold
- H04 - ELECTRIC COMMUNICATION TECHNIQUE
Information Patent Grant
Using expressive session information to represent communication ses...
- Patent number 7,853,695
- Issue date Dec 14, 2010
- Microsoft Corporation
- Christopher G. Kaler
- H04 - ELECTRIC COMMUNICATION TECHNIQUE
Information Patent Grant
Binding heterogeneous transports to a message contract
- Patent number 7,801,999
- Issue date Sep 21, 2010
- Microsoft Corporation
- Jeffrey C. Schlimmer
- H04 - ELECTRIC COMMUNICATION TECHNIQUE
Information Patent Grant
Generalized protocol mapping
- Patent number 7,761,584
- Issue date Jul 20, 2010
- Microsoft Corporation
- David E. Langworthy
- H04 - ELECTRIC COMMUNICATION TECHNIQUE
Information Patent Grant
End-to-end reliable messaging with complete acknowledgement
- Patent number 7,702,924
- Issue date Apr 20, 2010
- Microsoft Corporation
- David E. Langworthy
- H04 - ELECTRIC COMMUNICATION TECHNIQUE
Information Patent Grant
Availability and scalability in a messaging system in a manner tran...
- Patent number 7,693,952
- Issue date Apr 6, 2010
- Microsoft Corporation
- Rodney T. Limprecht
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Message delivery with configurable assurances and features between...
- Patent number 7,676,580
- Issue date Mar 9, 2010
- Microsoft Corporation
- Richard D. Hill
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Pooling groups of wireless communication users
- Patent number 7,664,484
- Issue date Feb 16, 2010
- Tangoe, Inc.
- William Marsh
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Symbolic computation using an inverted match
- Patent number 7,664,723
- Issue date Feb 16, 2010
- Microsoft Corporation
- David E. Langworthy
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Transformation of modular finite state transducers
- Patent number 7,627,541
- Issue date Dec 1, 2009
- Microsoft Corporation
- Steven E. Lucco
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
End-to-end reliable messaging with complete acknowledgement
- Patent number 7,627,759
- Issue date Dec 1, 2009
- Microsoft Corporation
- David E. Langworthy
- H04 - ELECTRIC COMMUNICATION TECHNIQUE
Information Patent Grant
Transformation of modular finite state transducers
- Patent number 7,624,075
- Issue date Nov 24, 2009
- Microsoft Corporation
- Steven E. Lucco
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Reliable messaging using clocks with synchronized rates
- Patent number 7,536,436
- Issue date May 19, 2009
- Microsoft Corporation
- Gopala Krishna R. Kakivaya
- H04 - ELECTRIC COMMUNICATION TECHNIQUE
Information Patent Grant
Reliable messaging using clocks with synchronized rates
- Patent number 7,483,943
- Issue date Jan 27, 2009
- Microsoft Corporation
- Gopala Krishna R. Kakivaya
- H04 - ELECTRIC COMMUNICATION TECHNIQUE
Information Patent Grant
Querying for services using soap over UDP
- Patent number 7,453,875
- Issue date Nov 18, 2008
- Microsoft Corporation
- Michael S. Vernal
- H04 - ELECTRIC COMMUNICATION TECHNIQUE
Information Patent Grant
Scoped metadata in a markup language
- Patent number 7,451,157
- Issue date Nov 11, 2008
- Microsoft Corporation
- Christopher G. Kaler
- H04 - ELECTRIC COMMUNICATION TECHNIQUE
Information Patent Grant
Scoped metadata
- Patent number 7,418,457
- Issue date Aug 26, 2008
- Microsoft Corporation
- Christopher G. Kaler
- H04 - ELECTRIC COMMUNICATION TECHNIQUE

Patents Applicationslast 30 patents

Information Patent Application
BINDING CRUD-TYPE PROTOCOLS IN DISTRIBUTED AGREEMENT PROTOCOLS
- Publication number 20160197976
- Publication date Jul 7, 2016
- Microsoft Technology Licensing, LLC
- David E. Langworthy
- H04 - ELECTRIC COMMUNICATION TECHNIQUE
Information Patent Application
BINDING CRUD-TYPE PROTOCOLS IN DISTRIBUTED AGREEMENT PROTOCOLS
- Publication number 20130282789
- Publication date Oct 24, 2013
- Microsoft Corporation
- David E. Langworthy
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
COMMON INTERMEDIATE REPRESENTATION FOR DATA SCRIPTING LANGUAGE
- Publication number 20130263099
- Publication date Oct 3, 2013
- Microsoft Corporation
- Donald F. Box
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
ACCESS CONTROL MANAGEMENT
- Publication number 20130067539
- Publication date Mar 14, 2013
- Microsoft Corporation
- David E. Langworthy
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
SEMANTIC SUBTYPING FOR DECLARATIVE DATA SCRIPTING LANGUAGE BY CALLI...
- Publication number 20100192129
- Publication date Jul 29, 2010
- Microsoft Corporation
- David E. Langworthy
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
AVAILABILITY AND SCALABILITY IN A MESSAGING SYSTEM IN A MANNER TRAN...
- Publication number 20100192025
- Publication date Jul 29, 2010
- Microsoft Corporation
- Rodney T. Limprecht
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
TREE-BASED DIRECTED GRAPH PROGRAMMING STRUCTURES FOR A DECLARATIVE...
- Publication number 20100088665
- Publication date Apr 8, 2010
- Microsoft Corporation
- David E. Langworthy
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
COMMON INTERMEDIATE REPRESENTATION FOR DATA SCRIPTING LANGUAGE
- Publication number 20100088666
- Publication date Apr 8, 2010
- Microsoft Corporation
- Donald F. Box
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
BIDIRECTIONAL TYPE CHECKING FOR DECLARATIVE DATA SCRIPTING LANGUAGE
- Publication number 20100088679
- Publication date Apr 8, 2010
- Microsoft Corporation
- David E. Langworthy
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
SYSTEM AND METHOD FOR MAPPING A DOMAIN MODELING LANGUAGE TO A RELAT...
- Publication number 20100088685
- Publication date Apr 8, 2010
- Microsoft Corporation
- Haroon Ahmed
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
TYPE SYSTEM FOR DECLARATIVE DATA SCRIPTING LANGUAGE
- Publication number 20100088661
- Publication date Apr 8, 2010
- Microsoft Corporation
- David E. Langworthy
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
COMPACT SYNTAX FOR DATA SCRIPTING LANGUAGE
- Publication number 20100088672
- Publication date Apr 8, 2010
- Microsoft Corporation
- David E. Langworthy
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
PROGRAMMING LANGUAGE WITH EXTENSIBLE SYNTAX
- Publication number 20100088686
- Publication date Apr 8, 2010
- Microsoft Corporation
- David E. Langworthy
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
Modal and linear techniques for access control logic
- Publication number 20090083832
- Publication date Mar 26, 2009
- Microsoft Corporation
- Martin Abadi
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
COMPILING LOGICAL PROGRAMS TO REWRITE SYSTEMS
- Publication number 20080127129
- Publication date May 29, 2008
- Microsoft Corporation
- David E. Langworthy
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
TRANSFORMATION OF MODULAR FINITE STATE TRANSDUCERS
- Publication number 20080071801
- Publication date Mar 20, 2008
- Microsoft Corporation
- Steven E. Lucco
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
TRANFORMATION OF MODULAR FINITE STATE TRANSDUCERS
- Publication number 20080071802
- Publication date Mar 20, 2008
- Microsoft Corporation
- Steven E. Lucco
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
END-TO-END RELIABLE MESSAGING WITH COMPLETE ACKNOWLEDGEMENT
- Publication number 20070130478
- Publication date Jun 7, 2007
- Microsoft Corporation
- David E. Langworthy
- H04 - ELECTRIC COMMUNICATION TECHNIQUE
Information Patent Application
Symbolic computation using an inverted match
- Publication number 20070061115
- Publication date Mar 15, 2007
- Microsoft Corporation
- David E. Langworthy
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
Querying for services using soap over UDP
- Publication number 20060215571
- Publication date Sep 28, 2006
- Microsoft Corporation
- Michael S. Vernal
- H04 - ELECTRIC COMMUNICATION TECHNIQUE
Information Patent Application
Binding heterogeneous transports to a message contract
- Publication number 20060129655
- Publication date Jun 15, 2006
- Microsoft Corporation
- Jeffrey C. Schlimmer
- H04 - ELECTRIC COMMUNICATION TECHNIQUE
Information Patent Application
Message exchange protocol extension negotiation
- Publication number 20060123128
- Publication date Jun 8, 2006
- Microsoft Corporation
- Max A. Feingold
- H04 - ELECTRIC COMMUNICATION TECHNIQUE
Information Patent Application
Generalized protocol mapping
- Publication number 20060085560
- Publication date Apr 20, 2006
- Microsoft Corporation
- David E. Langworthy
- H04 - ELECTRIC COMMUNICATION TECHNIQUE
Information Patent Application
Reliable messaging using clocks with synchronized rates
- Publication number 20060075133
- Publication date Apr 6, 2006
- Microsoft Corporation
- Gopala Krishna R. Kakivaya
- H04 - ELECTRIC COMMUNICATION TECHNIQUE
Information Patent Application
Reliable messaging using clocks with synchronized rates
- Publication number 20060064464
- Publication date Mar 23, 2006
- Gopala Krishna R. Kakivaya
- H04 - ELECTRIC COMMUNICATION TECHNIQUE
Information Patent Application
End-to-end reliable messaging with complete acknowledgement
- Publication number 20060047947
- Publication date Mar 2, 2006
- Microsoft Corporation
- David E. Langworthy
- H04 - ELECTRIC COMMUNICATION TECHNIQUE
Information Patent Application
Mechanism for secure participation in a transaction by a third party
- Publication number 20060041744
- Publication date Feb 23, 2006
- Max A. Feingold
- H04 - ELECTRIC COMMUNICATION TECHNIQUE
Information Patent Application
Pooling groups of wireless communication users
- Publication number 20060014519
- Publication date Jan 19, 2006
- William Marsh
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
Open content model Web service messaging
- Publication number 20050204051
- Publication date Sep 15, 2005
- Microsoft Corporation
- Donald F. Box
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
Scoped metadata
- Publication number 20050177602
- Publication date Aug 11, 2005
- Microsoft Corporation
- Christopher G. Kaler
- H04 - ELECTRIC COMMUNICATION TECHNIQUE

David Langworthy

Person

Patents Grantslast 30 patents

Binding CRUD-type protocols in distributed agreement protocols

Binding crud-type protocols in distributed agreement protocols

Common intermediate representation for data scripting language

Type system for declarative data scripting language

Access control management

Bidirectional type checking for declarative data scripting language

Common intermediate representation for data scripting language

Semantic subtyping for declarative data scripting language by calli...

Compact syntax for data scripting language

Tree-based directed graph programming structures for a declarative...

Availability and scalability in a messaging system in a manner tran...

Open content model Web service messaging

Message exchange protocol extension negotiation

Mechanism for secure participation in a transaction by a third party

Using expressive session information to represent communication ses...

Binding heterogeneous transports to a message contract

Generalized protocol mapping

End-to-end reliable messaging with complete acknowledgement

Availability and scalability in a messaging system in a manner tran...

Message delivery with configurable assurances and features between...

Pooling groups of wireless communication users

Symbolic computation using an inverted match

Transformation of modular finite state transducers

End-to-end reliable messaging with complete acknowledgement

Transformation of modular finite state transducers

Reliable messaging using clocks with synchronized rates

Reliable messaging using clocks with synchronized rates

Querying for services using soap over UDP

Scoped metadata in a markup language

Scoped metadata

Patents Applicationslast 30 patents

BINDING CRUD-TYPE PROTOCOLS IN DISTRIBUTED AGREEMENT PROTOCOLS

BINDING CRUD-TYPE PROTOCOLS IN DISTRIBUTED AGREEMENT PROTOCOLS

COMMON INTERMEDIATE REPRESENTATION FOR DATA SCRIPTING LANGUAGE

ACCESS CONTROL MANAGEMENT

SEMANTIC SUBTYPING FOR DECLARATIVE DATA SCRIPTING LANGUAGE BY CALLI...

AVAILABILITY AND SCALABILITY IN A MESSAGING SYSTEM IN A MANNER TRAN...

TREE-BASED DIRECTED GRAPH PROGRAMMING STRUCTURES FOR A DECLARATIVE...

COMMON INTERMEDIATE REPRESENTATION FOR DATA SCRIPTING LANGUAGE

BIDIRECTIONAL TYPE CHECKING FOR DECLARATIVE DATA SCRIPTING LANGUAGE

SYSTEM AND METHOD FOR MAPPING A DOMAIN MODELING LANGUAGE TO A RELAT...

TYPE SYSTEM FOR DECLARATIVE DATA SCRIPTING LANGUAGE

COMPACT SYNTAX FOR DATA SCRIPTING LANGUAGE

PROGRAMMING LANGUAGE WITH EXTENSIBLE SYNTAX

Modal and linear techniques for access control logic

COMPILING LOGICAL PROGRAMS TO REWRITE SYSTEMS

TRANSFORMATION OF MODULAR FINITE STATE TRANSDUCERS

TRANFORMATION OF MODULAR FINITE STATE TRANSDUCERS

END-TO-END RELIABLE MESSAGING WITH COMPLETE ACKNOWLEDGEMENT

Symbolic computation using an inverted match

Querying for services using soap over UDP

Binding heterogeneous transports to a message contract

Message exchange protocol extension negotiation

Generalized protocol mapping

Reliable messaging using clocks with synchronized rates

Reliable messaging using clocks with synchronized rates

End-to-end reliable messaging with complete acknowledgement

Mechanism for secure participation in a transaction by a third party

Pooling groups of wireless communication users

Open content model Web service messaging

Scoped metadata