9067 search results - page 786 / 1814 » Adaptive Model Checking |
204
click to vote
ICIP
2004
IEEE
16 years 9 months ago
2004
IEEE
Current adaptive FEC schemes used for video streaming applications alter the redundancy in a block of message packets to adapt to varying channel conditions. However, for many pop...
233
click to vote
MMS
2008
15 years 7 months ago
2008
Due to the increasing deployment of conversational real-time applications like VoIP and videoconferencing, the Internet is today facing new challenges. Low end-to-end delay is a vi...
194
click to vote
TNN
2008
15 years 7 months ago
2008
Aging effects, environmental changes, thermal drifts, and soft and hard faults affect physical systems by changing their nature and behavior over time. To cope with a process evolu...
195
click to vote
INFOCOM
2006
IEEE
16 years 1 months ago
2006
IEEE
— This paper presents our work in the context of the Adaptive Resource Management (ARM) internal research project at the University of Milano-Bicocca, Italy. The project addresse...
212
click to vote
STOC
1996
ACM
15 years 11 months ago
1996
ACM
A fundamental problem in designing secure multi-party protocols is how to deal with adaptive adversaries i.e., adversaries that may choose the corrupted parties during the course ...