15421 search results - page 287 / 3085 » Dependability |
215
click to vote
QOFIS
2004
Springer
16 years 2 days ago
2004
Springer
In this paper, we present an analysis of the impact of using media–dependent Forward Error Correction (FEC) in VoIP flows over the Internet. This error correction mechanism cons...
158
click to vote
TSD
2004
Springer
16 years 2 days ago
2004
Springer
Discourse in formal domains, such as mathematics, is characterized by a mixture of telegraphic natural language and embedded formal expressions. Little is known about the suitabil...
156
click to vote
VMCAI
2004
Springer
16 years 2 days ago
2004
Springer
Abstract. This paper presents history-dependent scheduling, a new technique for reducing the search space in the verification of cryptographic protocols. This technique allows the...
