Search Results - "Computer network protocols."

Refine Results
  1. Cover Image

    It Takes a Village: Bridging the Gaps between Current and Formal Specifications for Protocols. by Basin, David, Foster, Nate, McMillan, Kenneth L., Namjoshi, Kedar S., Nita-Rotaru, Cristina, Smith, Jonathan M., Zave, Pamela, Zuck, Lenore D.

    Published in Communications of the ACM (Aug2025)

    View this record in EBSCOhost
    Article
  2. Cover Image

    Do Not Cut Off Aid to Israel: An increasingly fashionable view is wrong-and dangerous. by Abrams, Elliott

    Published in Commentary (Sep2023)

    View this record in EBSCOhost
    Article
  3. Cover Image

    Blockchain‐driven IoT solutions in agriculture. by Kataev, Mikhail, Bulysheva, Larisa, Krupskiy, Alexander

    Published in Systems Research & Behavioral Science (Jul/Aug2025)

    View this record in EBSCOhost
    Article
  4. Cover Image

    Will Bitcoin Incarnate Satoshi Nakamoto's Vision of Depoliticized Money? by Phillips, Emir

    Published in Journal of Economic Issues (Mar2025)

    View this record in EBSCOhost
    Article
  5. Cover Image

    To know or not to know: epistemic approaches to security protocol verification. by Dechesne, Francien, Yanjing Wang

    Published in Synthese (Dec2010 Supplement)

    View this record in EBSCOhost
    Article
  6. Cover Image

    Protocol, or the "Chivalry of the Object". by Yeager, Stephen M.

    Published in Critical Inquiry (Spring2019)

    View this record in EBSCOhost
    Article
  7. Cover Image

    Taking a Long Look at QUIC: An Approach for Rigorous Evaluation of Rapidly Evolving Transport Protocols. by Kakhki, Arash Molavi, Jero, Samuel, Choffnes, David, Nita-Rotaru, Cristina, Mislove, Alan

    Published in Communications of the ACM (Jul2019)

    View this record in EBSCOhost
    Article
  8. Cover Image

    Imperfect forward secrecy. by Adrian, David, Bhargavan, Karthikeyan, Durumeric, Zakir, Gaudry, Pierrick, Green, Matthew, Halderman, J. Alex, Heninger, Nadia, Springall, Drew, Thomé, Emmanuel, Valenta, Luke, VanderSloot, Benjamin, Wustrow, Eric, Zanella-Béguelin, Santiago, Zimmermann, Paul

    Published in Communications of the ACM (Jan2019)

    View this record in EBSCOhost
    Article
  9. Cover Image

    Protest Records, Data Validity, and the Mexican Media: Development and Assessment of a Keyword Search Protocol. by Strawn, Kelley D.

    Published in Social Movement Studies (Jan2010)

    View this record in EBSCOhost
    Article
  10. Cover Image

    In Search of Coproduction: Smart Services as Reciprocal Activities. by Carroll, John M., Chen, Jiawei, Yuan, Chien Wen Tina, Hanrahan, Benjamin V.

    Published in Computer (00189162) (Jul2016)

    View this record in EBSCOhost
    Article
  11. Cover Image

    The Future of Blockchain Consensus. by GRAMOLI, VINCENT, QIANG TANG

    Published in Communications of the ACM (Jul2023)

    View this record in EBSCOhost
    Article
  12. Cover Image

    A Messy State of the Union: Taming the Composite State Machines of TLS. by Beurdouche, Benjamin, Bhargavan, Karthikeyan, Delignat-Lavaud, Antoine, Fournet, Cédric, Kohlweiss, Markulf, Pironti, Alfredo, Strub, Pierre-Yves, Zinzindohoue, Jean Karim

    Published in Communications of the ACM (Feb2017)

    View this record in EBSCOhost
    Article
  13. Cover Image

    OPPORTUNITIES IN OPPORTUNISTIC COMPUTING. by Conti, Marco, Kumar, Mohan

    Published in Computer (00189162) (Jan2010)

    View this record in EBSCOhost
    Article
  14. Cover Image

    Modeling Differential Binding of α4β2 Nicotinic Acetyicholine Receptor with Agonists and Antagonists. by Xiaoqin Huang, Fang Zheng, Chang-Guo Zhan

    Published in Journal of the American Chemical Society (12/10/2008)

    View this record in EBSCOhost
    Article
  15. Cover Image

    Metro Wi-Fi Networks: What Are They and How Can They Benefit Your Community? by Williams, Bert

    Published in Public Management (00333611) (Mar2007)

    View this record in EBSCOhost
    Article
  16. Cover Image

    Securing Network Time Protocol. by STENN, HARLAN

    Published in Communications of the ACM (Feb2015)

    View this record in EBSCOhost
    Article
  17. Cover Image

    Device Onboarding Using FDO and the Untrusted Installer Model. by Cooper, Geoffrey H.

    Published in Communications of the ACM (Apr2024)

    View this record in EBSCOhost
    Article
  18. Cover Image

    Multipath TCP. by PAASCH, CHRISTOPH, BONAVENTURE, OLIVIER

    Published in Communications of the ACM (Apr2014)

    View this record in EBSCOhost
    Article
  19. Cover Image

    Passively Measuring TCP Round-Trip Times. by STROWES, STEPHEN D.

    Published in Communications of the ACM (Oct2013)

    View this record in EBSCOhost
    Article
  20. Cover Image

    SPDYing Up the Web. by Thomas, Bryce, Jurdak, Raja, Atkinson, Ian

    Published in Communications of the ACM (Dec2012)

    View this record in EBSCOhost
    Article

Search Tools: