Sciweavers

    1261 search results - page 13 / 253
    » A Hierarchy of Temporal Properties
    Sort
    View
    CHARME
    2001
    Springer
    98views Hardware» more  CHARME 2001»
    Temporal Properties of Self-Timed Rings
    15 years 9 months ago
    Temporal Properties of Self-Timed Rings
    Download  www.cs.ubc.ca
    Anthony Winstanley, Mark R. Greenstreet
    claim paper
    Read More »
    HYBRID
    2010
    Springer
    119views Control Systems» more  HYBRID 2010»
    Monte-carlo techniques for falsification of temporal properties of non-linear hybrid systems
    15 years 8 months ago
    Monte-carlo techniques for falsification of temporal properties of non-linear hybrid systems
    Download  www.cs.colorado.edu
    Truong Nghiem, Sriram Sankaranarayanan, Georgios E...
    claim paper
    Read More »
    AMAI
    2008
    Springer
    73views Artificial Intelligence» more  AMAI 2008»
    Reasoning about temporal properties of rational play
    15 years 6 months ago
    Reasoning about temporal properties of rational play
    Download  www.in.tu-clausthal.de
    Nils Bulling, Wojciech Jamroga, Jürgen Dix
    claim paper
    Read More »
    CORR
    2009
    Springer
    85views Education» more  CORR 2009»
    Verifying Temporal Regular Properties of Abstractions of Term Rewriting Systems
    15 years 3 months ago
    Verifying Temporal Regular Properties of Abstractions of Term Rewriting Systems
    Download  www.irisa.fr
    Benoît Boyer, Thomas Genet
    claim paper
    Read More »
    CAISE
    2006
    Springer
    133views Information Technology» more  CAISE 2006»
    Modelling and Verifying of e-Commerce Systems
    15 years 9 months ago
    Modelling and Verifying of e-Commerce Systems
    Download  sunsite.informatik.rwth-aachen.de
    Static function hierarchies and models of the dynamic behaviour are typically used in e-commerce systems. Issues to be verifies are the completeness and correctness of the static f...
    Andreas Speck
    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.