Sciweavers

    261 search results - page 15 / 53
    » Robustness of Temporal Logic Specifications
    Sort
    View
    ECOOP
    1995
    Springer
    107views Programming Languages» more  ECOOP 1995»
    Interface-Based Protocol Specification of Open Systems using PSL
    13 years 11 months ago
    Interface-Based Protocol Specification of Open Systems using PSL
    Download  gee.cs.oswego.edu
    PSL is a framework for describing dynamic and architectural properties of open systems. PSL extends established interface-based tactics for describing the functional properties of...
    Doug Lea, Jos Marlowe
    claim paper
    Read More »
    AGI
    2008
    148views Artificial Intelligence» more  AGI 2008»
    Temporal Action Logic for Question Answering in an Adventure Game
    13 years 9 months ago
    Temporal Action Logic for Question Answering in an Adventure Game
    Download  www.martinmagnusson.com
    Inhabiting the complex and dynamic environments of modern computer games with autonomous agents capable of intelligent timely behaviour is a significant research challenge. We illu...
    Martin Magnusson, Patrick Doherty
    claim paper
    Read More »
    ENTCS
    2006
    143views more  ENTCS 2006»
    Component-Oriented Specification of Performance Measures
    13 years 7 months ago
    Component-Oriented Specification of Performance Measures
    Download  www.sti.uniurb.it
    Formal notations for system performance modeling need to be equipped with suitable notations for specifying performance measures. These companion notations have been traditionally...
    Alessandro Aldini, Marco Bernardo
    claim paper
    Read More »
    TCS
    2008
    98views Theoretical Computer Science» more  TCS 2008»
    On temporal logic constraint solving for analyzing numerical data time series
    13 years 7 months ago
    On temporal logic constraint solving for analyzing numerical data time series
    Download  pauillac.inria.fr
    Temporal logics and model-checking have proved successful to respectively express biological properties of complex biochemical systems, and automatically verify their satisfaction...
    François Fages, Aurélien Rizk
    claim paper
    Read More »
    SIGSOFT
    2007
    ACM
    167views Software Engineering» more  SIGSOFT 2007»
    The symmetry of the past and of the future: bi-infinite time in the verification of temporal properties
    14 years 8 months ago
    The symmetry of the past and of the future: bi-infinite time in the verification of temporal properties
    Download  home.dei.polimi.it
    Model checking techniques have traditionally dealt with temporal logic languages and automata interpreted over -words, i.e., infinite in the future but finite in the past. However...
    Matteo Pradella, Angelo Morzenti, Pierluigi San Pi...
    claim paper
    Read More »
    Explore & Download
    Proceedings Preprints Top 5 Ranked Papers Publications Books Software Tutorials Presentations Lectures Notes Datasets
    Productivity Tools
    International On-screen Keyboard Graphical Social Symbols OCR Text Recognition CSS3 Style Generator Web Page to PDF Web Page to Image PDF Split PDF Merge Latex Equation Editor Sci2ools
    Document Tools
    PDF to Text PDF to Postscript PDF to Thumbnails Excel to PDF Word to PDF Postscript to PDF PowerPoint to PDF Latex to Word Repair Corrupted PDF
    Image Tools
    JPG to PS JPG to PDF Extract Images from PDF Image Converter
    Sciweavers
    About Community Cookies Privacy Policy Terms of Use

    Copyright © Sciweavers LLC, 2009-2024, USA.