624 search results - page 77 / 125 » Application of Lightweight Formal Methods to Software Securi... |
157
Voted
TVLSI
2008
15 years 3 months ago
2008
Chip-Multi-Processors (CMP) utilize multiple energy-efficient Processing Elements (PEs) to deliver high performance while maintaining an efficient ratio of performance to energy-c...
133
click to vote
ACISP
2009
Springer
15 years 10 months ago
2009
Springer
In the setting of identity-based encryption with multiple trusted authorities, TA anonymity formally models the inability of an adversary to distinguish two ciphertexts correspondi...
230
click to vote
SIGMOD
2009
ACM
16 years 4 months ago
2009
ACM
Service providers like Google and Amazon are moving into the SaaS (Software as a Service) business. They turn their huge infrastructure into a cloud-computing environment and aggr...
131
Voted
EUROSYS
2007
ACM
16 years 1 months ago
2007
ACM
Real production applications ranging from enterprise applications to large e-commerce sites share a crucial but seldom-noted characteristic: The relative frequencies of transactio...
127
Voted
FMCO
2007
Springer
15 years 10 months ago
2007
Springer
As Internet applications become larger and more complex, the task of managing them becomes overwhelming. “Abnormal” events such as software updates, failures, attacks, and hots...