3082 search results - page 444 / 617 » New Bounds for the Controller Problem |
168
click to vote
IFM
2009
Springer
16 years 17 days ago
2009
Springer
We present the new technique of dynamic path reduction (DPR), which allows one to prune redundant paths from the state space of a program under verification. DPR is a very general...
148
click to vote
ICC
2008
IEEE
16 years 14 days ago
2008
IEEE
—In battery-constrained large-scale sensor networks, nodes are prone to random failures due to various reasons, such as energy depletion and hostile environment. Random failures ...
159
click to vote
LCN
2008
IEEE
16 years 12 days ago
2008
IEEE
—We propose a scheme for routing and placement of mobile data collectors in Underwater Acoustic Sensor Networks (UASNs). The proposed scheme maximizes the lifetime of the network...
158
click to vote
LCN
2007
IEEE
16 years 9 days ago
2007
IEEE
— Placing multicast proxies on the Internet can largely reduce the delivery delay of Internet live media streaming using overlay multicast mechanisms. In this paper, we propose a...
168
click to vote
ESORICS
2007
Springer
16 years 6 days ago
2007
Springer
The problem of key management in access hierarchies studies ways to assign keys to users and classes such that each user, after receiving her secret key(s), is able to independentl...