Sciweavers

    5863 search results - page 148 / 1173
    » On Model-Checking of P Systems
    Sort
    View
    ICC
    2009
    IEEE
    139views Communications» more  ICC 2009»
    How Scalable Could P2P Live Media Streaming System Be with the Stringent Time Constraint?
    15 years 4 months ago
    How Scalable Could P2P Live Media Streaming System Be with the Stringent Time Constraint?
    Download  www.cse.ust.hk
    Zhijia Chen, Bo Li, Gabriel Yik Keung, Hao Yin, Ch...
    claim paper
    Read More »
    PPNA
    2011
    211views Computer Networks» more  PPNA 2011»
    Sorcery: Overcoming deceptive votes in P2P content sharing systems
    15 years 1 months ago
    Sorcery: Overcoming deceptive votes in P2P content sharing systems
    Download  infosec.pku.edu.cn
    Ennan Zhai, Huiping Sun, Sihan Qing, Zhong Chen
    claim paper
    Read More »
    TON
    2012
    195views Programming Languages» more  TON 2012»
    Caching for BitTorrent-Like P2P Systems: A Simple Fluid Model and Its Implications
    13 years 8 months ago
    Caching for BitTorrent-Like P2P Systems: A Simple Fluid Model and Its Implications
    Download  www3.informatik.uni-wuerzburg.de
    Frank Lehrieder, György Dán, Tobias Ho...
    claim paper
    Read More »
    ENTCS
    2007
    158views more  ENTCS 2007»
    Abstraction and Completeness for Real-Time Maude
    15 years 6 months ago
    Abstraction and Completeness for Real-Time Maude
    Download  folk.uio.no
    ion and Completeness for Real-Time Maude Peter Csaba ¨Olveczky a,b and Jos´e Meseguer b a Department of Informatics, University of Oslo b Department of Computer Science, Universi...
    Peter Csaba Ölveczky, José Meseguer
    claim paper
    Read More »
    JSC
    2010
    100views more  JSC 2010»
    An invariant-based approach to the verification of asynchronous parameterized networks
    15 years 1 months ago
    An invariant-based approach to the verification of asynchronous parameterized networks
    Download  lvk.cs.msu.su
    A uniform verification problem for parameterized systems is to determine whether a temporal property is satisfied for every instance of the system which is composed of an arbitrar...
    Igor V. Konnov, Vladimir A. Zakharov
    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.