4286 search results - page 780 / 858 » Formalizing Service Interactions |
113
click to vote
JSAC
2006
15 years 3 months ago
2006
We present a detailed study of the potential impact of BGP peering session attacks and the resulting exploitation of Route Flap Damping (RFD) that cause network-wide routing disrup...
106
click to vote
ENTCS
2007
15 years 3 months ago
2007
We present a powerful and flexible method for automatically checking the secrecy of values inside components. In our framework an attacker may monitor the external communication ...
154
click to vote
NAR
2006
15 years 3 months ago
2006
The MPI Bioinformatics Toolkit is an interactive web service which offers access to a great variety of public and in-house bioinformatics tools. They are grouped into different se...
137
click to vote
IPM
2007
15 years 3 months ago
2007
As access to information becomes more intensive in society, a great deal of that information is becoming available through diverse channels. Accordingly, users require effective ...
127
click to vote
TCSV
2008
15 years 3 months ago
2008
Multi-user video streaming over wireless channels is a challenging problem, where the demand for better video quality and small transmission delays needs to be reconciled with the ...