Damien

Results: 1013



#Item
271

Good Network Updates for Bad Packets Waypoint Enforcement Beyond Destination-Based Routing Policies Arne Ludwig1 , Matthias Rost1 , Damien Foucard1 , Stefan Schmid1,2 1 TU Berlin, Berlin, Germany;

Add to Reading List

Source URL: www.net.t-labs.tu-berlin.de

Language: English - Date: 2014-09-30 01:56:29
    272

    In: Phylogeography Editor: Damien S. Rutgers, ppISBN4 © 2010 Nova Science Publishers, Inc.

    Add to Reading List

    Source URL: cdn.salzburger-group.org

    Language: English - Date: 2014-03-18 12:05:59
      273

      A Distribution Law for CCS and a New Congruence Result for the π-Calculus Daniel Hirschkoff and Damien Pous LIP – ENS Lyon, CNRS, INRIA, UCBL, France Abstract. We give an axiomatisation of strong bisimilarity on a s

      Add to Reading List

      Source URL: perso.ens-lyon.fr

      Language: English - Date: 2012-10-03 08:42:33
        274

        GGHLite: More Efficient Multilinear Maps from Ideal Lattices? Adeline Langlois1 , Damien Stehlé1 , Ron Steinfeld2 1 2

        Add to Reading List

        Source URL: users.monash.edu.au

        Language: English - Date: 2014-07-03 23:36:48
          275

          Frequently Asked Questions Damien Gaboriau I’m frequently requested about precise references for various questions asked or problems posed in my papers. Here is a list of some of them. Fixed Price Problem [Gab00, p. 43

          Add to Reading List

          Source URL: www.umpa.ens-lyon.fr

          Language: English - Date: 2014-10-06 03:43:58
            276

            On Bisimulation Proofs for the Analysis of Distributed Abstract Machines Damien Pous ENS Lyon, France Abstract. We illustrate the use of recent, non-trivial proof techniques

            Add to Reading List

            Source URL: perso.ens-lyon.fr

            Language: English - Date: 2012-10-03 08:42:33
              277

              Up-to Techniques for Weak Bisimulation Damien Pous ENS Lyon Abstract. Up-to techniques have been introduced to enhance the bisimulation proof method for establishing bisimilarity results. While up-to techniques for stron

              Add to Reading List

              Source URL: perso.ens-lyon.fr

              Language: English - Date: 2012-10-03 08:42:33
                278

                Scientific Annals of Computer Science vol), 2012, pp. 147–199 DOI: SACSInnocent Strategies as Presheaves and Interactive Equivalences for CCS1 Tom HIRSCHOWITZ2 , Damien POUS3

                Add to Reading List

                Source URL: www.infoiasi.ro

                Language: English
                  279

                  The experiences of young children with migrant and refugee backgrounds at school Dr Clemence Due Professor Martha Augoustinos Associate Professor Damien W. Riggs

                  Add to Reading List

                  Source URL: www.togetherforchildren.net.au

                  Language: English - Date: 2015-05-19 21:14:18
                    280

                    INF157 - Utilisation des Réseaux Licence 3 Informatique Arnaud Pecher (repris par Damien Magoni) Bureau 322, Bâtiment A30, LaBRI Université de Bordeaux

                    Add to Reading List

                    Source URL: dept-info.labri.fr

                    Language: French - Date: 2009-09-10 19:48:07
                      UPDATE