Sciweavers

    6978 search results - page 244 / 1396
    » On Proofs in System P
    Sort
    View
    USENIX
    1994
    101views Operating System» more  USENIX 1994»
    Thwarting the Power-Hungry Disk
    15 years 8 months ago
    Thwarting the Power-Hungry Disk
    Download  www.usenix.org
    Fred Douglis, P. Krishnan, Brian Marsh
    claim paper
    Read More »
    CC
    2007
    Springer
    94views System Software» more  CC 2007»
    Pseudorandomness and Average-Case Complexity Via Uniform Reductions
    15 years 6 months ago
    Pseudorandomness and Average-Case Complexity Via Uniform Reductions
    Download  people.seas.harvard.edu
    Luca Trevisan, Salil P. Vadhan
    claim paper
    Read More »
    CCS
    2007
    ACM
    105views Security Privacy» more  CCS 2007»
    Pors: proofs of retrievability for large files
    16 years 24 days ago
    Pors: proofs of retrievability for large files
    Download  www.rsa.com
    In this paper, we define and explore proofs of retrievability (PORs). A POR scheme enables an archive or back-up service (prover) to produce a concise proof that a user (verifier...
    Ari Juels, Burton S. Kaliski Jr.
    claim paper
    Read More »
    SPAA
    2009
    ACM
    132views Distributed And Parallel Com...» more  SPAA 2009»
    The weakest failure detector for wait-free dining under eventual weak exclusion
    16 years 7 months ago
    The weakest failure detector for wait-free dining under eventual weak exclusion
    Download  srikanth.sastry.name
    Dining philosophers is a classic scheduling problem for local mutual exclusion on arbitrary conflict graphs. We establish necessary conditions to solve wait-free dining under even...
    Srikanth Sastry, Scott M. Pike, Jennifer L. Welch
    claim paper
    Read More »
    FSE
    2004
    Springer
    125views Cryptology» more  FSE 2004»
    New Security Proofs for the 3GPP Confidentiality and Integrity Algorithms
    15 years 10 months ago
    New Security Proofs for the 3GPP Confidentiality and Integrity Algorithms
    Download  www.cs.washington.edu
    ded abstract of this paper appears in Fast Software Encryption, FSE 2004, Lecture Notes in Computer Science, W. Meier and B. Roy editors, Springer-Verlag, 2004. This is the full ve...
    Tetsu Iwata, Tadayoshi Kohno
    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.