298 search results - page 18 / 60 » Abstract Models of Transfinite Reductions |
98
Voted
ESANN
2004
15 years 4 months ago
2004
Abstract. A well-known result by Stein shows that regularized estimators with small bias often yield better estimates than unbiased estimators. In this paper, we adapt this spirit ...
142
Voted
SCCC
1998
IEEE
15 years 6 months ago
1998
IEEE
CORBA is a middleware with open standardization that is receiving plenty of acceptance for facilitating the distributed objects programming. CORBA is being extended through the sp...
133
Voted
IACR
2011
14 years 2 months ago
2011
Abstract. We show that the Winternitz one-time signature scheme is existentially unforgeable under adaptive chosen message attacks when instantiated with a family of pseudo random ...
130
Voted
ASM
2008
ASM
15 years 4 months ago
2008
ASM
Abstract. In this paper we examine the difference between model checking high-level and low-level models. In particular, we compare the ProB model checker for the B-method and the ...
113
Voted
FAC
2007
15 years 2 months ago
2007
Abstract. In this paper we consider two performance modelling techniques from the perspectives of model construction, generation of an underlying continuous time Markov process, an...