Abstract—The recently approved IEEE 802.11e standard improves the support for real-time multimedia applications in Wireless LANs. Yet, to provide some level of guarantee in terms...
Rosario Giuseppe Garroppo, Stefano Giordano, Stefa...
: We consider the combined control problem of connection admission, flow rate, and bandwidth allocation (capacity, service-rate) under nonstationary conditions. A fluid flow model ...
Andreas Pitsillides, Petros A. Ioannou, David Tipp...
We study state estimation via wireless sensor networks over fading channels affected by random packet loss. In the configuration examined, the sensors send their measurements to ...
We present a view-based method for steering a robot in a network of positions; this includes navigation along a prerecorded path, but also allows for arbitrary movement of the robo...
Holger Friedrich, David Dederscheck, Eduard Rosert...
Model checking (MC) is a formal verification technique which has known and still knows a resounding success in the computer science community. Realizing that the distributed power...
Thomas Brihaye, Marc Jungers, Samson Lasaulce, Nic...