4099 search results - page 236 / 820 » A Framework for Interactive Proof |
149
click to vote
OZCHI
2009
ACM
16 years 1 months ago
2009
ACM
This paper extends the analytic framework Suchman used in Plans and Situated Actions by using it as a tool in the design of interactive, immersive environments that rely on human ...
165
click to vote
CHI
2007
ACM
16 years 7 months ago
2007
ACM
: A proof of concept web search and navigation system was developed for older people for whom the Internet is seen as an alien territory. A joint industry/academia team deployed Us...
158
click to vote
ASIACRYPT
2009
Springer
16 years 1 months ago
2009
Springer
Group encryption (GE) schemes, introduced at Asiacrypt’07, are an encryption analogue of group signatures with a number of interesting applications. They allow a sender to encryp...
153
click to vote
IFM
2004
Springer
15 years 12 months ago
2004
Springer
Recent work on combining CSP and B has provided ways of describing systems comprised of components described in both B (to express requirements on state) and CSP (to express intera...
209
click to vote
SAC
2002
ACM
15 years 6 months ago
2002
ACM
We present a generic mobility and traffic generation framework that can be incorporated into a tool for modeling and simulating large scale ad hoc networks. Three components of thi...