2251 search results - page 212 / 451 » Specification and Implementation Problems for C |
145
click to vote
WIIW
2001
15 years 5 months ago
2001
: Molecular biology data are placed in different databases, repositories and flat files, usually distributed over the web. Distinct data models with schemas that are often changing...
118
click to vote
AAAI
2000
15 years 5 months ago
2000
We consider the compilation of different reasoning tasks into the evaluation problem of quantified boolean formulas (QBFs) as an approach to develop prototype reasoning systems us...
121
click to vote
DBSEC
2000
15 years 5 months ago
2000
The premises of this paper are 1) security is application dependent because application semantics directly influence proper protection; but 2) applications are generally too compl...
145
click to vote
DELOS
2000
15 years 5 months ago
2000
Stand-alone ranking systems based on highly optimized inverted file structures are generally considered `the' solution for building search engines. Observing various developm...
109
click to vote
ECIS
2000
15 years 5 months ago
2000
: This paper addresses a specific problem that may arise as consequence of the globalization of the markets. This is the incompatibility between local and global standards of trust...