Sciweavers

4985 search results - page 922 / 997
» Re-Configurable Computing in Wireless
Sort
View
ICN
2009
Springer
15 years 2 months ago
Trainspotting, a WSN-Based Train Integrity System
In contrast to classic train protection systems where most of the safety measures are built into the rail infrastructure, future versions of the European railway safety system ERT...
Hans Scholten, Roel Westenberg, Manfred Schoemaker
CAV
2000
Springer
97views Hardware» more  CAV 2000»
15 years 2 months ago
Detecting Errors Before Reaching Them
Abstract. Any formalmethodor tool is almostcertainlymoreoftenapplied in situationswheretheoutcomeis failure(acounterexample)rather than success (a correctness proof). We present a ...
Luca de Alfaro, Thomas A. Henzinger, Freddy Y. C. ...
INFOCOM
1999
IEEE
15 years 2 months ago
A Reliable, Efficient Topology Broadcast Protocol for Dynamic Networks
We present, prove correctness for, and evaluate a protocol for the reliable broadcast of topology and link-state information in a multihop communication network with a dynamic topo...
Bhargav R. Bellur, Richard G. Ogier
ICIP
1998
IEEE
15 years 2 months ago
Multiple-Description Wavelet based Image Coding
Abstract--We consider the problem of coding images for transmission over error-prone channels. The impairments we target are transient channel shutdowns, as would occur in a packet...
Sergio D. Servetto, Kannan Ramchandran, Vinay A. V...
ICRA
1998
IEEE
114views Robotics» more  ICRA 1998»
15 years 2 months ago
A Twenty-Four Hour Tele-Nursing System Using a Ring Sensor
The objective of this paper is to present the recent development of the ring sensor to monitor a patient 24 hours a day for a tele-nursing system. The ring sensor is worn by the p...
Boo-Ho Yang, Sokwoo Rhee, Haruhiko Asada