3639 search results - page 634 / 728 » Provenance as Dependency Analysis |
101
click to vote
INFOCOM
2011
IEEE
14 years 1 months ago
2011
IEEE
—Opportunistic ad-hoc communication enables portable devices such as smartphones to effectively exchange information, taking advantage of their mobility and locality. The nature ...
PPOPP
2011
ACM
14 years 21 days ago
2011
ACM
Developing parallel software using current tools can be challenging. Even experts find it difficult to reason about the use of locks and often accidentally introduce race condit...
3DUI
2011
13 years 10 months ago
2011
We present a method for improved release of whole-hand virtual grasps. It addresses the problem of objects “sticking” during release after the user’s (real) fingers interpen...
173
click to vote
CADE
2011
Springer
13 years 9 months ago
2011
Springer
Abstract. Security protocols aim at securing communications over public networks. Their design is notoriously difficult and error-prone. Formal methods have shown their usefulness ...
150
click to vote
CHES
2011
Springer
13 years 9 months ago
2011
Springer
This paper proposes spongent – a family of lightweight hash functions with hash sizes of 88 (for preimage resistance only), 128, 160, 224, and 256 bits based on a sponge construc...