Sciweavers

    29046 search results - page 151 / 5810
    » Computable Models
    Sort
    View
    JSS
    2006
    88views more  JSS 2006»
    A practical framework for eliciting and modeling system dependability requirements: Experience from the NASA high dependability
    15 years 3 months ago
    A practical framework for eliciting and modeling system dependability requirements: Experience from the NASA high dependability
    Download  www.cs.umd.edu
    The dependability of a system is contextually subjective and reflects the particular stakeholder
    Paolo Donzelli, Victor R. Basili
    claim paper
    Read More »
    101
    Voted
    ERCIM
    2007
    73views more  ERCIM 2007»
    Formal Modelling and Verification in Service-Oriented Computing
    15 years 3 months ago
    Formal Modelling and Verification in Service-Oriented Computing
    Download  fmt.isti.cnr.it
    Maurice H. ter Beek, Stefania Gnesi, Fabio Martine...
    claim paper
    Read More »
    HF
    2007
    40views more  HF 2007»
    Lane-Change Detection Using a Computational Driver Model
    15 years 3 months ago
    Lane-Change Detection Using a Computational Driver Model
    Download  www.cs.drexel.edu
    Dario D. Salvucci, Hiren M. Mandalia, Nobuyuki Kug...
    claim paper
    Read More »
    PE
    2008
    Springer
    94views Optimization» more  PE 2008»
    A class of mean field interaction models for computer and communication systems
    15 years 3 months ago
    A class of mean field interaction models for computer and communication systems
    Download  aep9.imag.fr
    Michel Benaïm, Jean-Yves Le Boudec
    claim paper
    Read More »
    NN
    2006
    Springer
    85views Neural Networks» more  NN 2006»
    Computational algorithms and neuronal network models underlying decision processes
    15 years 3 months ago
    Computational algorithms and neuronal network models underlying decision processes
    Download  nct.brain.riken.jp
    Yutaka Sakai, Hiroshi Okamoto, Tomoki Fukai
    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.