854 search results - page 29 / 171 » Addressing Dynamic Issues of Program Model Checking |
181
Voted
ESORICS
2012
Springer
13 years 4 months ago
2012
Springer
Tracking information flow in dynamic languages remains an open challenge. It might seem natural to address the challenge by runtime monitoring. However, there are well-known funda...
152
Voted
CORR
2010
Springer
15 years 2 months ago
2010
Springer
We introduce streaming data string transducers that map input data strings to output data strings in a single left-to-right pass in linear time. Data strings are (unbounded) seque...
126
Voted
FCCM
2006
IEEE
15 years 8 months ago
2006
IEEE
Abstract— This paper introduces a novel architecture for performing the core computations required by dynamic programming (DP) techniques. The latter pertain to a vast range of a...
112
Voted
ESOP
2010
Springer
15 years 11 months ago
2010
Springer
Proving software free of security bugs is hard. Languages that ensure that programs correctly enforce their security policies would help, but, to date, no security-typed language h...
114
Voted
GI
2004
Springer
15 years 7 months ago
2004
Springer
Abstract: A key idea of architecture is the description of components and their connections. This information can be extended to define the horizontal and vertical distribution of...