691 search results - page 31 / 139 » Equational Abstractions |
FOSSACS
2010
Springer
14 years 3 months ago
2010
Springer
Abstract. We present the first complete soundness proof of the antiframe rule, a recently proposed proof rule for capturing information hiding in the presence of higher-order stor...
FASE
2009
Springer
14 years 3 months ago
2009
Springer
Abstract. We present a systematic method of analysing the scalability of large-scale systems. We construct a high-level model using the SRMC process calculus and generate variants ...
SG
2010
Springer
14 years 1 months ago
2010
Springer
This paper is an artist statement describing a manipulation of the Mandelbrot Set equation as the basis for creating semi-figurative images, using a genetic algorithm. Modernist pa...
CALC
2001
Springer
14 years 1 months ago
2001
Springer
Abstract. This talk is a brief survey of recent results and ideas concerning the problem of finding a small root of a univariate polynomial mod N, and the companion problem of fi...
HYBRID
1998
Springer
14 years 1 months ago
1998
Springer
Abstract. In this paper we discuss the problem of calculating the reachable states of a dynamical system de ned by ordinary di erential equations or inclusions. We present a protot...