7827 search results - page 1209 / 1566 » time 2007 |
153
click to vote
CAV
2007
Springer
16 years 27 days ago
2007
Springer
Abstract. A temporal interface for a software component is a finite automaton that specifies the legal sequences of calls to functions that are provided by the component. We comp...
136
click to vote
CC
2007
Springer
16 years 27 days ago
2007
Springer
Implementing a new programming language by the means of a translator to an existing language is attractive as it provides portability over all platforms supported by the host langu...
187
click to vote
CCS
2007
ACM
16 years 27 days ago
2007
ACM
In ciphertext policy attribute-based encryption (CP-ABE), every secret key is associated with a set of attributes, and every ciphertext is associated with an access structure on a...
143
click to vote
CCS
2007
ACM
16 years 27 days ago
2007
ACM
We present Asirra (Figure 1), a CAPTCHA that asks users to identify cats out of a set of 12 photographs of both cats and dogs. Asirra is easy for users; user studies indicate it c...
160
click to vote
CCS
2007
ACM
16 years 27 days ago
2007
ACM
Virtual coordinate systems provide an accurate and efficient service that allows hosts on the Internet to determine the latency to arbitrary hosts without actively monitoring all ...