8770 search results - page 1426 / 1754 » Named Service Networking |
141
click to vote
SP
2009
IEEE
15 years 11 months ago
2009
IEEE
We present a logic for reasoning about properties of secure systems. The logic is built around a concurrent programming language with constructs for modeling machines with shared ...
133
click to vote
ICDM
2009
IEEE
15 years 10 months ago
2009
IEEE
A pervasive problem in large relational databases is identity uncertainty which occurs when multiple entries in a database refer to the same underlying entity in the world. Relati...
132
click to vote
INFOCOM
2009
IEEE
15 years 10 months ago
2009
IEEE
—The spread of a source host is the number of distinct destinations that it has sent packets to during a measurement period. A spread estimator is a software/hardware module on a...
138
click to vote
ICANN
2009
Springer
15 years 10 months ago
2009
Springer
Abstract. Estimating the degree of similarity between images is a challenging task as the similarity always depends on the context. Because of this context dependency, it seems qui...
141
click to vote
IWANN
2009
Springer
15 years 10 months ago
2009
Springer
Biomedical literature is an important source of information for chemical compounds. However, different representations and nomenclatures for chemical entities exist, which makes th...