1407 search results - page 31 / 282 » Using Use Cases in Executable Z |
142
click to vote
ICDE
2006
IEEE
15 years 8 months ago
2006
IEEE
In recent years, corporate governance has become a more and more important concern in investment decision-making. As one of the most important factors in evaluating corporate gove...
125
click to vote
RTCSA
2006
IEEE
15 years 8 months ago
2006
IEEE
We propose a new execution time prediction method that combines measurement-based execution time analysis and simulation-based memory access analysis. In measurement-based executi...
200
Voted
ESORICS
2011
Springer
14 years 2 months ago
2011
Springer
Abstract. Trigger-based code (malicious in many cases, but not necessarily) only executes when specific inputs are received. Symbolic execution has been one of the most powerful t...
116
click to vote
SP
2010
IEEE
15 years 6 months ago
2010
IEEE
—Dynamic taint analysis and forward symbolic execution are quickly becoming staple techniques in security analyses. Example applications of dynamic taint analysis and forward sym...
144
click to vote
CCGRID
2010
IEEE
14 years 6 months ago
2010
IEEE
- Scientific workflows have become an integral part of cyberinfrastructure as their computational complexity and data sizes have grown. However, the complexity of the distributed i...