154 search results - page 31 / 31 » Electromagnetic Analysis: Concrete Results |
ENTCS
2000
14 years 11 months ago
2000
Substitution plays an important role in Hoare Logic, as it is used in interpreting assignments. When writing a computer-based realization of Hoare Logic, it is therefore important...
112
click to vote
WD
2010
14 years 9 months ago
2010
The scope of this paper is the interdisciplinary measurement and modeling methodology of Quality of Experience (QoE) when playing a mobile location-based massively multiplayer onli...
128
click to vote
HICSS
2012
IEEE
13 years 7 months ago
2012
IEEE
—Real-time access to key performance indicators is necessary to ensure timeliness and effectiveness of operational business processes. The concept of Business Activity Monitoring...
105
click to vote
SP
2010
IEEE
15 years 3 months ago
2010
IEEE
—Fuzz testing has proven successful in finding security vulnerabilities in large programs. However, traditional fuzz testing tools have a well-known common drawback: they are in...