Sciweavers

    6650 search results - page 41 / 1330
    » models 2009
    Sort
    View
    CAV
    2009
    Springer
    106views Hardware» more  CAV 2009»
    Models and Proofs of Protocol Security: A Progress Report
    16 years 5 months ago
    Models and Proofs of Protocol Security: A Progress Report
    Download  www.di.ens.fr
    Bruno Blanchet, Hubert Comon-Lundh, Martín ...
    claim paper
    Read More »
    236
    Voted
    PODS
    2009
    ACM
    101views Database» more  PODS 2009»
    XML with incomplete information: models, properties, and query answering
    16 years 5 months ago
    XML with incomplete information: models, properties, and query answering
    Download  sirangelo.info
    Pablo Barceló, Leonid Libkin, Antonella Pog...
    claim paper
    Read More »
    ICALP
    2009
    Springer
    126views Programming Languages» more  ICALP 2009»
    Graph Sparsification in the Semi-streaming Model
    16 years 5 months ago
    Graph Sparsification in the Semi-streaming Model
    Download  www.cis.upenn.edu
    Kook Jin Ahn, Sudipto Guha
    claim paper
    Read More »
    WISE
    2009
    Springer
    84views Internet Technology» more  WISE 2009»
    Processes Are Data: A Programming Model for Distributed Applications
    16 years 2 months ago
    Processes Are Data: A Programming Model for Distributed Applications
    Download  pi3.informatik.uni-mannheim.de
    Alexander Böhm 0002, Carl-Christian Kanne
    claim paper
    Read More »
    ASUNAM
    2009
    IEEE
    375views Social Networks» more  ASUNAM 2009»
    Dynamic and Static Influence Models on Starbucks Networks
    16 years 15 hour ago
    Dynamic and Static Influence Models on Starbucks Networks
    Download  bi.snu.ac.kr
    Minkyoung Kim, Byoung-Tak Zhang, June-Sup Lee
    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.