Sciweavers

1030 search results - page 83 / 206
» The ENZYME database in 2000
Sort
View
IWFM
2000
107views Formal Methods» more  IWFM 2000»
15 years 7 months ago
A Comparison of Three Model Checkers Applied to a Distributed Database Problem
ct Increasingly, model checking is being applied to more abstract problem domains than the traditional protocol analysis. The extent to which such an approach is able to provide us...
A. J. Currie
FGCS
2000
81views more  FGCS 2000»
15 years 6 months ago
Managing the operator ordering problem in parallel databases
This paper focuses on parallel query optimization. We consider the operator problem and introduce a new class of execution strategies called Linear-Oriented Bushy Trees (LBTs). Co...
Harald Kosch
JDM
2000
128views more  JDM 2000»
15 years 6 months ago
Distributed Database Design for Mobile Geographical Applications
Advanced Traveler Information Systems (ATIS) require e cient information retrieval and updating in a dynamic environment at di erent geographical scales. ATIS applications are use...
Manhoi Choy, Mei-Po Kwan, Hong Va Leong
NAR
2000
135views more  NAR 2000»
15 years 6 months ago
HGBASE: a database of SNPs and other variations in and around human genes
Human genome polymorphism is expected to play a key role in defining the etiologic basis of phenotypic differences between individuals in aspects such as drug responses and common...
Anthony J. Brookes, Heikki Lehväslaiho, Maria...
NAR
2000
70views more  NAR 2000»
15 years 6 months ago
UK CropNet: a collection of databases and bioinformatics resources for crop plant genomics
The UK Crop Plant Bioinformatics Network (UK CropNet) was established in 1996 in order to harness the extensive work in genome mapping in crop plants in the UK. Since this date we...
Jo L. Dicks, Mary Anderson, Linda Cardle, Sam Cart...