Sciweavers

    15784 search results - page 737 / 3157
    » Mega Software Engineering
    Sort
    View
    188
    Voted
    ICSEA
    2006
    IEEE
    143views Software Engineering» more  ICSEA 2006»
    Reflection: Improving Research through Knowledge Transfer
    16 years 1 months ago
    Reflection: Improving Research through Knowledge Transfer
    Download  www.comp.lancs.ac.uk
    — It is through our mental models of the world that we understand it. Advances in science are nothing more than improvements to the model. This paper presents the development and...
    Andre Oboler, Simon Lock, Ian Sommerville
    claim paper
    Read More »
    ISORC
    2006
    IEEE
    84views Distributed And Parallel Com...» more  ISORC 2006»
    On Scheduling Garbage Collector in Dynamic Real-Time Systems With Statistical Timing Assurances
    16 years 1 months ago
    On Scheduling Garbage Collector in Dynamic Real-Time Systems With Statistical Timing Assurances
    Download  www.real-time.ece.vt.edu
    Hyeonjoong Cho, Chewoo Na, Binoy Ravindran, E. Dou...
    claim paper
    Read More »
    ISORC
    2006
    IEEE
    91views Distributed And Parallel Com...» more  ISORC 2006»
    Dependability Driven Integration of Mixed Criticality SW Components
    16 years 1 months ago
    Dependability Driven Integration of Mixed Criticality SW Components
    Download  www.deeds.informatik.tu-darmstadt.de
    Shariful Islam, Robert Lindstrom, Neeraj Suri
    claim paper
    Read More »
    SEW
    2006
    IEEE
    108views Software Engineering» more  SEW 2006»
    An Eclipse Plug-in for the Java PathFinder Runtime Verification System
    16 years 1 months ago
    An Eclipse Plug-in for the Java PathFinder Runtime Verification System
    Download  essere.disco.unimib.it
    Francesca Arcelli Fontana, Claudia Raibulet, Ivano...
    claim paper
    Read More »
    ISSTA
    2006
    ACM
    107views Software Engineering» more  ISSTA 2006»
    Modular verification of code with SAT
    16 years 1 months ago
    Modular verification of code with SAT
    Download  sdg.csail.mit.edu
    Greg Dennis, Felix Sheng-Ho Chang, Daniel Jackson
    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.