Stefano

Results: 1815



#Item
161Gran: model checking grsecurity RBAC policies Michele Bugliesi Stefano Calzavara Riccardo Focardi Marco Squarcina DAIS, Università Ca’ Foscari Venezia, Italy

Gran: model checking grsecurity RBAC policies Michele Bugliesi Stefano Calzavara Riccardo Focardi Marco Squarcina DAIS, Università Ca’ Foscari Venezia, Italy

Add to Reading List

Source URL: www.dais.unive.it

- Date: 2015-10-21 08:22:44
    162Linked Disambiguated Distributional Semantic Networks Stefano Faralli1 , Alexander Panchenko2 , Chris Biemann2 , and Simone P. Ponzetto1 1 Data and Web Science Group, University of Mannheim, Germany

    Linked Disambiguated Distributional Semantic Networks Stefano Faralli1 , Alexander Panchenko2 , Chris Biemann2 , and Simone P. Ponzetto1 1 Data and Web Science Group, University of Mannheim, Germany

    Add to Reading List

    Source URL: ub-madoc.bib.uni-mannheim.de

    - Date: 2016-12-12 02:59:55
      163NAMUR DECLARATION december 5th 2016 List of first signatories Philippe Aghion, Collège de France László Andor, Corvinus University of Budapest Stefano Bartolini, European University Institute, Florence

      NAMUR DECLARATION december 5th 2016 List of first signatories Philippe Aghion, Collège de France László Andor, Corvinus University of Budapest Stefano Bartolini, European University Institute, Florence

      Add to Reading List

      Source URL: www.declarationdenamur.eu

        164Fame for sale: efficient detection of fake Twitter followers✩ Stefano Crescia,b , Roberto Di Pietrob, Marinella Petrocchia , Angelo Spognardia,1,∗, Maurizio Tesconia a IIT-CNR, b Bell Via G. Moruzzi, 1 – 56124 Pis

        Fame for sale: efficient detection of fake Twitter followers✩ Stefano Crescia,b , Roberto Di Pietrob, Marinella Petrocchia , Angelo Spognardia,1,∗, Maurizio Tesconia a IIT-CNR, b Bell Via G. Moruzzi, 1 – 56124 Pis

        Add to Reading List

        Source URL: arxiv.org

        - Date: 2015-11-10 20:58:20
          165Simultaneous Secrecy and Reliability Amplification for a General Channel Model Russell Impagliazzo1 , Ragesh Jaiswal2 , Valentine Kabanets3 , Bruce M. Kapron4 , Valerie King4 , and Stefano Tessaro5 1

          Simultaneous Secrecy and Reliability Amplification for a General Channel Model Russell Impagliazzo1 , Ragesh Jaiswal2 , Valentine Kabanets3 , Bruce M. Kapron4 , Valerie King4 , and Stefano Tessaro5 1

          Add to Reading List

          Source URL: eprint.iacr.org

          - Date: 2016-08-05 20:17:42
            166A Survey of Consistent Network Updates Klaus-Tycho Foerster, ETH Zurich, Switzerland Stefan Schmid, Aalborg University, Denmark Stefano Vissicchio, Universite catholique de Louvain, Belgium

            A Survey of Consistent Network Updates Klaus-Tycho Foerster, ETH Zurich, Switzerland Stefan Schmid, Aalborg University, Denmark Stefano Vissicchio, Universite catholique de Louvain, Belgium

            Add to Reading List

            Source URL: www.tik.ee.ethz.ch

            - Date: 2016-11-15 12:53:40
              167Proceedings of the 4th Workshop on New Forms of Reasoning for the Semantic Web: Scalable & Dynamic Stefano Ceri, Emanuele Della Valle, Jim Hendler,

              Proceedings of the 4th Workshop on New Forms of Reasoning for the Semantic Web: Scalable & Dynamic Stefano Ceri, Emanuele Della Valle, Jim Hendler,

              Add to Reading List

              Source URL: wasp.cs.vu.nl

              - Date: 2010-05-11 07:02:06
                168Semiring-Based Constraint Satisfaction and Optimization STEFANO BISTARELLI, UGO MONTANARI, AND FRANCESCA ROSSI University of Pisa, Pisa, Italy

                Semiring-Based Constraint Satisfaction and Optimization STEFANO BISTARELLI, UGO MONTANARI, AND FRANCESCA ROSSI University of Pisa, Pisa, Italy

                Add to Reading List

                Source URL: pdfs.semanticscholar.org

                - Date: 2015-07-28 19:52:53
                  169Gran: model checking grsecurity RBAC policies Michele Bugliesi Stefano Calzavara Riccardo Focardi Marco Squarcina DAIS, Università Ca’ Foscari Venezia, Italy

                  Gran: model checking grsecurity RBAC policies Michele Bugliesi Stefano Calzavara Riccardo Focardi Marco Squarcina DAIS, Università Ca’ Foscari Venezia, Italy

                  Add to Reading List

                  Source URL: secgroup.dais.unive.it

                  - Date: 2012-04-16 07:02:07
                    170INSTITUTO GEOLÓGICO SECRETARIA DO MEIO AMBIENTE AV. MIGUEL STÉFANO, 3900 – CEP – ÁGUA FUNDA – SÃO PAULO - SP PABX:

                    INSTITUTO GEOLÓGICO SECRETARIA DO MEIO AMBIENTE AV. MIGUEL STÉFANO, 3900 – CEP – ÁGUA FUNDA – SÃO PAULO - SP PABX:

                    Add to Reading List

                    Source URL: www.ambiente.sp.gov.br

                    - Date: 2014-05-23 23:46:30