4998 search results - page 142 / 1000 » The case for intentional networking |
SPIN
2000
Springer
15 years 1 months ago
2000
Springer
Abstract. We report on the use of model checking techniques for both the verification of a process control program and the derivation of optimal control schedules. Most of this wor...
HOTOS
2009
IEEE
15 years 1 months ago
2009
IEEE
This paper makes the case that operating system designs for sensor networks should focus on the coordination of resource management decisions across the network, rather than merel...
127
click to vote
BROADNETS
2006
IEEE
15 years 1 months ago
2006
IEEE
Abstract-- Optical Networks with wavelength routing are expected to form the backbone in the next generation wide area networks. The traffic grooming problem in optical networks is...
ICC
2008
IEEE
15 years 4 months ago
2008
IEEE
Abstract— We investigate adaptive modulation using the network utility maximization framework. We derive new crosslayer optimal power and rate adaptation policies for several pra...
TNN
2010
14 years 4 months ago
2010
This paper presents a new approach for identifying and validating the F/A-18 aeroservoelastic model, based on flight flutter tests. The neural network (NN), trained with five diffe...