1528 search results - page 182 / 306 » Performance Assertion Checking |
DEXAW
1996
IEEE
15 years 6 months ago
1996
IEEE
Engineeringdesign applications require the support of long transactions in cooperative environments, The problem of the existing copy/update/merge approaches is that thepartial ef...
128
click to vote
C3S2E
2009
ACM
15 years 6 months ago
2009
ACM
This paper proposes a security analysis framework for dynamic web applications. A reverse engineering process is performed over a dynamic web application to extract a rolebased ac...
117
click to vote
ACSC
2004
IEEE
15 years 6 months ago
2004
IEEE
Types are fundamental for enforcing levels of abstraction in modern high-level programming languages and their lower-level representations. However, some type-related features suc...
110
click to vote
ACSAC
2006
IEEE
15 years 6 months ago
2006
IEEE
Several secure computing hardware architectures using memory encryption and memory integrity checkers have been proposed during the past few years to provide applications with a t...
112
click to vote
CP
2004
Springer
15 years 6 months ago
2004
Springer
Symmetry in constraint problems can be exploited to greatly improve search performance. A form of symmetry that has been the subject of considerable research is value interchangeab...