7329 search results - page 1093 / 1466 » Software Architectural Transformation |
203
click to vote
PLDI
2009
ACM
16 years 1 months ago
2009
ACM
Symbolic analysis shows promise as a foundation for bug-finding, specification inference, verification, and test generation. This paper addresses demand-driven symbolic analysi...
203
click to vote
BTW
2009
Springer
16 years 1 months ago
2009
Springer
: Many model management tasks, e.g., schema matching or merging, require the manual handling of metadata. Given the diversity of metadata, its many different representations and mo...
192
click to vote
PPAM
2007
Springer
16 years 27 days ago
2007
Springer
Abstract. In order to take full advantage of high-end computing platforms, scientific applications often require modifications to source codes, and to their build systems that ge...
183
click to vote
RTAS
2005
IEEE
16 years 11 days ago
2005
IEEE
— Denial-of-service attacks are becoming more frequent and sophisticated. Researchers have proposed a variety of defenses, including better system configurations, infrastructure...
201
click to vote
EUROCRYPT
2004
Springer
16 years 5 days ago
2004
Springer
Informally, an obfuscator O is an efficient, probabilistic “compiler” that transforms a program P into a new program O(P) with the same functionality as P, but such that O(P)...