DAGSTUHL 2007 | Sciweavers

13

DAGSTUHL
1992

192views Software Engineering» more DAGSTUHL 1992»

A Methodology for Evaluating Software Engineering Methods and Tools

13 years 5 months ago

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 »

9

click to vote

DAGSTUHL
1994

145views Software Engineering» more DAGSTUHL 1994»

A High Performance Totally Ordered Multicast Protocol

13 years 5 months ago

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 »

8

click to vote

DAGSTUHL
1994

102views Software Engineering» more DAGSTUHL 1994»

Function-Based Object Recognition

13 years 5 months ago

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 »

6

click to vote

DAGSTUHL
1994

88views Software Engineering» more DAGSTUHL 1994»

Lessons Learned from Building and Using the Arjuna Distributed Programming System

13 years 5 months ago

Download www.cs.ncl.ac.uk

Santosh K. Shrivastava

claim paper

Read More »

9

click to vote

DAGSTUHL
1994

86views Software Engineering» more DAGSTUHL 1994»

Particle Tracing Algorithms for 3D Curvilinear Grids

13 years 5 months ago

Download www.inf.ethz.ch

I. Ari Sadarjoen, Theo van Walsum, Andrea J. S. Hi...

claim paper

Read More »

13

click to vote

DAGSTUHL
1994

89views Software Engineering» more DAGSTUHL 1994»

The Rampart Toolkit for Building High-Integrity Services

13 years 5 months ago

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 »

6

click to vote

DAGSTUHL
1994

107views Software Engineering» more DAGSTUHL 1994»

A Non-Blocking Lightweight Implementation of Causal Order Message Delivery

13 years 5 months ago

Download www.vs.inf.ethz.ch

Friedemann Mattern, Stefan Fünfrocken

claim paper

Read More »

9

click to vote

DAGSTUHL
1996

94views Software Engineering» more DAGSTUHL 1996»

Representing and Reasoning About Object Functionality: Towards an Integrated Approach

13 years 5 months ago

Download www.uwf.edu

Melanie A. Sutton, Louise Stark, Kevin W. Bowyer

claim paper

Read More »

14

click to vote

DAGSTUHL
1996

94views Software Engineering» more DAGSTUHL 1996»

Specialization of Imperative Programs Through Analysis of Relational Expressions

13 years 5 months ago

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 »

10

click to vote

DAGSTUHL
1996

137views Software Engineering» more DAGSTUHL 1996»

Program Specialization via Program Slicing

13 years 5 months ago

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 »

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers