5493 search results - page 270 / 1099 » Effectively Polynomial Simulations |
165
click to vote
INFOCOM
2007
IEEE
16 years 28 days ago
2007
IEEE
Abstract— Providing efficient data aggregation while preserving data privacy is a challenging problem in wireless sensor networks research. In this paper, we present two privacy...
204
click to vote
ROBOCOMM
2007
IEEE
16 years 27 days ago
2007
IEEE
—For the first time, the problem of optimizing energy for communication and motion is investigated. We consider a single mobile robot with continuous high bandwidth wireless com...
183
click to vote
RTSS
2007
IEEE
16 years 27 days ago
2007
IEEE
Many distributed real-time systems face the challenge of dynamically maximizing system utility and meeting stringent resource constraints in response to fluctuations in system wo...
168
click to vote
BROADNETS
2006
IEEE
16 years 20 days ago
2006
IEEE
— We introduce a new algorithmic framework for advanced channel reservation in ultra high speed networks, called Graded Channel Reservation (GCR). GCR allows users to specify min...
181
click to vote
QEST
2006
IEEE
16 years 19 days ago
2006
IEEE
Abstract. We present a compositional theory of system verification, where specifications assign real-numbered costs to systems. These costs can express a wide variety of quantita...