Sciweavers

    3718 search results - page 35 / 744
    » IMPS: System Description
    Sort
    View
    COMPUTER
    2010
    65views more  COMPUTER 2010»
    Evolving Software Architecture Descriptions of Critical Systems
    13 years 8 months ago
    Evolving Software Architecture Descriptions of Critical Systems
    Download  www.se-rwth.de
    Tom Mens, Jeff Magee, Bernhard Rumpe
    claim paper
    Read More »
    CLEF
    2010
    Springer
    125views Information Technology» more  CLEF 2010»
    JU_CSE_TE: System Description QA@CLEF 2010 - ResPubliQA
    13 years 6 months ago
    JU_CSE_TE: System Description QA@CLEF 2010 - ResPubliQA
    Download  clef2010.org
    Partha Pakray, Pinaki Bhaskar, Santanu Pal, Dipank...
    claim paper
    Read More »
    NOTERE
    2010
    113views Distributed And Parallel Com...» more  NOTERE 2010»
    Behavioral Modular Description of Fault Tolerant Distributed Systems with AADL Behavioral Annex
    13 years 6 months ago
    Behavioral Modular Description of Fault Tolerant Distributed Systems with AADL Behavioral Annex
    Download  perso.telecom-paristech.fr
    Gilles Lasnier, Thomas Robert, Laurent Pautet, Fab...
    claim paper
    Read More »
    DLOG
    2009
    106views Automated Reasoning» more  DLOG 2009»
    OntoComP System Description
    13 years 6 months ago
    OntoComP System Description
    Download  lat.inf.tu-dresden.de
    Abstract. We describe OntoComP, a Prot
    Baris Sertkaya
    claim paper
    Read More »
    CORR
    2011
    Springer
    190views Education» more  CORR 2011»
    Compiling Causal Theories to Successor State Axioms and STRIPS-Like Systems
    13 years 8 days ago
    Compiling Causal Theories to Successor State Axioms and STRIPS-Like Systems
    Download  www.cs.ust.hk
    We describe a system for specifying the effects of actions. Unlike those commonly used in AI planning, our system uses an action description language that allows one to specify t...
    Fangzhen Lin
    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.