2268 search results - page 173 / 454 » The Essence of Form Abstraction |
158
click to vote
FOSSACS
2004
Springer
15 years 12 months ago
2004
Springer
Abstract. Using a probabilistic polynomial-time process calculus designed for specifying security properties as observational equivalences, we develop a form of bisimulation that j...
139
click to vote
FPL
2004
Springer
15 years 12 months ago
2004
Springer
Abstract. This paper focuses on a class of problem relating to the multiplication of a single number by several coefficients that, while not constant, are drawn from a finite set ...
183
click to vote
GECCO
2004
Springer
15 years 12 months ago
2004
Springer
Abstract. In practical applications evaluating a fitness function is frequently subject to noise, i. e., the “true fitness” is disturbed by some random variations. Evolutiona...
144
click to vote
GPCE
2004
Springer
15 years 12 months ago
2004
Springer
Abstract. We define a basic calculus for name management, which is obtained by an appropriate combination of three ingredients: extensible records (in a simplified form), names (...
158
click to vote
HUC
2004
Springer
15 years 12 months ago
2004
Springer
Abstract. Infrastructures (persistent socio-technical systems over which services are delivered) are normally taken for granted by their users, but are powerful forces of constrain...