Sciweavers

    9698 search results - page 66 / 1940
    » models 2010
    Sort
    View
    WOSP
    2010
    ACM
    150views Software Engineering» more  WOSP 2010»
    The palladio component model
    16 years 9 days ago
    The palladio component model
    Download  agrausch.informatik.uni-kl.de
    Steffen Becker
    claim paper
    Read More »
    FOSSACS
    2010
    Springer
    165views Software Engineering» more  FOSSACS 2010»
    Algorithmic Metatheorems for Decidable LTL Model Checking over Infinite Systems
    16 years 9 days ago
    Algorithmic Metatheorems for Decidable LTL Model Checking over Infinite Systems
    Download  homepages.inf.ed.ac.uk
    Anthony Widjaja To, Leonid Libkin
    claim paper
    Read More »
    FOSSACS
    2010
    Springer
    139views Software Engineering» more  FOSSACS 2010»
    When Model-Checking Freeze LTL over Counter Machines Becomes Decidable
    16 years 9 days ago
    When Model-Checking Freeze LTL over Counter Machines Becomes Decidable
    Download  www.lsv.ens-cachan.fr
    Stéphane Demri, Arnaud Sangnier
    claim paper
    Read More »
    ICCSA
    2010
    Springer
    230views Applied Computing» more  ICCSA 2010»
    A Fuzzy Cellular Automata Modeling Approach - Accessing Urban Growth Dynamics in Linguistic Terms
    16 years 9 days ago
    A Fuzzy Cellular Automata Modeling Approach - Accessing Urban Growth Dynamics in Linguistic Terms
    Download  www.iacm.forth.gr
    Lefteris A. Mantelas, Thomas Hatzichristos, Poulic...
    claim paper
    Read More »
    139
    Voted
    LCTRTS
    2010
    Springer
    175views System Software» more  LCTRTS 2010»
    Semi-automatic derivation of timing models for WCET analysis
    16 years 9 days ago
    Semi-automatic derivation of timing models for WCET analysis
    Download  rw4.cs.uni-sb.de
    Marc Schlickling, Markus Pister
    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.