905 search results - page 73 / 181 » The Case Against Micropayments |
146
click to vote
ESOP
2005
Springer
15 years 11 months ago
2005
Springer
Since the 1980s, two approaches have been developed for analyzing security protocols. One of the approaches relies on a computational model that considers issues of complexity and ...
143
click to vote
ICALP
2005
Springer
15 years 11 months ago
2005
Springer
Abstract An encryption scheme is non-malleable if the adversary cannot transform a ciphertext into one of a related message under the given public key. Although providing a very st...
184
click to vote
CASES
2004
ACM
15 years 11 months ago
2004
ACM
Recognizing speech, gestures, and visual features are important interface capabilities for future embedded mobile systems. Unfortunately, the real-time performance requirements of...
217
click to vote
CAV
2004
Springer
15 years 11 months ago
2004
Springer
Abstract. We propose a new statistical approach to analyzing stochastic systems against specifications given in a sublogic of continuous stochastic logic (CSL). Unlike past numeri...
170
click to vote
CIA
2004
Springer
15 years 11 months ago
2004
Springer
We are investigating how to provide intelligent, pervasive support of group of people within so-called “smart environments”. Our current main assumption, based on literature in...