Sciweavers

    4962 search results - page 68 / 993
    » Stochastic Model Checking
    Sort
    View
    TOSN
    2011
    116views more  TOSN 2011»
    A model framework for greedy routing in a sensor network with a stochastic power scheme
    13 years 2 months ago
    A model framework for greedy routing in a sensor network with a stochastic power scheme
    Download  www.ms.unimelb.edu.au
    A stochastic model is formulated and analyzed to study the advancements of messages under greedy routing in a sensor network with a power-saving scheme. The aim of this model is g...
    Holger Paul Keeler, Peter G. Taylor
    claim paper
    Read More »
    TSP
    2011
    151views more  TSP 2011»
    Stochastic Models for Sparse and Piecewise-Smooth Signals
    13 years 2 months ago
    Stochastic Models for Sparse and Piecewise-Smooth Signals
    Download  bigwww.epfl.ch
    Abstract—We introduce an extended family of continuous-domain stochastic models for sparse, piecewise-smooth signals. These are specified as solutions of stochastic differential...
    Michael Unser, Pouya Dehghani Tafti
    claim paper
    Read More »
    INFORMS
    1998
    142views more  INFORMS 1998»
    Distributed State Space Generation of Discrete-State Stochastic Models
    13 years 7 months ago
    Distributed State Space Generation of Discrete-State Stochastic Models
    Download  www.cs.ucr.edu
    High-level formalisms such as stochastic Petri nets can be used to model complex systems. Analysis of logical and numerical properties of these models often requires the generatio...
    Gianfranco Ciardo, Joshua Gluckman, David M. Nicol
    claim paper
    Read More »
    CLEIEJ
    2006
    88views more  CLEIEJ 2006»
    A Stochastic Concurrent Constraint Based Framework to Model and Verify Biological Systems
    13 years 7 months ago
    A Stochastic Concurrent Constraint Based Framework to Model and Verify Biological Systems
    Download  www.clei.cl
    Concurrent process calculi are powerful formalisms for modelling concurrent systems. The mathematical style underlying process calculi allow to both model and verify properties of...
    Carlos Olarte, Camilo Rueda
    claim paper
    Read More »
    AB
    2007
    Springer
    111views Computational Biology» more  AB 2007»
    A Stochastic Pi Calculus for Concurrent Objects
    14 years 1 months ago
    A Stochastic Pi Calculus for Concurrent Objects
    Download  hal.inria.fr
    We present SpiCO, a new modeling and simulation language for systems biology. SpiCO is based on the stochastic π-calculus. It supports higher level modeling via multi-profile con...
    Céline Kuttler, Cédric Lhoussaine, J...
    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.