1554 search results - page 52 / 311 » cases 2003 |
CARS
2003
14 years 11 months ago
2003
We describe a software system that helps both to determine anatomically correct and surgically realizable resection territories and to plan minimally invasive interventions for ca...
IWFM
2003
14 years 11 months ago
2003
Peer-to-peer systems like Napster, Gnutella and Kazaa have recently become popular for sharing information. In this paper, we show how to design peer-to-peer systems within the ac...
BIRTHDAY
2003
Springer
15 years 2 months ago
2003
Springer
Abstract. This case study applies techniques of formal program development by specification refinement and composition to the problem of concurrent garbage collection. The speci...
77
Voted
SERP
2003
14 years 11 months ago
2003
Many systems may benefit from scripting support, but the implementation of it is seldom trivial, especially if the system has not originally been developed with scripting support...
ECIS
2003
14 years 11 months ago
2003
One of the primary methods employed by researchers to judge the merits of new heuristics and algorithms is to run them on accepted benchmark test cases and comparing their perform...