1087 search results - page 140 / 218 » Achieving Distributed Control through Model Checking |
EDCC
2010
Springer
14 years 2 months ago
2010
Springer
Distributed Hash Tables (DHTs) and Random Peer Sampling (RPS) provide important and complementary services in the area of P2P overlay networks. DHTs achieve efficient lookup whil...
IH
2005
Springer
14 years 2 months ago
2005
Springer
Abstract. “Censorship resistant” systems attempt to prevent censors from imposing a particular distribution of content across a system. In this paper, we introduce a variation ...
WACV
2005
IEEE
14 years 2 months ago
2005
IEEE
While a large number of vision applications rely on the mapping between 3D scenes and their corresponding 2D camera images, the question that occurs to most researchers is what, i...
CVPR
1999
IEEE
14 years 11 months ago
1999
IEEE
This paper describes a probabilistic multiple-hypothesis framework for tracking highly articulated objects. In this framework, the probability density of the tracker state is repr...
BROADNETS
2007
IEEE
14 years 3 months ago
2007
IEEE
— Today, IEEE 802.11 Wireless LAN (WLAN) has become a prevailing solution for broadband wireless Internet access while Transport Control Protocol (TCP) is the dominant transport ...