2137 search results - page 89 / 428 » Proving Abstract Non-interference |
166
Voted
DLT
2009
15 years 17 days ago
2009
Abstract. Temporal logics are a well investigated formalism for the specification and verification of reactive systems. Using formal verification techniques, we can ensure the corr...
156
Voted
CORR
2011
Springer
14 years 9 months ago
2011
Springer
ABSTRACT. Upon the discovery of power laws [8, 16, 30], a large body of work in complex network analysis has focused on developing generative models of graphs which mimick real-wor...
101
Voted
JC
2011
14 years 9 months ago
2011
Abstract. Hinrichs [3] recently studied multivariate integration defined over reproducing kernel Hilbert spaces in the randomized setting and for the normalized error criterion. I...
170
click to vote
SIAMCOMP
2011
14 years 9 months ago
2011
Abstract. In the 2nd Annual FOCS (1961), Chao-Kong Chow proved that every Boolean threshold function is uniquely determined by its degree-0 and degree-1 Fourier coefficients. These...
145
Voted
SIAMNUM
2011
14 years 9 months ago
2011
Abstract. A finite volume scheme for transport and diffusion problems on evolving hypersurfaces is discussed. The underlying motion is assumed to be described by a fixed, not ne...