Sciweavers

    1283 search results - page 69 / 257
    » A Survey on Temporal Logics
    Sort
    View
    MMMACNS
    2005
    Springer
    119views Information Technology» more  MMMACNS 2005»
    A Temporal Logic-Based Model for Forensic Investigation in Networked System Security
    15 years 11 months 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
    15 years 11 months 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
    15 years 11 months 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 »
    IFM
    2004
    Springer
    83views Formal Methods» more  IFM 2004»
    Integrating Temporal Logics
    15 years 11 months ago
    Integrating Temporal Logics
    Download  www.iist.unu.edu
    Yifeng Chen, Zhiming Liu
    claim paper
    Read More »
    ATAL
    2003
    Springer
    107views Intelligent Agents» more  ATAL 2003»
    Engineering commitment-based multiagent systems: a temporal logic approach
    15 years 11 months ago
    Engineering commitment-based multiagent systems: a temporal logic approach
    Download  people.engr.ncsu.edu
    Commitments model important aspects of agent interactions, especially those arising in e-business. A small number of patterns of commitments accommodate a variety of realistic int...
    Jie Xing, Munindar P. Singh
    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.