Sciweavers

    31387 search results - page 340 / 6278
    » Abstracts
    Sort
    View
    ICECCS
    2010
    IEEE
    135views Hardware» more  ICECCS 2010»
    Automated Formal Verification of the DHCP Failover Protocol Using Timeout Order Abstraction
    15 years 4 months ago
    Automated Formal Verification of the DHCP Failover Protocol Using Timeout Order Abstraction
    Download  groups.csail.mit.edu
    Shinya Umeno, Nancy A. Lynch
    claim paper
    Read More »
    ICEIS
    2010
    IEEE
    128views Information Technology» more  ICEIS 2010»
    Abstraction from Collaboration between Agents using Asynchronous Message-passing
    15 years 4 months ago
    Abstraction from Collaboration between Agents using Asynchronous Message-passing
    Download  www.mip.sdu.dk
    Bent Bruun Kristensen
    claim paper
    Read More »
    ICIP
    2010
    IEEE
    195views Image Processing» more  ICIP 2010»
    An adaptive clustering and chrominance-based merging approach for image segmentation and abstraction
    15 years 4 months ago
    An adaptive clustering and chrominance-based merging approach for image segmentation and abstraction
    Download  www.lirmm.fr
    Lulu He, Thrasyvoulos N. Pappas
    claim paper
    Read More »
    ICST
    2010
    IEEE
    116views Software Engineering» more  ICST 2010»
    Model Based Testing and Abstract Interpretation in the Railway Signaling Context
    15 years 4 months ago
    Model Based Testing and Abstract Interpretation in the Railway Signaling Context
    Download  www.dsi.unifi.it
    Daniele Grasso, Alessandro Fantechi, Alessio Ferra...
    claim paper
    Read More »
    IMCSIT
    2010
    107views Information Technology» more  IMCSIT 2010»
    A Modeling Language Approach for the Abstraction of the Berkeley Open Infrastructure for Network Computing (BOINC) Framework
    15 years 4 months ago
    A Modeling Language Approach for the Abstraction of the Berkeley Open Infrastructure for Network Computing (BOINC) Framework
    Download  www.christianbenjaminries.de
    Christian Benjamin Ries, Thomas Hilbig, Christian ...
    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.