Sciweavers

8555 search results - page 1460 / 1711
» Property Based Coordination
Sort
View
MMNS
2003
130views Multimedia» more  MMNS 2003»
15 years 8 months ago
TCP Friendly Rate Adaptation for Multimedia Streaming in Mobile ad hoc Networks
Transport protocol for supporting multimedia streaming in mobile ad hoc networks has to cope with the rich dynamics, including mobility-induced disconnection, reconnection, and hig...
Zhenghua Fu, Xiaoqiao Meng, Songwu Lu
VCIP
2003
170views Communications» more  VCIP 2003»
15 years 8 months ago
Scan order and quantization for 3D-DCT coding
Two types of coders dominate the field of video compression research today: well-established hybrid coders, that are in the core of all MPEG and H.26X standards, and emerging thr...
Nikola Bozinovic, Janusz Konrad
VCIP
2003
152views Communications» more  VCIP 2003»
15 years 8 months ago
Robust approach for color image quality assessment
This paper presents a visual color image quality metric assessment with full reference image. The metric is highly based on human visual system properties in order to get the best...
Patrick Le Callet, Dominique Barba
FTCS
1998
91views more  FTCS 1998»
15 years 8 months ago
How Fail-Stop are Faulty Programs?
Most fault-tolerant systems are designed to stop faulty programs before they write permanent data or communicate with other processes. This property (halt-on-failure) forms the co...
Subhachandra Chandra, Peter M. Chen
FTCS
1998
114views more  FTCS 1998»
15 years 8 months ago
Verification of a Safety-Critical Railway Interlocking System with Real-Time Constraints
Ensuring the correctness of computer systems used in lifecritical applications is very difficult. The most commonly used verification methods, simulation and testing, are not exha...
Vicky Hartonas-Garmhausen, Sérgio Vale Agui...
« Prev « First page 1460 / 1711 Last » Next »