2498 search results - page 458 / 500 » Algorithms for the Topological Watershed |
P2P
2008
IEEE
14 years 2 months ago
2008
IEEE
We propose an efficient framework for enabling secure multi-party numerical computations in a Peer-to-Peer network. This problem arises in a range of applications such as collabo...
SECON
2008
IEEE
14 years 2 months ago
2008
IEEE
—Fast proliferation of IEEE 802.11 wireless devices has led to the emergence of High-Density (HD) Wireless Local Area Networks (WLANs), where it is challenging to improve the thr...
BROADNETS
2007
IEEE
14 years 2 months ago
2007
IEEE
Wireless Sensor Networks (WSNs) provide an important means of monitoring the physical world, but their ons present challenges to fundamental network services such as routing. In t...
CAV
2007
Springer
14 years 2 months ago
2007
Springer
Abstract. Regular model checking is a form of symbolic model checking technique for systems whose states can be represented as finite words over a finite alphabet, where regular ...
IPSN
2007
Springer
14 years 2 months ago
2007
Springer
In this paper we present Beacon Location Service (BLS): a location service for beacon-based routing algorithms like Beacon Vector Routing (BVR) [8] and S4 [19] . The role of a loc...