932 search results - page 129 / 187 » Verifying Progress in Timed Systems |
126
Voted
ESORICS
2008
Springer
15 years 4 months ago
2008
Springer
We are interested in this problem: a verifier, with a small and reliable storage, wants to periodically check whether a remote server is keeping a large file x. A dishonest server,...
112
Voted
IPPS
2000
IEEE
15 years 7 months ago
2000
IEEE
As processor speeds rapidly approach the Giga-Hertz regime, the disparity between process time and memory access time plays an increasing role in the overall limitation of processo...
132
Voted
ATAL
2005
Springer
15 years 8 months ago
2005
Springer
Agents or agent teams deployed to assist humans often face the challenges of monitoring the state of key processes in their environment (including the state of their human users t...
122
Voted
ATAL
2008
Springer
15 years 4 months ago
2008
Springer
We demonstrate an intelligent personal assistant agent that has been developed to aid a busy knowledge worker in managing time commitments and performing tasks. The PExA agent dra...
99
Voted
TRIDENTCOM
2008
IEEE
15 years 9 months ago
2008
IEEE
This paper presents the setup of a testbed developed for the fast evaluation of RFID systems in two frequency domains. At the one hand the 13.56 MHz and at the other hand the 868 ...