Sciweavers

    6978 search results - page 304 / 1396
    » On Proofs in System P
    Sort
    View
    CTRSA
    2009
    Springer
    134views Cryptology» more  CTRSA 2009»
    Dynamic Universal Accumulators for DDH Groups and Their Application to Attribute-Based Anonymous Credential Systems
    16 years 1 months ago
    Dynamic Universal Accumulators for DDH Groups and Their Application to Attribute-Based Anonymous Credential Systems
    Download  www.cs.dartmouth.edu
    Man Ho Au, Patrick P. Tsang, Willy Susilo, Yi Mu
    claim paper
    Read More »
    ATAL
    2009
    Springer
    116views Intelligent Agents» more  ATAL 2009»
    An agent oriented hotel information system
    16 years 1 months ago
    An agent oriented hotel information system
    Download  www.iiia.csic.es
    Armando Robles P, Pablo Noriega, Francisco J. Cant...
    claim paper
    Read More »
    TLCA
    2009
    Springer
    145views Theoretical Computer Science» more  TLCA 2009»
    Mathematical Synthesis of Equational Deduction Systems
    16 years 1 months ago
    Mathematical Synthesis of Equational Deduction Systems
    Download  www.cl.cam.ac.uk
    Marcelo P. Fiore, Chung-Kil Hur
    claim paper
    Read More »
    128
    Voted
    ASYNC
    2006
    IEEE
    68views Hardware» more  ASYNC 2006»
    Interface Design for Rationally Clocked GALS Systems
    16 years 24 days ago
    Interface Design for Rationally Clocked GALS Systems
    Download  tima.imag.fr
    Joycee Mekie, Supratik Chakraborty, Dinesh K. Shar...
    claim paper
    Read More »
    SENSYS
    2006
    ACM
    104views Sensor Networks» more  SENSYS 2006»
    Abstractions for safe concurrent programming in networked embedded systems
    16 years 21 days ago
    Abstractions for safe concurrent programming in networked embedded systems
    Download  selab.csuohio.edu
    William P. McCartney, Nigamanth Sridhar
    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.