Sciweavers

2940 search results - page 190 / 588
» Relational Parametricity and Control
Sort
View
DEPCOS
2008
IEEE
180views Hardware» more  DEPCOS 2008»
16 years 1 months ago
A Resilient SIL 2 Driver Machine Interface for Train Control Systems
In railway train-borne equipment, the Driver Machine Interface (DMI) acts like a bridge between the train driver and the onboard automatic train control system (European Vital Com...
Andrea Ceccarelli, István Majzik, Danilo Io...
ICC
2007
IEEE
146views Communications» more  ICC 2007»
16 years 27 days ago
Active Window Management: An Efficient Gateway Mechanism for TCP Traffic Control
—Many techniques have been proposed in the last few years to address performance degradations in end-to-end congestion control. Although these techniques require parameter tuning...
Mario Barbera, Alfio Lombardo, Carla Panarello, Gi...
INFOCOM
2007
IEEE
16 years 26 days ago
Distributed Relay Selection and Power Control for Multiuser Cooperative Communication Networks Using Buyer/Seller Game
— The performances in cooperative communications depend on careful resource allocation such as relay selection and power control, but traditional centralized resource allocation ...
Beibei Wang, Zhu Han, K. J. Ray Liu
IWNAS
2006
IEEE
16 years 17 days ago
Mobility Control with Local Views of Neighborhood in Mobile Networks
Recent work in mobile ad hoc networks, simply MANETs, has drawn attention to the mobility capability of each node. In [5], it is proved that the optimal positions of the relay nod...
Zhen Jiang, Jie Wu, Robert Kline
IPCCC
2005
IEEE
16 years 4 days ago
Dynamic localization control for mobile sensor networks
Localization is a fundamental operation in mobile and self-configuring networks such as sensor networks and mobile ad hoc networks. For example, sensor location is often critical...
Sameer Tilak, Vinay Kolar, Nael B. Abu-Ghazaleh, K...