Sciweavers

831 search results - page 75 / 167
» Coalgebraic Correspondence Theory
Sort
View
CDC
2008
IEEE
289views Control Systems» more  CDC 2008»
15 years 6 months ago
Robust H-infinity control for uncertain time-delay TCP/AQM network system
—A robust active queue management (AQM) scheme based on H-infinty theory is presented for the problem of congestion control in TCP communication networks. In TCP/IP networks, the...
Yuanwei Jing, Hongwei Wang, Georgi M. Dimirovski, ...
GLOBECOM
2008
IEEE
15 years 6 months ago
Scalable and Adaptive Resource Scheduling in IEEE 802.16 WiMAX Networks
—This paper proposes the so-called adaptive resource scheduling (ARS) schemes to cope with both uplink and downlink traffic transmissions in WiMAX, in order to fully utilize the ...
Hanwu Wang, Weijia Jia
ICRA
2008
IEEE
146views Robotics» more  ICRA 2008»
15 years 6 months ago
Visual servoing based on Gaussian mixture models
— In this paper we present a novel approach to robust visual servoing. This method removes the feature tracking step from a typical visual servoing algorithm. We do not need corr...
A. H. Abdul Hafez, Supreeth Achar, C. V. Jawahar
ICNS
2007
IEEE
15 years 6 months ago
Data fusion algorithms for network anomaly detection: classification and evaluation
In this paper, the problem of discovering anomalies in a large-scale network based on the data fusion of heterogeneous monitors is considered. We present a classification of anoma...
Vasilis Chatzigiannakis, Georgios Androulidakis, K...
SEFM
2007
IEEE
15 years 6 months ago
Protocol Conformance Testing a SIP Registrar: an Industrial Application of Formal Methods
Various research prototypes and a well-founded theory of model based testing (MBT) suggests the application of MBT to real-world problems. In this article we report on applying th...
Bernhard K. Aichernig, Bernhard Peischl, Martin We...