1075 search results - page 164 / 215 » Toward a Verified Relational Database Management System |
BMCBI
2007
13 years 8 months ago
2007
Background: Polyketides are secondary metabolites of microorganisms with diverse biological activities, including pharmacological functions such as antibiotic, antitumor and agroc...
IPMI
2003
Springer
14 years 9 months ago
2003
Springer
Most of the approaches dedicated to automatic morphometry rely on a point-by-point strategy based on warping each brain towards a reference coordinate system. In this paper, we des...
EWSPT
2001
Springer
14 years 1 months ago
2001
Springer
We describe an approach based upon software process technology to on-the-fly monitoring, redeployment, reconfiguration, and in general dynamic adaptation of distributed software ap...
ICDE
2006
IEEE
14 years 2 months ago
2006
IEEE
This paper presents a description of seven systems, which use database technology to both represent knowledge persistently and make scalable queries on it, in the Semantic Web con...
SIGMOD
2010
ACM
14 years 1 months ago
2010
ACM
Uncertain data streams, where data is incomplete, imprecise, and even misleading, have been observed in many environments. Feeding such data streams to existing stream systems pro...