17164 search results - page 2694 / 3433 » Applications of Sensor Networks |
197
click to vote
NORDSEC
2009
Springer
16 years 17 hour ago
2009
Springer
In this paper, we report the results of the formal analysis performed on the Estonian Mobile-ID protocol (deployed since 2008), allowing citizens and permanent residents of Estonia...
180
click to vote
IPPS
2000
IEEE
15 years 12 months ago
2000
IEEE
HeteroSort load balances and sorts within static or dynamic networks using a conceptual torus mesh. We ported HeteroSort to a 16-node Beowulf cluster with a central switch architec...
203
click to vote
CADE
2000
Springer
15 years 11 months ago
2000
Springer
Abstract. The little theories method, in which mathematical reasoning is distributed across a network of theories, is a powerful technique for describing and analyzing complex syst...
182
click to vote
CCS
1999
ACM
15 years 11 months ago
1999
ACM
We introduce a technique for using an untrusted device, such as a hand-held personal digital assistant or a laptop to perform real nancial transactions without a network. We utili...
191
click to vote
ERCIMDL
1999
Springer
15 years 11 months ago
1999
Springer
I show that the World Wide Web is a small world, in the sense that sites are highly clustered yet the path length between them is small. I also demonstrate the advantages of a sear...