5488 search results - page 975 / 1098 » On the Secure Implementation of Security Protocols |
172
click to vote
SYSTOR
2010
ACM
15 years 9 months ago
2010
ACM
Operating system (OS) virtualization can provide a number of important benefits, including transparent migration of applications, server consolidation, online OS maintenance, and...
155
click to vote
HUC
2009
Springer
15 years 9 months ago
2009
Springer
To usefully query a location-based service, a mobile device must typically present its own location in its query to the server. This may not be acceptable to clients that wish to ...
152
click to vote
ECOOP
2000
Springer
15 years 9 months ago
2000
Springer
Modern software must evolve in response to changing conditions. In the most widely used programming environments, code is static and cannot change at runtime. This poses problems ...
129
click to vote
ACNS
2010
Springer
15 years 9 months ago
2010
Springer
We propose COP, a client-side system for protecting children’s online privacy and empowering parental control over children’s information disclosure with little manual effort. ...
181
click to vote
CAV
2009
Springer
15 years 8 months ago
2009
Springer
tic modalities for correctness [16]. The release described in this abstract is a complete rebuild of a preliminary experimental checker [14]. The model input language includes vari...