2748 search results - page 99 / 550 » Generating Object-Z Specifications from Use Cases |
MIE
2008
13 years 11 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 ...
ICCBR
2010
Springer
13 years 8 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....
EUC
2004
Springer
14 years 3 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...
ICVS
2003
Springer
14 years 3 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...
DILS
2007
Springer
14 years 4 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...