Sciweavers

    9888 search results - page 178 / 1978
    » compute 2009
    Sort
    View
    150
    Voted
    WISE
    2009
    Springer
    84views Internet Technology» more  WISE 2009»
    Processes Are Data: A Programming Model for Distributed Applications
    16 years 4 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 »
    LICS
    2009
    IEEE
    118views Automated Reasoning» more  LICS 2009»
    Quantitative Model Checking of Continuous-Time Markov Chains Against Timed Automata Specifications
    16 years 1 months ago
    Quantitative Model Checking of Continuous-Time Markov Chains Against Timed Automata Specifications
    Download  eprints.eemcs.utwente.nl
    Taolue Chen, Tingting Han, Joost-Pieter Katoen, Al...
    claim paper
    Read More »
    130
    Voted
    BTW
    2009
    Springer
    162views Database» more  BTW 2009»
    MyMIDP and MyMIDP-Client: Direct Access to MySQL Databases from Cell Phones
    16 years 1 months ago
    MyMIDP and MyMIDP-Client: Direct Access to MySQL Databases from Cell Phones
    Download  www.imamu.edu.sa
    Hagen Höpfner, Jörg Schad, Sebastian Wen...
    claim paper
    Read More »
    FSTTCS
    2009
    Springer
    95views Software Engineering» more  FSTTCS 2009»
    Recurrence and Transience for Probabilistic Automata
    16 years 1 months ago
    Recurrence and Transience for Probabilistic Automata
    Download  www.lri.fr
    Mathieu Tracol, Christel Baier, Marcus Grö&sz...
    claim paper
    Read More »
    FSTTCS
    2009
    Springer
    116views Software Engineering» more  FSTTCS 2009»
    On the Memory Consumption of Probabilistic Pushdown Automata
    16 years 1 months ago
    On the Memory Consumption of Probabilistic Pushdown Automata
    Download  www7.in.tum.de
    Tomás Brázdil, Javier Esparza, Stefa...
    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.