932 search results - page 154 / 187 » Verifying Progress in Timed Systems |
EMSOFT
2006
Springer
14 years 20 days ago
2006
Springer
Distributed real-time systems require a predictable and verifiable mechanism to control the communication medium. Current real-time communication protocols are typically independe...
Publication
Congestion remains one of the main obstacles to the Quality of Service (QoS) on the Internet. We think that a good solution to Internet congestion should optimally combine congesti...
CVPR
2003
IEEE
14 years 11 months ago
2003
IEEE
Motion blur due to camera motion can significantly degrade the quality of an image. Since the path of the camera motion can be arbitrary, deblurring of motion blurred images is a ...
WWW
2006
ACM
14 years 9 months ago
2006
ACM
Many systems use past behavior, preferences and environmental factors to attempt to predict user navigation on the Internet. However we believe that many of these models have shor...
WWW
2004
ACM
14 years 9 months ago
2004
ACM
Prior work has shown that semantic email processes (SEPs) can be an effective tool for automating emailmediated tasks that are currently performed manually in a tedious, time-cons...