4052 search results - page 404 / 811 » Using RDF to describe networks |
167
click to vote
NDSS
2009
IEEE
16 years 1 months ago
2009
IEEE
We describe CSAR, a novel technique for generating cryptographically strong, accountable randomness. Using CSAR, we can generate a pseudo-random sequence and a proof that the elem...
193
click to vote
HYBRID
2003
Springer
16 years 2 days ago
2003
Springer
Abstract. This paper describes the implementation of predicate abstraction techniques to automatically compute symbolic backward reachable sets of high dimensional piecewise affine...
190
click to vote
AINA
2010
IEEE
15 years 12 months ago
2010
IEEE
—In many search domains, both contents and searches are frequently tied to named entities such as a person, a company or similar. An example of such a domain is a news archive. O...
188
click to vote
NDSS
1998
IEEE
15 years 11 months ago
1998
IEEE
Systems that support mobile agents are increasingly being used on the global Internet. Security concerns dealing with the protection of the execution environment from malicious ag...
170
click to vote
FODO
1993
Springer
15 years 11 months ago
1993
Springer
Abstract. DDH extends the idea of dynamic hashing algorithms to distributed systems. DDH spreads data across multiple servers in a network using a novel autonomous location discove...