-
1
-
2
Correctness of Communications Protocols, A case Study
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
-
4
-
5
-
6
A cooperative communication protocol for wireless ad-hoc networks
Published 2005Get full text
Thesis -
7
-
8
-
9
-
10
-
11
-
12
Secure communication through free-space channel using quantum illumination
Published 2014Get full text
Thesis -
13
-
14
I/O Automaton Models and Proofs for Shared-Key Communication Systems
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
Computer-based Real-time Conferences
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
Detect, Communicate, Collaborate: An agile digital network to manage disruptions
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
Communication with Contextual Uncertainty
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
Software for Interactive On-line Conferences
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
Development of Wireless Sensor Network to Detect Lameness in Dairy Cows
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
Capacity of Quantum Erasure Channel Assisted by Backwards Classical Communication
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