1662 search results - page 9 / 333 » Privately Finding Specifications |
EUROPLOP
2006
13 years 8 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
14 years 4 days 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...
RFIDSEC
2010
13 years 1 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...
ICDE
2006
IEEE
14 years 23 days 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, ...
ISSTA
2000
ACM
13 years 11 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...