2748 search results - page 99 / 550 » Generating Object-Z Specifications from Use Cases |
161
Voted
MIE
2008
15 years 5 months ago
2008
Medical visual information retrieval has been a very active research area over the past ten years as an increasing amount of images is produced digitally and made available in the ...
152
Voted
ICCBR
2010
Springer
15 years 1 months ago
2010
Springer
Abstract. Case-Based Reasoning (CBR) solves problems by reusing past problemsolving experiences maintained in a casebase. The key CBR knowledge container therefore is its casebase....
139
Voted
EUC
2004
Springer
15 years 9 months ago
2004
Springer
This paper presents an experimental evaluation of our scenario-based multithreading for real-time object-oriented models by the use of a case study of a Private Branch eXchange (PB...
141
Voted
ICVS
2003
Springer
15 years 9 months ago
2003
Springer
The quality control and update of geo-data, in this case especially of road-data, is the primary aim of the system, which is presented in the paper. One important task of the syste...
128
Voted
DILS
2007
Springer
15 years 10 months ago
2007
Springer
This paper presents the LSLink (or Life Science Link) methodology that provides users with a set of tools to explore the rich Web of interconnected and annotated objects in multipl...