4922 search results - page 653 / 985 » Internet time out |
191
Voted
ISER
2004
Springer
16 years 7 days ago
2004
Springer
We present a series of experiments concerned with the inspection of regular, engineered structures carried out using swarms of five to twenty autonomous, miniature robots, solely ...
186
Voted
KR
2004
Springer
16 years 6 days ago
2004
Springer
We continue to advocate a methodology that we used earlier for pattern discovery through exhaustive search in selected small domains. This time we apply it to the problem of disco...
213
Voted
LATIN
2004
Springer
16 years 6 days ago
2004
Springer
Time synchronization is necessary in many distributed systems, but achieving synchronization in sensornets, which combine stringent precision requirements with severe resource con...
206
Voted
MMAS
2004
Springer
16 years 6 days ago
2004
Springer
Interactive multi-agent system improves reusability of agents by separating application design from agent design. However, it remains difficult for application designers (usually n...
202
Voted
TCC
2004
Springer
16 years 6 days ago
2004
Springer
Abstract. We present a general method to prove security properties of cryptographic protocols against active adversaries, when the messages exchanged by the honest parties are arbi...