Sciweavers

    16725 search results - page 33 / 3345
    » Engineering Software Correctness
    Sort
    View
    136
    Voted
    ICSE
    2010
    IEEE-ACM
    177views Software Engineering» more  ICSE 2010»
    Dynamic symbolic data structure repair
    15 years 7 months ago
    Dynamic symbolic data structure repair
    Download  ranger.uta.edu
    Generic repair of complex data structures is a new and exciting area of research. Existing approaches can integrate with good software engineering practices such as program assert...
    Ishtiaque Hussain, Christoph Csallner
    claim paper
    Read More »
    104
    Voted
    TAL
    2004
    Springer
    122views Natural Language Processing» more  TAL 2004»
    Spelling Correction for Search Engine Queries
    15 years 8 months ago
    Spelling Correction for Search Engine Queries
    Download  xldb.fc.ul.pt
    Bruno Martins, Mário J. Silva
    claim paper
    Read More »
    101
    Voted
    EXPERT
    2006
    57views more  EXPERT 2006»
    Toward a General Logicist Methodology for Engineering Ethically Correct Robots
    15 years 2 months ago
    Toward a General Logicist Methodology for Engineering Ethically Correct Robots
    Download  kryten.mm.rpi.edu
    Selmer Bringsjord, Konstantine Arkoudas, Paul Bell...
    claim paper
    Read More »
    112
    Voted
    ICSE
    2003
    IEEE-ACM
    144views Software Engineering» more  ICSE 2003»
    Fifth International Workshop on Economics-driven Software Engineering Research (EDSER-5) "The Search for Value in Engineering De
    16 years 2 months ago
    Fifth International Workshop on Economics-driven Software Engineering Research (EDSER-5) "The Search for Value in Engineering De
    Download  www.soberit.hut.fi
    Jyrki Kontio, Shawn Butler
    claim paper
    Read More »
    120
    Voted
    ICSE
    2008
    IEEE-ACM
    137views Software Engineering» more  ICSE 2008»
    SE-CSE 2008: the first international workshop on software engineering for computational science and engineering
    16 years 2 months ago
    SE-CSE 2008: the first international workshop on software engineering for computational science and engineering
    Download  www.cse.msstate.edu
    Jeffrey C. Carver
    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.