1458 search results - page 87 / 292 » The sequentially realizable functionals |
137
click to vote
FSS
2002
15 years 6 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...
164
click to vote
BIRTHDAY
2008
Springer
15 years 8 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...
165
click to vote
CCE
2004
15 years 6 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...
143
click to vote
FSTTCS
2009
Springer
16 years 23 days 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...
165
click to vote
IDEAS
2003
IEEE
15 years 11 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, ...