1867 search results - page 46 / 374 » Model-Checking Based Data Retrieval |
CLEF
2000
Springer
15 years 4 months ago
2000
Springer
HyREX is the Hypermedia Retrieval Engine for XML. Its extensibility is based on the implementation of physical data independence; its query interface on the conceptual level consis...
123
click to vote
SIGSOFT
2007
ACM
16 years 16 days ago
2007
ACM
We present an approach for checking code against rich specifications, based on existing work that consists of encoding the program in a relational logic and using a constraint sol...
ICIP
2006
IEEE
16 years 1 months ago
2006
IEEE
Information retrieval techniques have to face both the growing amount of data to be processed and the "natural" distribution of these data over the network. Hence, we in...
BIOINFORMATICS
2004
14 years 11 months ago
2004
Summary: The goal of this project is to simplify access to genomic diversity and phenotype data, thereby encouraging reuse of this data. The Genomic Diversity and Phenotype Connec...
CSCWD
2008
Springer
15 years 1 months ago
2008
Springer
Web Services for CAD (WSC)[8] aims at interoperation with a commercial CAD system based on Web Services. This paper introduces one improvement of WSC which enables remote users to...