Sciweavers

    15885 search results - page 5 / 3177
    » The Modest Software Engineer
    Sort
    View
    CGO
    2006
    IEEE
    284views Software Engineering» more  CGO 2006»
    Corporate Sponsors
    15 years 10 months ago
    Corporate Sponsors
    Download  www.quiltersunlimited.org
    claim paper
    Read More »
    APSEC
    2005
    IEEE
    322views Software Engineering» more  APSEC 2005»
    Program Chairs' Message
    15 years 8 months ago
    Program Chairs' Message
    Download  www.gi-ev.de
    claim paper
    Read More »
    281
    Voted
    CROSSROADS
    2010
    265views Software Engineering» more  CROSSROADS 2010»
    Inbox
    15 years 4 months ago
    Inbox
    Download  districtemail.dadeschools.net
    claim paper
    Read More »
    ISSTA
    2000
    ACM
    78views Software Engineering» more  ISSTA 2000»
    Verisim: Formal analysis of network simulations
    15 years 11 months ago
    Verisim: Formal analysis of network simulations
    Download  seclab.uiuc.edu
    —Network protocols are often analyzed using simulations. We demonstrate how to extend such simulations to check propositions expressing safety properties of network event traces ...
    Karthikeyan Bhargavan, Carl A. Gunter, Moonjoo Kim...
    claim paper
    Read More »
    SIGSOFT
    2007
    ACM
    310views Software Engineering» more  SIGSOFT 2007»
    Software engineering research: from cradle to grave
    16 years 7 months ago
    Software engineering research: from cradle to grave
    Download  www.idt.mdh.se
    Elaine J. Weyuker
    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.