8874 search results - page 1545 / 1775 » A New Implementation of Automath |
221
click to vote
PLDI
2004
ACM
16 years 20 days ago
2004
ACM
e Synchronization Abstractions “Well, it just so happens that your friend here is only mostly dead. There’s a big difference between mostly dead and all dead.” – Miracle Ma...
236
click to vote
SENSYS
2004
ACM
16 years 20 days ago
2004
ACM
Monitoring of environmental phenomena with embedded networked sensing confronts the challenges of both unpredictable variability in the spatial distribution of phenomena, coupled ...
203
click to vote
UIST
2004
ACM
16 years 20 days ago
2004
ACM
Ubiquitous and Wearable Computing both have the goal of pushing the computer into the background, supporting all kinds of human activities. Application areas include areas such as...
249
click to vote
AP2PC
2004
Springer
16 years 20 days ago
2004
Springer
This paper proposes an agent community based information retrieval method, which uses agent communities to manage and look up information related to users. An agent works as a dele...
189
click to vote
EUROCRYPT
2004
Springer
16 years 19 days ago
2004
Springer
For the last two decades the notion and implementations of proxy signatures have been used to allow transfer of digital signing power within some context (in order to enable flexi...