44 search results - page 9 / 9 » Using equivalence-checking to verify robustness to denial of... |
ICIP
2009
IEEE
14 years 6 months ago
2009
IEEE
The throughput of Peer-to-Peer (P2P) Video-on-Demand (VoD) systems is typically capped by the users' aggregate upload bandwidth [1]. The drastic increase in the popularity of...
RTAS
2009
IEEE
14 years 5 days ago
2009
IEEE
Embedded systems in safety-critical environments demand safety guarantees while providing many useful services that are too complex to formally verify or fully test. Existing appl...
PKC
1999
Springer
13 years 9 months ago
1999
Springer
Abstract. In a distributed system, dynamically dividing execution between nodes is essential for service robustness. However, when all of the nodes cannot be equally trusted, and w...
ACNS
2008
Springer
13 years 11 months ago
2008
Springer
Reliable network demographics are quickly becoming a much sought-after digital commodity. However, as the need for more refined Internet demographics has grown, so too has the ten...