4814 search results - page 534 / 963 » Combining abstract interpreters |
193
Voted
ESORICS
2002
Springer
16 years 6 months ago
2002
Springer
Abstract. An important goal of security in information systems is confidentiality. A confidentiality policy specifies which users should be forbidden to acquire what kind of inform...
180
click to vote
EWSN
2004
Springer
16 years 6 months ago
2004
Springer
Abstract. So-called "Smart Dust" is envisioned to combine sensing, computing, and wireless communication capabilities in an autonomous, dust-grain-sized device. Dense net...
168
click to vote
ECIR
2009
Springer
16 years 4 months ago
2009
Springer
Abstract. Collecting relevance judgments (qrels) is an especially challenging part of building an information retrieval test collection. This paper presents a novel method for crea...
184
Voted
ECIR
2009
Springer
16 years 4 months ago
2009
Springer
Abstract. Retrieving semistructured (XML) data typically requires either a structured query such as XPath, or a keyword query that does not take structure into account. In this pap...
162
Voted
HIPEAC
2010
Springer
16 years 4 months ago
2010
Springer
Abstract. This paper presents remote store programming (RSP), a programming paradigm which combines usability and efficiency through the exploitation of a simple hardware mechanism...