Sciweavers

    4595 search results - page 92 / 919
    » Reasoning about Plans
    Sort
    View
    ISOLA
    2010
    Springer
    162views Formal Methods» more  ISOLA 2010»
    Modeling and Reasoning about Service Behaviors and Their Compositions
    15 years 2 months ago
    Modeling and Reasoning about Service Behaviors and Their Compositions
    Download  www.mrtc.mdh.se
    Abstract. Service-oriented systems have recently emerged as context-independent component-based systems. Unlike components, services can be created, invoked, composed, and destroye...
    Aida Causevic, Cristina Cerschi Seceleanu, Paul Pe...
    claim paper
    Read More »
    FORTE
    2009
    116views Formal Methods» more  FORTE 2009»
    Using First-Order Logic to Reason about Submodule Construction
    15 years 2 months ago
    Using First-Order Logic to Reason about Submodule Construction
    Download  www.site.uottawa.ca
    We consider the following problem: For a system consisting of two components, the behavior of one component is known as well as the desired global behavior. What should be the beha...
    Gregor von Bochmann
    claim paper
    Read More »
    ENTCS
    2010
    65views more  ENTCS 2010»
    Reasoning about QoS Contracts in the Probabilistic Duration Calculus
    15 years 2 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
    14 years 11 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
    14 years 11 months ago
    Reasoning about Time, Action and Knowledge in Multi-Agent Systems
    Download  www.csc.liv.ac.uk
    Ji Ruan
    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.