Sciweavers

3719 search results - page 417 / 744
» RACER System Description
Sort
View
HASE
1998
IEEE
15 years 11 months ago
Incremental Development of a High Integrity Compiler: Experience from an Industrial Development
We have developed and successfully applied a technique to build a high integrity compiler from Pasp, a Pascal-like language, to Asp, the target language for a high integrity proce...
Susan Stepney
HICSS
1998
IEEE
104views Biometrics» more  HICSS 1998»
15 years 11 months ago
Managing Metadata for Distributed Information Servers
In this paper we present the design and implementation of a distributed index architecture to facilitate metadata discovery on large networks. Many current information discovery s...
Nigel Hinds, Chinya V. Ravishankar
WIFT
1998
IEEE
153views Hardware» more  WIFT 1998»
15 years 11 months ago
Reasoning with UML Class Diagrams
The Unified Modeling Language (UML) is likely to become an important industry standard language for modelling object-oriented systems. However, its use as a precise analysis tool ...
Andy S. Evans
COMPSAC
1997
IEEE
15 years 11 months ago
A content-based search engine on medical images for telemedicine
Retrieving images by content and forming visual queries are important functionality of an image database system. Using textual descriptions to specify queries on image content is ...
David Wai-Lok Cheung, Chi-Hung Lee, Vincent T. Y. ...
IDEAS
1997
IEEE
237views Database» more  IDEAS 1997»
15 years 11 months ago
Sequence Comparison Using a Relational Database Approach
A variety of heterogenous data sources is available in the field of molecular biology. Our focus lies on the biological sequence data, i. e. data maintained in collections like EM...
André Bergholz, Stephan Heymann, Jörg ...