Sciweavers

    5243 search results - page 82 / 1049
    » Reasoning About Strategies
    Sort
    View
    ENTCS
    2010
    65views more  ENTCS 2010»
    Reasoning about QoS Contracts in the Probabilistic Duration Calculus
    15 years 3 months ago
    Reasoning about QoS Contracts in the Probabilistic Duration Calculus
    Download  www.iist.unu.edu
    Dimitar P. Guelev, Dang Van Hung
    claim paper
    Read More »
    CORR
    2010
    Springer
    64views Education» more  CORR 2010»
    A Spatial-Epistemic Logic for Reasoning about Security Protocols
    15 years 1 months ago
    A Spatial-Epistemic Logic for Reasoning about Security Protocols
    Download  www.cs.cmu.edu
    Bernardo Toninho, Luís Caires
    claim paper
    Read More »
    KI
    2011
    Springer
    159views Artificial Intelligence» more  KI 2011»
    Reasoning about Time, Action and Knowledge in Multi-Agent Systems
    15 years 1 months ago
    Reasoning about Time, Action and Knowledge in Multi-Agent Systems
    Download  www.csc.liv.ac.uk
    Ji Ruan
    claim paper
    Read More »
    IFIP
    2010
    Springer
    160views Programming Languages» more  IFIP 2010»
    Reasoning about Probabilistic Security Using Task-PIOAs
    15 years 1 months ago
    Reasoning about Probabilistic Security Using Task-PIOAs
    Download  www.entcs.org
    Abstract. Task-structured probabilistic input/output automata (taskPIOAs) are concurrent probabilistic automata that, among other things, have been used to provide a formal framewo...
    Aaron D. Jaggard, Catherine Meadows, Michael Mislo...
    claim paper
    Read More »
    JCIT
    2010
    94views more  JCIT 2010»
    Research on Spatial Knowledge Reasoning about Jiangzhai Settlement in First Period
    15 years 1 months ago
    Research on Spatial Knowledge Reasoning about Jiangzhai Settlement in First Period
    Download  www.aicit.org
    Shuoben Bi, Jingtao Liang, Shenjun Xue, Lianghu Lu
    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.