INF

Results: 15295



#Item
561

Country Finnland Finnland Finnland Finnland Finnland

Add to Reading List

Source URL: www.inf-international.ovgu.de

Language: German - Date: 2018-02-20 10:02:08
    562

    A Fault-tolerant Algorithms for Tick-Generation in Asynchronous Logic: Robust Pulse Generation DANNY DOLEV, Hebrew University of Jerusalem, Israel

    Add to Reading List

    Source URL: people.mpi-inf.mpg.de

    Language: English - Date: 2015-05-29 10:12:09
      563

      /apol12/PowerManage/ELVR/INFSOF/INFSOF_00_00/INFSOF5906/ELD/gr1-master.eps

      Add to Reading List

      Source URL: www.inf.fu-berlin.de

      Language: English - Date: 2018-05-03 10:34:18
        564

        QUANTICOL A Quantitative Approach to Management and Design of Collective and Adaptive Behaviours quancol

        Add to Reading List

        Source URL: blog.inf.ed.ac.uk

        Language: English - Date: 2015-07-20 06:26:35
          565

          Terms & Privacy Policy INTRODUCTION Welcome to the Media Ventures International Limited ’s (MVI) privacy notice. MVI respects your privacy and is committed to protecting your personal data. This privacy notice will inf

          Add to Reading List

          Source URL: www.propertywire.com

          Language: English - Date: 2018-05-21 13:15:35
            566

            Attack-preserving Security Protocol Transformations Binh Thanh Nguyen, David Basin, and Christoph Sprenger Institute of Information Security, ETH Zurich, Switzerland {thannguy,basin,sprenger}@inf.ethz.ch Abstract. The r

            Add to Reading List

            Source URL: people.inf.ethz.ch

            Language: English - Date: 2014-04-16 16:25:39
              567

              Synthesis of Memory Fences via Refinement Propagation Yuri Meshman2 , Andrei Dan1 , Martin Vechev1 , and Eran Yahav2 1 ETH Zurich

              Add to Reading List

              Source URL: www.sri.inf.ethz.ch

              Language: English - Date: 2018-05-15 09:28:46
                568

                Verification of security protocols from confidentiality to privacy

                Add to Reading List

                Source URL: resources.mpi-inf.mpg.de

                Language: English - Date: 2015-09-14 05:20:26
                  569

                  Finding Fix Locations for CFL-Reachability Analyses via Minimum Cuts Andrei Marian Dan1 , Manu Sridharan2? , Satish Chandra2?? , Jean-Baptiste Jeannin2 , and Martin Vechev1 1

                  Add to Reading List

                  Source URL: www.sri.inf.ethz.ch

                  Language: English - Date: 2018-05-15 09:28:45
                    570

                    QUANTICOL A Quantitative Approach to Management and Design of Collective and Adaptive Behaviours quancol

                    Add to Reading List

                    Source URL: blog.inf.ed.ac.uk

                    Language: English - Date: 2015-09-29 11:49:47
                      UPDATE