1620 search results - page 137 / 324 » Use Case Level Pointcuts |
116
Voted
SASP
2009
IEEE
15 years 10 months ago
2009
IEEE
Abstract—One of the ways that custom instruction set extensions can improve over software execution is through the use of hardware structures that have been optimized at the arit...
123
Voted
ASIACRYPT
2010
Springer
15 years 1 months ago
2010
Springer
In a recent work, Mangard et al. showed that under certain assumptions, the (so-called) standard univariate side-channel attacks using a distance-of-means test, correlation analysi...
159
click to vote
RTA
2005
Springer
15 years 8 months ago
2005
Springer
Cryptographic protocols are small programs which involve a high level of concurrency and which are difficult to analyze by hand. The most successful methods to verify such protocol...
119
click to vote
ECIS
2000
15 years 4 months ago
2000
Nowadays, almost all public administration plan to establish processes with electronic signatures. For such processes, there are no standardized system models with test cases. We a...
134
Voted
CSMR
2006
IEEE
15 years 9 months ago
2006
IEEE
Understanding large software systems is simplified when a combination of techniques for static and dynamic analysis is employed. Effective dynamic analysis requires that executio...