932 search results - page 129 / 187 » Verifying Progress in Timed Systems |
ESORICS
2008
Springer
13 years 10 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,...
IPPS
2000
IEEE
14 years 1 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...
ATAL
2005
Springer
14 years 2 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...
ATAL
2008
Springer
13 years 11 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...
TRIDENTCOM
2008
IEEE
14 years 3 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 ...