2694 search results - page 241 / 539 » Frege's New Science |
248
click to vote
TCOS
2010
15 years 1 months ago
2010
Password Authenticated Key Exchange (PAKE) is one of the important topics in cryptography. It aims to address a practical security problem: how to establish secure communication be...
186
click to vote
TCS
2010
15 years 1 months ago
2010
We revisit the notion of computational depth and sophistication for infinite sequences and study the density of the sets of deep and sophisticated infinite sequences. Koppel defin...
189
click to vote
CHI
2003
ACM
16 years 7 months ago
2003
ACM
We describe a new methodology for designing technologies for and with families called technology probes. Technology probes are simple, flexible, adaptable technologies introduced ...
171
click to vote
ICALP
2009
Springer
16 years 7 months ago
2009
Springer
We present a range of new results for testing properties of Boolean functions that are defined in terms of the Fourier spectrum. Broadly speaking, our results show that the propert...
223
click to vote
ICALP
2009
Springer
16 years 7 months ago
2009
Springer
Social networks are an interesting class of graphs likely to become of increasing importance in the future, not only theoretically, but also for its probable applications to ad hoc...