9626 search results - page 1772 / 1926 » Invariant Based Programming |
115
click to vote
TCC
2009
Springer
16 years 2 months ago
2009
Springer
Verifiable random functions (VRFs), introduced by Micali, Rabin and Vadhan, are pseudorandom functions in which the owner of the seed produces a public-key that constitutes a commi...
119
click to vote
KDD
2009
ACM
16 years 2 months ago
2009
ACM
To take the first step beyond keyword-based search toward entity-based search, suitable token spans ("spots") on documents must be identified as references to real-world...
116
click to vote
MOBIHOC
2009
ACM
16 years 2 months ago
2009
ACM
Distributed scheduling algorithms for wireless ad hoc networks have received substantial attention over the last decade. The complexity levels of these algorithms span a wide spec...
136
click to vote
MOBIHOC
2009
ACM
16 years 2 months ago
2009
ACM
Cognitive radio networks are emerging as a promising technology for the efficient use of radio spectrum. In these networks, there are two categories of networks on different chann...
124
click to vote
KDD
2003
ACM
16 years 2 months ago
2003
ACM
A number of medically important disease-causing bacteria (collectively called Gram-negative bacteria) are noted for the extra "outer" membrane that surrounds their cell....