Sciweavers

1580 search results - page 107 / 316
» Non-Interference Through Determinism
Sort
View
ICRA
2003
IEEE
156views Robotics» more  ICRA 2003»
14 years 3 months ago
TopBot: automated network topology detection with a mobile robot
Abstract— We have demonstrated that a properlyequipped mobile robot can easily construct a detailed map of the wireless coverage of an urban environment. The Autonomous Vehicle f...
Paul Blaer, Peter K. Allen
IPPS
2003
IEEE
14 years 3 months ago
Distributed Process Networks in Java
Kahn defined a formal model for networks of processes that communicate through channels carrying streams of data tokens. His mathematical results show the necessary conditions fo...
Thomas M. Parks, David Roberts
ISCC
2003
IEEE
14 years 3 months ago
Provisioning Algorithms in Survivable Optical Networks with Shared Protection
The efficient use of network capacity strongly depends upon the path selection procedure. In this paper we propose and evaluate efficient path selection algorithms for survivable ...
Chadi Assi, Ahmad Khalil, Nasir Ghani, Mohamed A. ...
ISQED
2003
IEEE
71views Hardware» more  ISQED 2003»
14 years 3 months ago
Revisiting the Noise Figure Design Metric for Digital Communication Receiver
Noise figure is a commonly used system parameter that quantifies the degradation in the signal-to-noise ratio (SNR) as the signal passes through a receiving system. Because of the...
Won Namgoong, Jongrit Lerdworatawee
KBSE
2003
IEEE
14 years 3 months ago
An Approach for Tracing and Understanding Asynchronous Architectures
Applications built in a strongly decoupled, eventbased interaction style have many commendable characteristics, including ease of dynamic configuration, accommodation of platform ...
Scott A. Hendrickson, Eric M. Dashofy, Richard N. ...