3628 search results - page 558 / 726 » The Decision Diffie-Hellman Problem |
145
click to vote
IFM
2009
Springer
15 years 10 months ago
2009
Springer
We present the new technique of dynamic path reduction (DPR), which allows one to prune redundant paths from the state space of a program under verification. DPR is a very general...
131
click to vote
MDAI
2009
Springer
15 years 10 months ago
2009
Springer
Web 2.0 Communities allow large amounts of users to interact with each others. In fact, new Web 2.0 technologies allow to share resources and information in an easy and timely mann...
139
click to vote
MIDDLEWARE
2009
Springer
15 years 10 months ago
2009
Springer
Abstract. Virtualization-based server consolidation is an important technique for cost and energy reductions in data center environments and a key enabler of cloud computing. Howev...
137
click to vote
PROFES
2009
Springer
15 years 10 months ago
2009
Springer
Value-based software engineering (VBSE) is an emerging stream of research that addresses the value considerations of software and extends the traditional scope of software engineer...
SOUPS
2009
ACM
15 years 10 months ago
2009
ACM
: © Not One Click for Security Alan H. Karp, Marc Stiegler, Tyler Close HP Laboratories HPL-2009-53 Secure cooperation, usable security Conventional wisdom holds that security mus...