2830 search results - page 442 / 566 » No Science without Semantics |
122
Voted
AMAI
2006
Springer
15 years 3 months ago
2006
Springer
Most real-world database applications manage temporal data, i.e., data with associated time references that capture a temporal aspect of the data, typically either when the data i...
128
click to vote
ENTCS
2008
15 years 3 months ago
2008
We formalize higher-order separation logic for a first-order imperative language with procedures and local variables in Isabelle/HOLCF. The assertion language is modeled in such a...
138
Voted
BMCBI
2007
15 years 3 months ago
2007
Background: Biological data that are well-organized by an ontology, such as Gene Ontology, enables high-throughput availability of the semantic web. It can also be used to facilit...
151
click to vote
ISCA
2008
IEEE
15 years 3 months ago
2008
IEEE
Dynamic information flow tracking (also known as taint tracking) is an appealing approach to combat various security attacks. However, the performance of applications can severely...
121
click to vote
IJHPCA
2007
15 years 3 months ago
2007
The ROMIO implementation of the MPI-IO standard provides a portable infrastructure for use on top of a variety of underlying storage targets. These targets vary widely in their ca...