2268 search results - page 173 / 454 » The Essence of Form Abstraction |
97
Voted
FOSSACS
2004
Springer
15 years 7 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...
FPL
2004
Springer
15 years 7 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 ...
125
click to vote
GECCO
2004
Springer
15 years 7 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...
GPCE
2004
Springer
15 years 7 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 (...
HUC
2004
Springer
15 years 7 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...