3271 search results - page 272 / 655 » Controlled Multicast Framework |
251
click to vote
POPL
2009
ACM
16 years 5 months ago
2009
ACM
The call-by-need lambda calculus provides an equational framework for reasoning syntactically about lazy evaluation. This paper examines its operational characteristics. By a seri...
151
click to vote
COMPSAC
2009
IEEE
15 years 12 months ago
2009
IEEE
Along with the popularity of software-intensive systems, the interactions between system components and between humans and software applications are becoming more and more complex...
155
click to vote
ICNP
2009
IEEE
15 years 11 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...
114
Voted
IROS
2009
IEEE
15 years 11 months ago
2009
IEEE
— The tasks of entrapping/escorting and patrolling around an autonomous target are presented making use of the multi-robot cluster space control approach. The cluster space contr...
183
click to vote
CDC
2008
IEEE
15 years 11 months ago
2008
IEEE
— There has been much recent interest in protocol design for wireless networks based on maximizing a network utility function. A significant advance in recent years is the obser...