Sciweavers

    1167 search results - page 63 / 234
    » A Really Temporal Logic
    Sort
    View
    169
    Voted
    FORMATS
    2005
    Springer
    132views Formal Methods» more  FORMATS 2005»
    Real Time Temporal Logic: Past, Present, Future
    16 years 7 days ago
    Real Time Temporal Logic: Past, Present, Future
    Download  www-verimag.imag.fr
    This paper attempts to improve our understanding of timed languages and their relation to timed automata. We start by giving a constructive proof of the folk theorem stating that t...
    Oded Maler, Dejan Nickovic, Amir Pnueli
    claim paper
    Read More »
    LOPSTR
    2005
    Springer
    88views Automated Reasoning» more  LOPSTR 2005»
    Temporal Logic Constraints in the Biochemical Abstract Machine BIOCHAM
    16 years 6 days ago
    Temporal Logic Constraints in the Biochemical Abstract Machine BIOCHAM
    Download  pauillac.inria.fr
    François Fages
    claim paper
    Read More »
    156
    Voted
    MMMACNS
    2005
    Springer
    119views Information Technology» more  MMMACNS 2005»
    A Temporal Logic-Based Model for Forensic Investigation in Networked System Security
    16 years 6 days ago
    A Temporal Logic-Based Model for Forensic Investigation in Networked System Security
    Download  www.cnas.org.tn
    Slim Rekhis, Noureddine Boudriga
    claim paper
    Read More »
    VSTTE
    2005
    Springer
    156views Software Engineering» more  VSTTE 2005»
    Abstraction of Graph Transformation Systems by Temporal Logic and Its Verification
    16 years 5 days ago
    Abstraction of Graph Transformation Systems by Temporal Logic and Its Verification
    Download  vstte.ethz.ch
    Mitsuharu Yamamoto, Yoshinori Tanabe, Koichi Takah...
    claim paper
    Read More »
    WIA
    2005
    Springer
    64views Artificial Intelligence» more  WIA 2005»
    Experiments with Deterministic omega-Automata for Formulas of Linear Temporal Logic
    16 years 5 days ago
    Experiments with Deterministic omega-Automata for Formulas of Linear Temporal Logic
    Download  web.informatik.uni-bonn.de
    Joachim Klein, Christel Baier
    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.