Showing 1 - 20 results of 94 for search '"communication protocol"', query time: 0.07s Refine Results
  1. 1
  2. 2

    Correctness of Communications Protocols, A case Study by Søgaard-Andersen, Jørgen, Lynch, Nancy A., Lampson, Butler W.

    Published 2023
    “…During the past few years, the technology for formal specification and verification of communication protocols has matured to the point where we believe that it now provides practical assistance for protocol design and validation.…”
    Get full text
  3. 3
  4. 4
  5. 5
  6. 6
  7. 7
  8. 8
  9. 9
  10. 10
  11. 11
  12. 12
  13. 13
  14. 14

    I/O Automaton Models and Proofs for Shared-Key Communication Systems by Lynch, Nancy A.

    Published 2023
    “…The combination of two security protocols, a simple shared-key communication protocol and the Diffie-Hellman key distribution protocol, is modeled formally and proved correct. …”
    Get full text
  15. 15

    Computer-based Real-time Conferences by Sarin, Sunil K., Greif, Irene

    Published 2023
    “…Network communication requirements for real-time conferences, and their potential impact on communication protocol standards, are discussed. Real-time conferencing is contrasted with aynchronous communication support such as electronic message systems and shared databases, and the need for the two to work together within the total system environment is emphasized.…”
    Get full text
  16. 16

    Detect, Communicate, Collaborate: An agile digital network to manage disruptions by Tewari, Prateek, Wei, Yusong

    Published 2023
    “…This project sought to address critical gaps in the extended supply chain network of the sponsor company by evaluating the efficacy of establishing a communication protocol with upstream suppliers to detect and mitigate supply chain disruptions. …”
    Get full text
  17. 17

    Communication with Contextual Uncertainty by Komargodski, Ilan, Kothari, Pravesh K, Sudan, Madhu, Kothari, Pravesh K., Ghazi, Badih

    Published 2018
    “…Namely, we show that if g has a communication protocol with complexity k in the standard setting and the mutual information between X and Y is I, then g has a one-way communication protocol with complexity O((1+I)⋅2[superscript k]) in the uncertain setting. …”
    Get full text
    Get full text
    Article
  18. 18

    Software for Interactive On-line Conferences by Sarin, Sunil K., Greif, Irene

    Published 2023
    “…In particular, it is argued that Ensemble represents a plausible first step toward a Session-layer protocol for "multi-endpoint connections," a neglected area of communication protocol development.…”
    Get full text
  19. 19

    Development of Wireless Sensor Network to Detect Lameness in Dairy Cows by Nguyen, Thanh Nha

    Published 2022
    “…The network architecture is designed to accommodate a large number of cows (1000s) and the size of dairy farms (area >1500000 m²) by combining a short-range and a long-range communication protocol (Bluetooth Low Energy (BLE) and LoRa). …”
    Get full text
    Thesis
  20. 20

    Capacity of Quantum Erasure Channel Assisted by Backwards Classical Communication by Leung, Debbie W., Lim, Joungkeun, Shor, Peter W.

    Published 2010
    “…We present a communication protocol for the erasure channel assisted by backward classical communication, which achieves a significantly better rate than the best prior result. …”
    Get full text
    Get full text
    Article