1662 search results - page 9 / 333 » Privately Finding Specifications |
108
click to vote
EUROPLOP
2006
15 years 1 months ago
2006
Writing patterns is a very important task for leveraging knowledge within an organization or in the software engineering community as a whole. Patterns are more than text, diagram...
CSCW
2004
ACM
15 years 5 months ago
2004
ACM
We introduce a system that allows four users to each receive sound from a private audio channel while using a shared tabletop display. In order to explore how private audio channe...
116
click to vote
RFIDSEC
2010
14 years 6 months ago
2010
Abstract. We demonstrate two classes of attacks on EC-RAC, a growing set of RFID protocols. Our first class of attacks concerns the compositional approach used to construct a parti...
100
click to vote
ICDE
2006
IEEE
15 years 6 months ago
2006
IEEE
While the Web has been increasingly recognized as a culturally valuable social artifact, many nations endeavor to create national Web archives for long term preservation. However, ...
159
click to vote
ISSTA
2000
ACM
15 years 4 months ago
2000
ACM
A method for finding bugs in code is presented. For given small numbers j and k, the code of a procedure is translated into a relational formula whose models represent all executi...