Sciweavers

    22358 search results - page 418 / 4472
    » Software Performance Engineering
    Sort
    View
    138
    Voted
    SIGSOFT
    2009
    ACM
    119views Software Engineering» more  SIGSOFT 2009»
    Smart views for analyzing problem reports: tool demo
    16 years 8 months ago
    Smart views for analyzing problem reports: tool demo
    Download  swerl.tudelft.nl
    Patrick Knab, Harald Gall, Martin Pinzger
    claim paper
    Read More »
    184
    Voted
    SIGSOFT
    2009
    ACM
    91views Software Engineering» more  SIGSOFT 2009»
    Behavioral automata composition for automatic topology independent verification of parameterized systems
    16 years 8 months ago
    Behavioral automata composition for automatic topology independent verification of parameterized systems
    Download  goedel.cs.uiowa.edu
    Youssef Hanna, Samik Basu, Hridesh Rajan
    claim paper
    Read More »
    160
    Voted
    SIGSOFT
    2007
    ACM
    138views Software Engineering» more  SIGSOFT 2007»
    Formal modeling of BPEL workflows including fault and compensation handling
    16 years 8 months ago
    Formal modeling of BPEL workflows including fault and compensation handling
    Download  www.inf.mit.bme.hu
    Dániel Varró, László G...
    claim paper
    Read More »
    156
    Voted
    SIGSOFT
    2007
    ACM
    119views Software Engineering» more  SIGSOFT 2007»
    Automated size analysis for OCL
    16 years 8 months ago
    Automated size analysis for OCL
    Download  www.cs.ucsb.edu
    Fang Yu, Tevfik Bultan, Erik Peterson
    claim paper
    Read More »
    SIGSOFT
    2005
    ACM
    109views Software Engineering» more  SIGSOFT 2005»
    HATARI: raising risk awareness
    16 years 8 months ago
    HATARI: raising risk awareness
    Download  pages.cpsc.ucalgary.ca
    Jacek Sliwerski, Thomas Zimmermann, Andreas Zeller
    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.