Sciweavers

    DAGSTUHL
    1992
    192views Software Engineering» more  DAGSTUHL 1992»
    A Methodology for Evaluating Software Engineering Methods and Tools
    14 years 20 days ago
    A Methodology for Evaluating Software Engineering Methods and Tools
    Download  www.inf.utfsm.cl
    DESMET was a DTI-backed project with the goal of developing and validating a methodology for evaluating software engineering methods and tools. The project identified nine methods...
    Barbara Kitchenham
    claim paper
    Read More »
    DAGSTUHL
    1994
    145views Software Engineering» more  DAGSTUHL 1994»
    A High Performance Totally Ordered Multicast Protocol
    14 years 25 days ago
    A High Performance Totally Ordered Multicast Protocol
    Download  www.whetten.net
    This paper presents the Reliable Multicast Protocol (RMP). RMP provides a totally ordered, reliable, atomic multicast service on top of an unreliable multicast datagram service su...
    Brian Whetten, Todd Montgomery, Simon M. Kaplan
    claim paper
    Read More »
    DAGSTUHL
    1994
    102views Software Engineering» more  DAGSTUHL 1994»
    Function-Based Object Recognition
    14 years 25 days ago
    Function-Based Object Recognition
    Download  www.jair.org
    Functionality-based recognition systems recognize objects at the category level by reasoning about how well the objects support the expected function. Such systems naturally assoc...
    Louise Stark, Kevin W. Bowyer
    claim paper
    Read More »
    DAGSTUHL
    1994
    88views Software Engineering» more  DAGSTUHL 1994»
    Lessons Learned from Building and Using the Arjuna Distributed Programming System
    14 years 25 days ago
    Lessons Learned from Building and Using the Arjuna Distributed Programming System
    Download  www.cs.ncl.ac.uk
    Santosh K. Shrivastava
    claim paper
    Read More »
    DAGSTUHL
    1994
    86views Software Engineering» more  DAGSTUHL 1994»
    Particle Tracing Algorithms for 3D Curvilinear Grids
    14 years 25 days ago
    Particle Tracing Algorithms for 3D Curvilinear Grids
    Download  www.inf.ethz.ch
    I. Ari Sadarjoen, Theo van Walsum, Andrea J. S. Hi...
    claim paper
    Read More »
    DAGSTUHL
    1994
    89views Software Engineering» more  DAGSTUHL 1994»
    The Rampart Toolkit for Building High-Integrity Services
    14 years 25 days ago
    The Rampart Toolkit for Building High-Integrity Services
    Download  www.cs.unc.edu
    Abstract. Rampart is a toolkit of protocols to facilitate the development of high-integrity services, i.e., distributed services that retain their availability and correctness desp...
    Michael K. Reiter
    claim paper
    Read More »
    DAGSTUHL
    1994
    107views Software Engineering» more  DAGSTUHL 1994»
    A Non-Blocking Lightweight Implementation of Causal Order Message Delivery
    14 years 25 days ago
    A Non-Blocking Lightweight Implementation of Causal Order Message Delivery
    Download  www.vs.inf.ethz.ch
    Friedemann Mattern, Stefan Fünfrocken
    claim paper
    Read More »
    DAGSTUHL
    1996
    94views Software Engineering» more  DAGSTUHL 1996»
    Representing and Reasoning About Object Functionality: Towards an Integrated Approach
    14 years 25 days ago
    Representing and Reasoning About Object Functionality: Towards an Integrated Approach
    Download  www.uwf.edu
    Melanie A. Sutton, Louise Stark, Kevin W. Bowyer
    claim paper
    Read More »
    DAGSTUHL
    1996
    94views Software Engineering» more  DAGSTUHL 1996»
    Specialization of Imperative Programs Through Analysis of Relational Expressions
    14 years 25 days ago
    Specialization of Imperative Programs Through Analysis of Relational Expressions
    Download  repository.readscheme.org
    An analysis method for specialization of imperative programs is described in this paper. This analysis is an inter-procedural data flow method operating on control flow graphs and...
    Alexander Sakharov
    claim paper
    Read More »
    DAGSTUHL
    1996
    137views Software Engineering» more  DAGSTUHL 1996»
    Program Specialization via Program Slicing
    14 years 25 days ago
    Program Specialization via Program Slicing
    Download  www.cs.wisc.edu
    This paper concerns the use of program slicing to perform a certain kind of program-specialization operation. We show that the specialization operation that slicing performs is dif...
    Thomas W. Reps, Todd Turnidge
    claim paper
    Read More »
    « first‹ previous123456789…next ›last »
    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.