Sciweavers

    1463 search results - page 266 / 293
    » Software engineering practices in Singapore
    Sort
    View
    ECOOP
    1998
    Springer
    137views Programming Languages» more  ECOOP 1998»
    The Complexity of Type Analysis of Object Oriented Programs
    14 years 2 months ago
    The Complexity of Type Analysis of Object Oriented Programs
    Download  www.ifs.uni-linz.ac.at
    One of the price tags attached to the blessings that OO brings about is a drop in efficiency due to dynamic method dispatch. Much research effort is being spent on the problem of e...
    Joseph Gil, Alon Itai
    claim paper
    Read More »
    HPDC
    1993
    IEEE
    175views Distributed And Parallel Com...» more  HPDC 1993»
    Supporting Heterogeneity and Distribution in the Numerical Propulsion System
    14 years 2 months ago
    Supporting Heterogeneity and Distribution in the Numerical Propulsion System
    Download  reference.kfupm.edu.sa
    The Numerical Propulsion System Simulation (NPSS) project has been initiated by NASA to explore the use of computer simulation in the development of new aircraft propulsion techno...
    Patrick T. Homer, Richard D. Schlichting
    claim paper
    Read More »
    ASM
    2010
    ASM
    282views Computational Biology» more  ASM 2010»
    Starting B Specifications from Use Cases
    14 years 2 months ago
    Starting B Specifications from Use Cases
    Download  deploy-eprints.ecs.soton.ac.uk
    The B method is one of the most used formal methods, when reactive systems is under question, due to good support for refinement. However, obtaining the formal model from requireme...
    Thiago C. de Sousa, Aryldo G. Russo
    claim paper
    Read More »
    USS
    2008
    104views Operating System» more  USS 2008»
    You Go to Elections with the Voting System You Have: Stop-Gap Mitigations for Deployed Voting Systems
    14 years 29 days ago
    You Go to Elections with the Voting System You Have: Stop-Gap Mitigations for Deployed Voting Systems
    Download  www.usenix.org
    In light of the systemic vulnerabilities uncovered by recent reviews of deployed e-voting systems, the surest way to secure the voting process would be to scrap the existing syste...
    J. Alex Halderman, Eric Rescorla, Hovav Shacham, D...
    claim paper
    Read More »
    MKWI
    2008
    112views Business» more  MKWI 2008»
    An Environment for the Orthographic Modeling of Workflow Components
    14 years 2 days ago
    An Environment for the Orthographic Modeling of Workflow Components
    Download  sunsite.informatik.rwth-aachen.de
    : An important goal of workflow engines is to simplify the way in which the interaction of workflows and software components (or services) is described and implemented. The vision ...
    Colin Atkinson, Dietmar Stoll
    claim paper
    Read More »
    Explore & Download
    Proceedings Preprints Top 5 Ranked Papers Publications Books Software Tutorials Presentations Lectures Notes Datasets
    Productivity Tools
    International On-screen Keyboard Graphical Social Symbols OCR Text Recognition CSS3 Style Generator Web Page to PDF Web Page to Image PDF Split PDF Merge Latex Equation Editor Sci2ools
    Document Tools
    PDF to Text PDF to Postscript PDF to Thumbnails Excel to PDF Word to PDF Postscript to PDF PowerPoint to PDF Latex to Word Repair Corrupted PDF
    Image Tools
    JPG to PS JPG to PDF Extract Images from PDF Image Converter
    Sciweavers
    About Community Cookies Privacy Policy Terms of Use

    Copyright © Sciweavers LLC, 2009-2024, USA.