Sciweavers

    2272 search results - page 128 / 455
    » A Calculus for
    Sort
    View
    ICFP
    2002
    ACM
    76views Programming Languages» more  ICFP 2002»
    An interoperable calculus for external object access
    16 years 4 months ago
    An interoperable calculus for external object access
    Download  www.pllab.riec.tohoku.ac.jp
    Atsushi Ohori, Kiyoshi Yamatodani
    claim paper
    Read More »
    SODA
    2010
    ACM
    142views Algorithms» more  SODA 2010»
    Towards a calculus for non-linear spectral gaps
    16 years 1 months ago
    Towards a calculus for non-linear spectral gaps
    Download  www.cims.nyu.edu
    Manor Mendel, Assaf Naor
    claim paper
    Read More »
    SOFSEM
    2010
    Springer
    259views Theoretical Computer Science» more  SOFSEM 2010»
    A Complete Symbolic Bisimulation for Full Applied Pi Calculus
    16 years 29 days ago
    A Complete Symbolic Bisimulation for Full Applied Pi Calculus
    Download  www.sofsem.cz
    Jia Liu, Huimin Lin
    claim paper
    Read More »
    HICSS
    2010
    IEEE
    172views Biometrics» more  HICSS 2010»
    Privacy Calculus on Social Networking Sites: Explorative Evidence from Germany and USA
    15 years 11 months ago
    Privacy Calculus on Social Networking Sites: Explorative Evidence from Germany and USA
    Download  csdl2.computer.org
    Worldwide social networks, like Facebook, face fierce competition from local platforms when expanding globally. To remain attractive social network providers need to encourage use...
    Hanna Krasnova, Natasha F. Veltri
    claim paper
    Read More »
    BIRTHDAY
    2009
    Springer
    112views Applied Computing» more  BIRTHDAY 2009»
    A Higher-Order Graph Calculus for Autonomic Computing
    15 years 11 months ago
    A Higher-Order Graph Calculus for Autonomic Computing
    Download  www.pst.ifi.lmu.de
    Oana Andrei, Hélène Kirchner
    claim paper
    Read More »
    Explore & Download
    Proceedings Preprints Top 5 Ranked Papers Publications Books Software Tutorials Presentations Lectures Notes Datasets
    Productivity Tools
    i2PDF i2Img i2Text i2OCR i2Symbol i2Type i2Speak i2Style i2Arabic i2Bopomo Latex Equation Editor
    Sciweavers
    About Community Cookies Privacy Policy Terms of Use

    Copyright © Sciweavers LLC, 2009-2026, USA.