2498 search results - page 458 / 500 » Algorithms for the Topological Watershed |
182
click to vote
P2P
2008
IEEE
16 years 20 days 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...
171
click to vote
SECON
2008
IEEE
16 years 20 days 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...
148
click to vote
BROADNETS
2007
IEEE
16 years 19 days 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...
161
click to vote
CAV
2007
Springer
16 years 14 days 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 ...
182
click to vote
IPSN
2007
Springer
16 years 13 days 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...