Sciweavers

    18924 search results - page 100 / 3785
    » Conformance of Distributed Systems
    Sort
    View
    UML
    2005
    Springer
    193views Natural Language Processing» more  UML 2005»
    Using Process Algebra to Validate Behavioral Aspects of Object-Oriented Models
    16 years 4 days ago
    Using Process Algebra to Validate Behavioral Aspects of Object-Oriented Models
    Download  www.irisa.fr
    We present in this paper a rigorous and automated based approach for the behavioral validation of control software systems. This approach relies on metamodeling, model-transformati...
    Alban Rasse, Jean-Marc Perronne, Pierre-Alain Mull...
    claim paper
    Read More »
    ICDCN
    2010
    Springer
    144views Distributed and Parallel Com...» more  ICDCN 2010»
    Consistency-Driven Probabilistic Quorum System Construction for Improving Operation Availability
    16 years 1 months ago
    Consistency-Driven Probabilistic Quorum System Construction for Improving Operation Availability
    Download  www.trustsoft.uni-oldenburg.de
    Kinga Kiss Iakab, Christian Storm, Oliver E. Theel
    claim paper
    Read More »
    ICDCN
    2009
    Springer
    80views Distributed and Parallel Com...» more  ICDCN 2009»
    Snap-Stabilization in Message-Passing Systems
    16 years 1 months ago
    Snap-Stabilization in Message-Passing Systems
    Download  deneb.cs.kent.edu
    Sylvie Delaët, Stéphane Devismes, Mikh...
    claim paper
    Read More »
    HPDC
    2009
    IEEE
    146views Distributed And Parallel Com...» more  HPDC 2009»
    An adaptive online system for efficient processing of hierarchical data
    16 years 1 months ago
    An adaptive online system for efficient processing of hierarchical data
    Download  www.lrz-muenchen.de
    Athanasia Asiki, Dimitrios Tsoumakos, Nectarios Ko...
    claim paper
    Read More »
    IPPS
    2008
    IEEE
    110views Distributed And Parallel Com...» more  IPPS 2008»
    Understanding the performance of streaming applications deployed on hybrid systems
    16 years 1 months ago
    Understanding the performance of streaming applications deployed on hybrid systems
    Download  sbs.wustl.edu
    Joseph M. Lancaster, Ron Cytron, Roger D. Chamberl...
    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.