1136 search results - page 59 / 228 » A case for the accountable cloud |
174
click to vote
NETCOOP
2007
Springer
16 years 8 days ago
2007
Springer
We consider jamming in wireless networks with transmission cost for both transmitter and jammer. We use the framework of non-zerosum games. In particular, we prove the existence an...
162
click to vote
ICRA
2006
IEEE
16 years 5 days ago
2006
IEEE
— In this paper, we study the problem of localization using relative-state estimates. It is shown, that when the same exteroceptive sensor measurement is processed for the comput...
179
click to vote
SEW
2005
IEEE
15 years 11 months ago
2005
IEEE
Dealing with dependability requirements is a complex task for stakeholders and analysts as many different aspects of a system must be taken into account at the same time: services...
140
click to vote
SPW
2004
Springer
15 years 11 months ago
2004
Springer
abstract February 6, 2004 Security protocols typically employ an authentication phase followed by a protected data exchange. In some cases, such TLS, these two phases are tightly ...
151
click to vote
TPHOL
2000
IEEE
15 years 10 months ago
2000
IEEE
We provide a proof using HOL and SPIN of convergence for the Routing Information Protocol (RIP), an internet protocol based on distance vector routing. We also calculate a sharp re...