289 search results - page 50 / 58 » Program transformation by templates based on term rewriting |
HICSS
2009
IEEE
14 years 3 months ago
2009
IEEE
In the current state of practice, security properties of software systems are typically assessed through subjective, labor-intensive human evaluation. Moreover, much of the quanti...
CORR
2010
Springer
13 years 8 months ago
2010
Springer
Dependently typed -calculi such as the Logical Framework (LF) are capable of representing relationships between terms through types. By exploiting the "formulas-as-types"...
PLDI
2009
ACM
14 years 3 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...
AVI
2008
13 years 10 months ago
2008
Computer visualization and networking have advanced dramatically over the last few years, partially driven by the exploding video game market. 3D hardware acceleration has reached...
CCR
2008
13 years 8 months ago
2008
Flow records gathered by routers provide valuable coarse-granularity traffic information for several measurement-related network applications. However, due to high volumes of traf...