Sciweavers

    5863 search results - page 155 / 1173
    » On Model-Checking of P Systems
    Sort
    View
    ATVA
    2008
    Springer
    131views Hardware» more  ATVA 2008»
    Computation Tree Regular Logic for Genetic Regulatory Networks
    15 years 8 months ago
    Computation Tree Regular Logic for Genetic Regulatory Networks
    Download  ibis.inrialpes.fr
    Model checking has proven to be a useful analysis technique not only for concurrent systems, but also for the genetic regulatory networks (Grns) that govern the functioning of livi...
    Radu Mateescu, Pedro T. Monteiro, Estelle Dumas, H...
    claim paper
    Read More »
    186
    Voted
    ENTCS
    2006
    134views more  ENTCS 2006»
    Partial Order Reduction for Probabilistic Branching Time
    15 years 6 months ago
    Partial Order Reduction for Probabilistic Branching Time
    Download  www.win.tue.nl
    In the past, partial order reduction has been used successfully to combat the state explosion problem in the context of model checking for non-probabilistic systems. For both line...
    Christel Baier, Pedro R. D'Argenio, Marcus Grö...
    claim paper
    Read More »
    WETICE
    2009
    IEEE
    159views Emerging Technology» more  WETICE 2009»
    A Game Theoretical Approach in Securing P2P Storage against Whitewashers
    16 years 27 days ago
    A Game Theoretical Approach in Securing P2P Storage against Whitewashers
    Download  ast-deim.urv.cat
    —An inherent problem to a cooperation incentive mechanism implemented into a dynamic system where peers may join or leave at any time is the whitewashing problem. Whitewashers ar...
    Nouha Oualha, Yves Roudier
    claim paper
    Read More »
    WICON
    2008
    104views Computer Networks» more  WICON 2008»
    A survey on P2P streaming clients: looking at the end-user
    15 years 7 months ago
    A survey on P2P streaming clients: looking at the end-user
    Download  nrlweb.cs.ucla.edu
    Peer-to-peer (P2P) streaming systems grow in numbers and potential and several commercial products are already competing. Internet home users
    Alexandro Sentinelli, Luca Celetto, Damien Lefol, ...
    claim paper
    Read More »
    NOSSDAV
    2009
    Springer
    153views Computer Networks» more  NOSSDAV 2009»
    InstantLeap: fast neighbor discovery in P2P VoD streaming
    16 years 21 days ago
    InstantLeap: fast neighbor discovery in P2P VoD streaming
    Download  nemesys.comp.nus.edu.sg
    Xuanjia Qiu, Chuan Wu, Xiaola Lin, Francis Chi-Moo...
    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.