Sciweavers

Share
DAGSTUHL
1992
9 years 10 days ago
A Methodology for Evaluating Software Engineering Methods and Tools
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
DAGSTUHL
1994
9 years 15 days ago
A High Performance Totally Ordered Multicast Protocol
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
DAGSTUHL
1994
9 years 15 days ago
Function-Based Object Recognition
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
DAGSTUHL
1994
9 years 15 days ago
Particle Tracing Algorithms for 3D Curvilinear Grids
I. Ari Sadarjoen, Theo van Walsum, Andrea J. S. Hi...
DAGSTUHL
1994
9 years 15 days ago
The Rampart Toolkit for Building High-Integrity Services
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
DAGSTUHL
1996
9 years 15 days ago
Specialization of Imperative Programs Through Analysis of Relational Expressions
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
DAGSTUHL
1996
9 years 15 days ago
Program Specialization via Program Slicing
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
books