1743 search results - page 250 / 349 » Generalized Modal Satisfiability |
133
click to vote
CCS
2008
ACM
15 years 6 months ago
2008
ACM
Virtual machines are widely accepted as a promising basis for building secure systems. However, while virtual machines offer effective mechanisms to create isolated environments, ...
144
click to vote
CCS
2008
ACM
15 years 6 months ago
2008
ACM
The Unified Model (UM) key agreement protocol is an efficient Diffie-Hellman scheme that has been included in many cryptographic standards, most recently in the NIST SP 80056A sta...
147
click to vote
CCS
2008
ACM
15 years 6 months ago
2008
ACM
While many obfuscation schemes proposed, none of them satisfy any strong definition of obfuscation. Furthermore secure generalpurpose obfuscation algorithms have been proven to be...
123
click to vote
ATAL
2006
Springer
15 years 6 months ago
2006
Springer
We study the problem of agents attempting to find quality service providers in a distributed environment. While referrals from other agents can be used to locate high-quality prov...
158
click to vote
CODES
2006
IEEE
15 years 6 months ago
2006
IEEE
A key step in the design of multi-rate real-time systems is the determination of buffer capacities. In our multi-processor system, we apply back-pressure as caused by bounded buff...