1458 search results - page 87 / 292 » The sequentially realizable functionals |
112
Voted
FSS
2002
15 years 3 months ago
2002
In this paper we consider the rth powers of a continuous t-norm for positive real numbers r, generalizing the notion of the diagonal (2nd power). We identify the increasing functi...
134
click to vote
BIRTHDAY
2008
Springer
15 years 5 months ago
2008
Springer
As Dag Normann has recently shown, the fully abstract model for PCF of hereditarily sequential functionals is not -complete and therefore not continuous in the traditional terminol...
123
Voted
CCE
2004
15 years 3 months ago
2004
This paper presents a sequential two-stage strategy for the stochastic synthesis of chemical processes in which flexibility and ability to adjust manipulated variables are taken i...
112
click to vote
FSTTCS
2009
Springer
15 years 10 months ago
2009
Springer
We present a symbolic framework for refinement and composition of security protocols. ework uses the notion of ideal functionalities. These are abstract systems which are secure b...
130
Voted
IDEAS
2003
IEEE
15 years 9 months ago
2003
IEEE
E-learning platforms and their functionalities resemble one another to a large extend. Recent standardization efforts in e-learning concentrate on the reuse of learning material, ...