Adrian

Results: 3880



#Item
241

Distributed Protocols as Behaviours in Erlang Darren Demicoli Adrian Francalanza CS, ICT

Add to Reading List

Source URL: staff.um.edu.mt

- Date: 2011-02-27 15:58:47
    242

    Creating Collections with Automatic Suggestions and Example-Based Refinement Adrian Secord1 , Holger Winnem¨oller2 , Wilmot Li2 , Mira Dontcheva2 1 New York University

    Add to Reading List

    Source URL: www.cs.nyu.edu

    - Date: 2010-10-06 14:54:53
      243

      Universe Types for Topology and Encapsulation Dave Cunningham1 , Werner Dietl2 , Sophia Drossopoulou1 , Adrian Francalanza3 , Peter M¨ uller2 , and Alexander J. Summers1 1

      Add to Reading List

      Source URL: pubs.doc.ic.ac.uk

      - Date: 2008-12-09 16:44:51
        244

        Runtime Monitoring of Distributed Systems∗ Adrian Francalanza Andrew Gauci Gordon J. Pace

        Add to Reading List

        Source URL: staff.um.edu.mt

        - Date: 2011-02-27 15:58:51
          245

          Universe Types for Topology and Encapsulation Dave Cunningham1 , Werner Dietl2 , Sophia Drossopoulou1 , Adrian Francalanza3 , Peter M¨ uller2 , and Alexander J. Summers1 1

          Add to Reading List

          Source URL: staff.um.edu.mt

          - Date: 2008-10-09 07:37:28
            246

            Towards a Formalisation of Erlang Failure and Failure Detection Audrianne Farrugia Adrian Francalanza

            Add to Reading List

            Source URL: staff.um.edu.mt

            - Date: 2012-05-18 00:02:17
              247

              Appears in the Proceedings of the 45th Annual IEEE/ACM International Symposium on Microarchitecture, 2012 Neural Acceleration for General-Purpose Approximate Programs Hadi Esmaeilzadeh Adrian Sampson

              Add to Reading List

              Source URL: www.cc.gatech.edu

              - Date: 2016-08-29 17:26:57
                248

                SWATT: SoftWare-based ATTestation for Embedded Devices∗ Arvind Seshadri CMU/CyLab Adrian Perrig CMU/CyLab

                Add to Reading List

                Source URL: www.netsec.ethz.ch

                - Date: 2015-06-01 09:06:13
                  249

                  Imperfect Forward Secrecy How Diffie-Hellman Fails in Practice David Adrian, Karthikeyan Bhargavan, Zakir Durumeric, Pierrick Gaudry, Matthew Green, J. Alex Halderman, Nadia Heninger, Drew Springall, Emmanuel Thom´e,

                  Add to Reading List

                  Source URL: ecc2015.math.u-bordeaux1.fr

                  - Date: 2015-09-27 09:29:28
                    250

                    Adrian J. Reimers 3803 Eastmont Drive South Bend, Indiana3027 NOT RELIABLE GUIDES

                    Add to Reading List

                    Source URL: www.churchmilitant.tv

                    - Date: 2016-02-05 20:13:06
                      UPDATE