Treffer 1 - 20 von 251 für Suche 'LANGWORTHY DAVID', Suchdauer: 0,86s Treffer weiter einschränken
  1. 1
    Oslo Modeling Language, The: Draft Specification - October 2008

    Oslo Modeling Language, The: Draft Specification - October 2008 von Box, Don, Langworthy, David, Lovering, Brad

    Volltext
    Buch

    Zu den Favoriten
    Gespeichert in:
  2. 2
    Semantic subtyping with an SMT solver

    Semantic subtyping with an SMT solver von BIERMAN, GAVIN M., GORDON, ANDREW D., HRIŢCU, CĂTĂLIN, LANGWORTHY, DAVID


    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  3. 3
    BINDING CRUD-TYPE PROTOCOLS IN DISTRIBUTED AGREEMENT PROTOCOLS

    BINDING CRUD-TYPE PROTOCOLS IN DISTRIBUTED AGREEMENT PROTOCOLS von SHEWCHUK, John P, PORTNOY, William Lawrence, LANGWORTHY, David E

    Volltext bestellen
    Patent

    Zu den Favoriten
    Gespeichert in:
  4. 4
    BINDING CRUD-TYPE PROTOCOLS IN DISTRIBUTED AGREEMENT PROTOCOLS

    BINDING CRUD-TYPE PROTOCOLS IN DISTRIBUTED AGREEMENT PROTOCOLS von SHEWCHUK, John P, PORTNOY, William Lawrence, LANGWORTHY, David E

    Volltext bestellen
    Patent

    Zu den Favoriten
    Gespeichert in:
  5. 5
    BINDING CRUD-TYPE PROTOCOLS IN DISTRIBUTED AGREEMENT PROTOCOLS

    BINDING CRUD-TYPE PROTOCOLS IN DISTRIBUTED AGREEMENT PROTOCOLS von SHEWCHUK, John P, PORTNOY, William Lawrence, LANGWORTHY, David E

    Volltext bestellen
    Patent

    Zu den Favoriten
    Gespeichert in:
  6. 6
    Binding CRUD-type protocols in distributed agreement protocols

    Binding CRUD-type protocols in distributed agreement protocols von Shewchuk, John P, Portnoy, William Lawrence, Langworthy, David E

    Volltext bestellen
    Patent

    Zu den Favoriten
    Gespeichert in:
  7. 7
    RELIABLE MESSAGING USING CLOCKS WITH SYNCHRONIZED RATES

    RELIABLE MESSAGING USING CLOCKS WITH SYNCHRONIZED RATES von LANGWORTHY, DAVID E, KAKIVAYA, GOPALA KRISHNA R

    Volltext bestellen
    Patent

    Zu den Favoriten
    Gespeichert in:
  8. 8
    Reliable messaging using clocks with synchronized rates

    Reliable messaging using clocks with synchronized rates von LANGWORTHY, DAVID E, KAKIVAYA, GOPALA KRISHNA R

    Volltext bestellen
    Patent

    Zu den Favoriten
    Gespeichert in:
  9. 9
    Symbolic computation using an inverted match

    Symbolic computation using an inverted match von LANGWORTHY DAVID E

    Volltext bestellen
    Patent

    Zu den Favoriten
    Gespeichert in:
  10. 10
    Symbolic computation using an inverted match

    Symbolic computation using an inverted match von Langworthy, David E

    Volltext bestellen
    Patent

    Zu den Favoriten
    Gespeichert in:
  11. 11
    TREE-BASED DIRECTED GRAPH PROGRAMMING STRUCTURES FOR A DECLARATIVE PROGRAMMING LANGUAGE

    TREE-BASED DIRECTED GRAPH PROGRAMMING STRUCTURES FOR A DECLARATIVE PROGRAMMING LANGUAGE von HAMBY, John L, LANGWORTHY, David E, LOVERING, Bradford H, BOX, Donald F

    Volltext bestellen
    Patent

    Zu den Favoriten
    Gespeichert in:
  12. 12
    BINDING CRUD-TYPE PROTOCOLS IN DISTRIBUTED AGREEMENT PROTOCOLS

    BINDING CRUD-TYPE PROTOCOLS IN DISTRIBUTED AGREEMENT PROTOCOLS von LANGWORTHY DAVID E, PORTNOY WILLIAM LAWRENCE, SHEWCHUK JOHN P

    Volltext bestellen
    Patent

    Zu den Favoriten
    Gespeichert in:
  13. 13
    Binding crud-type protocols in distributed agreement protocols

    Binding crud-type protocols in distributed agreement protocols von LANGWORTHY DAVID E, PORTNOY WILLIAM LAWRENCE, SHEWCHUK JOHN P

    Volltext bestellen
    Patent

    Zu den Favoriten
    Gespeichert in:
  14. 14
    Semantic subtyping with an SMT solver

    Semantic subtyping with an SMT solver von Bierman, Gavin M., Gordon, Andrew D., Hriţcu, Cătălin, Langworthy, David

    Veröffentlicht in SIGPLAN notices

    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  15. 15
    BINDING CRUD-TYPE PROTOCOLS IN DISTRIBUTED AGREEMENT PROTOCOLS

    BINDING CRUD-TYPE PROTOCOLS IN DISTRIBUTED AGREEMENT PROTOCOLS von PORTNOY, WILLIAM LAWRENCE, LANGWORTHY, DAVID E, SHEWCHUK, JOHN P

    Volltext bestellen
    Patent

    Zu den Favoriten
    Gespeichert in:
  16. 16
    Symbolic computation using an inverted match

    Symbolic computation using an inverted match von LANGWORTHY DAVID E

    Volltext bestellen
    Patent

    Zu den Favoriten
    Gespeichert in:
  17. 17
    Formal Specification of a Web Services Protocol

    Formal Specification of a Web Services Protocol von Johnson, James E., Langworthy, David E., Lamport, Leslie, Vogt, Friedrich H.


    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  18. 18
    BINDING CRUD-TYPE PROTOCOLS IN DISTRIBUTED AGREEMENT PROTOCOLS

    BINDING CRUD-TYPE PROTOCOLS IN DISTRIBUTED AGREEMENT PROTOCOLS von PORTNOY, WILLIAM LAWRENCE, LANGWORTHY, DAVID E, SHEWCHUK, JOHN P

    Volltext bestellen
    Patent

    Zu den Favoriten
    Gespeichert in:
  19. 19
    BINDING CRUD-TYPE PROTOCOLS IN DISTRIBUTED AGREEMENT PROTOCOLS

    BINDING CRUD-TYPE PROTOCOLS IN DISTRIBUTED AGREEMENT PROTOCOLS von LANGWORTHY DAVID E, PORTNOY WILLIAM LAWRENCE, SHEWCHUK JOHN P

    Volltext bestellen
    Patent

    Zu den Favoriten
    Gespeichert in:
  20. 20
    Binding heterogeneous transports to a message contract

    Binding heterogeneous transports to a message contract von Schlimmer, Jeffrey C, Langworthy, David E

    Volltext bestellen
    Patent

    Zu den Favoriten
    Gespeichert in:

Suchwerkzeuge: