1498 search results - page 197 / 300 » Collection tree protocol |
IAT
2007
IEEE
14 years 4 months ago
2007
IEEE
In this article we study the theoretical aspects of the collision avoidance among the collectives of unmanned aerial vehicles (UAVs) engaged in the free flight operation. The fre...
ICDM
2007
IEEE
14 years 4 months ago
2007
IEEE
Privacy-preserving data mining (PPDM) techniques aim to construct efficient data mining algorithms while maintaining privacy. Statistical disclosure limitation (SDL) techniques a...
CAV
2007
Springer
14 years 4 months ago
2007
Springer
This paper explores the concept of locality in proofs of global safety properties of asynchronously composed, multi-process programs. Model checking on the full state space is ofte...
PDCAT
2007
Springer
14 years 4 months ago
2007
Springer
—Grid system software is inherently complex, hard to build and maintain. In this paper, we propose a selfmanaging building block: Grid Unit, which facilitates constructing Grid s...
ACSAC
2006
IEEE
14 years 4 months ago
2006
IEEE
This work introduces the A system1 , an Internetbased, free and open source electronic voting system which employs strong cryptography. Our system is a fully functiona...