Sciweavers

    2272 search results - page 130 / 455
    » A Calculus for
    Sort
    View
    IFM
    2009
    Springer
    91views Formal Methods» more  IFM 2009»
    Predicate Abstraction in a Program Logic Calculus
    16 years 1 months ago
    Predicate Abstraction in a Program Logic Calculus
    Download  lfm.iti.uni-karlsruhe.de
    Benjamin Weiß
    claim paper
    Read More »
    ISW
    2009
    Springer
    108views Information Technology» more  ISW 2009»
    A Calculus to Detect Guessing Attacks
    16 years 1 months ago
    A Calculus to Detect Guessing Attacks
    Download  isc09.dti.unimi.it
    Bogdan Groza, Marius Minea
    claim paper
    Read More »
    PPDP
    2009
    Springer
    84views Programming Languages» more  PPDP 2009»
    The RPC calculus
    16 years 1 months ago
    The RPC calculus
    Download  ezrakilty.net
    Several recent language designs have offered a unified language for programming a distributed system, with explicit notation of locations; we call these “location-aware” lan...
    Ezra Cooper, Philip Wadler
    claim paper
    Read More »
    HASE
    2008
    IEEE
    115views Control Systems» more  HASE 2008»
    Transaction Calculus
    16 years 1 months ago
    Transaction Calculus
    Download  www.srds2007.org
    Jifeng He
    claim paper
    Read More »
    144
    Voted
    ASIAN
    2007
    Springer
    93views Algorithms» more  ASIAN 2007»
    Static vs Dynamic Typing for Access Control in Pi-Calculus
    16 years 1 months ago
    Static vs Dynamic Typing for Access Control in Pi-Calculus
    Download  www.dsi.unive.it
    Michele Bugliesi, Damiano Macedonio, Sabina Rossi
    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.