7924 search results - page 1194 / 1585 » Non-Malleable Functions and Their Applications |
173
click to vote
ICFP
2001
ACM
16 years 6 months ago
2001
ACM
The categorical notion of monad, used by Moggi to structure denotational descriptions, has proved to be a powerful tool for structuring combinator libraries. Moreover, the monadic...
162
click to vote
ICDE
2010
IEEE
16 years 6 months ago
2010
IEEE
Testing and debugging database software is often challenging and time consuming. A very arduous task for DB testers is finding a min-repro ? the "simplest possible setup"...
212
click to vote
PERCOM
2003
ACM
16 years 6 months ago
2003
ACM
Pervasive computing environments add a multitude of additional devices to our current computing landscapes. Specialized embedded systems provide sensor information about the real ...
204
click to vote
EWSN
2004
Springer
16 years 6 months ago
2004
Springer
Directed diffusion is a prominent example of data-centric routing based on application layer data and purely local interactions. In its functioning it relies heavily on network-wid...
177
click to vote
SODA
2010
ACM
16 years 4 months ago
2010
ACM
We address the vexing issue of deletions in balanced trees. Rebalancing after a deletion is generally more complicated than rebalancing after an insertion. Textbooks neglect delet...