Protocols

Results: 23793



#Item
21Automated Verification of Remote Electronic Voting Protocols in the Applied Pi-calculus Michael Backes1,2 , C˘at˘alin Hri¸tcu1 , and Matteo Maffei1 1 Saarland University, Saarbrücken, Germany

Automated Verification of Remote Electronic Voting Protocols in the Applied Pi-calculus Michael Backes1,2 , C˘at˘alin Hri¸tcu1 , and Matteo Maffei1 1 Saarland University, Saarbrücken, Germany

Add to Reading List

Source URL: prosecco.gforge.inria.fr

Language: English - Date: 2014-03-05 17:17:53
    22LARGE-CAPACITY PASSENGER VEHICLE SAFETY PROTOCOLS 1. Purpose & Definition. This document is intended to provide standards for the safe use of any State-Risk-Management-insured vehicle that is designed to carry 12 or more

    LARGE-CAPACITY PASSENGER VEHICLE SAFETY PROTOCOLS 1. Purpose & Definition. This document is intended to provide standards for the safe use of any State-Risk-Management-insured vehicle that is designed to carry 12 or more

    Add to Reading List

    Source URL: risk.utah.gov

    Language: English - Date: 2017-08-14 09:57:33
      23Inclusive Block Chain Protocols Yoad Lewenberg1 , Yonatan Sompolinsky1 , and Aviv Zohar1,2 1 The School of Engineering and Computer Science, The Hebrew University of Jerusalem, Israel

      Inclusive Block Chain Protocols Yoad Lewenberg1 , Yonatan Sompolinsky1 , and Aviv Zohar1,2 1 The School of Engineering and Computer Science, The Hebrew University of Jerusalem, Israel

      Add to Reading List

      Source URL: www.cs.huji.ac.il

      Language: English - Date: 2015-07-23 04:46:02
        24PERSPECTIVE 10 years of Nature Protocols The power of multiplexed functional analysis of genetic variants

        PERSPECTIVE 10 years of Nature Protocols The power of multiplexed functional analysis of genetic variants

        Add to Reading List

        Source URL: krishna.gs.washington.edu

        Language: English - Date: 2017-08-31 20:39:21
          25

          Parasexual Genetics in Dictyostelium. Jason King & Robert Insall, Version 1.9 – Janthese protocols are inevitably preliminary; please tell Robert as quickly as possible if you find enhancements or different tec

          Add to Reading List

          Source URL: www.dictybase.org

          Language: English - Date: 2007-04-26 08:41:07
            26C H A P TER 30 Internet Protocols Background

            C H A P TER 30 Internet Protocols Background

            Add to Reading List

            Source URL: fab.cba.mit.edu

            Language: English - Date: 2010-09-16 17:41:10
              27Clinical Review & Education JAMA | Special Communication Guidelines for Inclusion of Patient-Reported Outcomes in Clinical Trial Protocols

              Clinical Review & Education JAMA | Special Communication Guidelines for Inclusion of Patient-Reported Outcomes in Clinical Trial Protocols

              Add to Reading List

              Source URL: www.spirit-statement.org

              Language: English - Date: 2018-02-07 08:34:06
                28[MS-CFB]: Compound File Binary File Format Intellectual Property Rights Notice for Open Specifications Documentation  Technical Documentation. Microsoft publishes Open Specifications documentation for protocols,

                [MS-CFB]: Compound File Binary File Format Intellectual Property Rights Notice for Open Specifications Documentation  Technical Documentation. Microsoft publishes Open Specifications documentation for protocols,

                Add to Reading List

                Source URL: winprotocoldoc.blob.core.windows.net

                Language: English - Date: 2016-06-21 22:06:57
                  29Communication Protocols for Underwater Data Collection using a Robotic Sensor Network Geoffrey A. Hollinger, Member, IEEE, Sunav Choudhary, Student Member, IEEE, Parastoo Qarabaqi, Student Member, IEEE, Christopher Murph

                  Communication Protocols for Underwater Data Collection using a Robotic Sensor Network Geoffrey A. Hollinger, Member, IEEE, Sunav Choudhary, Student Member, IEEE, Parastoo Qarabaqi, Student Member, IEEE, Christopher Murph

                  Add to Reading List

                  Source URL: robotics.usc.edu

                  Language: English - Date: 2012-06-07 04:24:58
                    30A Language-theoretic View on Network Protocols Pierre Ganty1 , Boris Köpf1 , and Pedro Valero1,2 1 IMDEA Software Institute, Madrid, Spain Universidad Politécnica de Madrid, Spain

                    A Language-theoretic View on Network Protocols Pierre Ganty1 , Boris Köpf1 , and Pedro Valero1,2 1 IMDEA Software Institute, Madrid, Spain Universidad Politécnica de Madrid, Spain

                    Add to Reading List

                    Source URL: software.imdea.org

                    Language: English - Date: 2017-07-06 06:45:59