Sciweavers

    5243 search results - page 61 / 1049
    » Reasoning About Strategies
    Sort
    View
    SEFM
    2007
    IEEE
    82views Software Engineering» more  SEFM 2007»
    Sound reasoning about unchecked exceptions
    16 years 13 days ago
    Sound reasoning about unchecked exceptions
    Download  people.cs.kuleuven.be
    Bart Jacobs 0002, Peter Müller, Frank Piessen...
    claim paper
    Read More »
    AOSE
    2007
    Springer
    113views Intelligent Agents» more  AOSE 2007»
    Reasoning About Risk in Agent's Deliberation Process: A Jadex Implementation
    16 years 10 days ago
    Reasoning About Risk in Agent's Deliberation Process: A Jadex Implementation
    Download  eprints.biblio.unitn.it
    Yudistira Asnar, Paolo Giorgini, Nicola Zannone
    claim paper
    Read More »
    FASE
    2007
    Springer
    82views Software Engineering» more  FASE 2007»
    Practical Reasoning About Invocations and Implementations of Pure Methods
    16 years 9 days ago
    Practical Reasoning About Invocations and Implementations of Pure Methods
    Download  research.microsoft.com
    Ádám Darvas, K. Rustan M. Leino
    claim paper
    Read More »
    HYBRID
    2007
    Springer
    101views Control Systems» more  HYBRID 2007»
    Differential Logic for Reasoning About Hybrid Systems
    16 years 9 days ago
    Differential Logic for Reasoning About Hybrid Systems
    Download  symbolaris.com
    André Platzer
    claim paper
    Read More »
    LFCS
    2007
    Springer
    157views Artificial Intelligence» more  LFCS 2007»
    Reasoning About Sequences of Memory States
    16 years 9 days ago
    Reasoning About Sequences of Memory States
    Download  www.lsv.ens-cachan.fr
    Abstract. In order to verify programs with pointer variables, we introduce a temporal logic LTLmem whose underlying assertion language is the quantifier-free fragment of separatio...
    Rémi Brochenin, Stéphane Demri, &Eac...
    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.