1087 search results - page 83 / 218 » Achieving Distributed Control through Model Checking |
WSC
2007
13 years 11 months ago
2007
Adaptive Time Warp protocols in the literature are usually based on a pre-defined analytic model of the system, expressed as a closed form function that maps system state to cont...
ICNP
2009
IEEE
14 years 3 months ago
2009
IEEE
—We introduce a measurement-based optimization framework for topology control in dense 802.11 networks using sectorized antennas. We first formulate a topology control optimizat...
IAJIT
2007
13 years 9 months ago
2007
: Mobile ad-hoc network is a network without infrastructure where every node has its own protocols and services for powerful cooperation in the network. Every node also has the abi...
ECIR
2010
Springer
13 years 10 months ago
2010
Springer
Web pages are often recognized by others through contexts. These contexts determine how linked pages influence and interact with each other. When differentiating such interactions,...
ICDCS
2003
IEEE
14 years 2 months ago
2003
IEEE
Internet radio and television stations require significant bandwidth to support delivery of high quality audio and video streams to a large number of receivers. IP multicast is a...