4690 search results - page 339 / 938 » An operational semantics for Scheme |
194
click to vote
MFDBS
1991
15 years 10 months ago
1991
We study an approach to relational databases which treats relations not as subsets of a Cartesian product but as subsets of some domain { a partially ordered space of descriptions...
188
click to vote
WIESS
2000
15 years 8 months ago
2000
A software system can be called a safe-system with respect to memory, when it supports only strong-typing and it does not allow for the manual disposal of dynamic memory [2]. The ...
139
click to vote
ICPR
2010
IEEE
15 years 8 months ago
2010
IEEE
A fixed-length binary representation of a fingerprint has the advantages of a fast operation and a small template storage. For many biometric template protection schemes, a binary...
162
click to vote
CORR
2008
Springer
15 years 6 months ago
2008
Springer
In this paper, we describe a proactive recovery scheme based on service migration for long-running Byzantine fault tolerant systems. Proactive recovery is an essential method for ...
161
click to vote
JC
2006
15 years 6 months ago
2006
We discuss adaptive strategies for choosing regularization parameters in TikhonovPhillips regularization of discretized linear operator equations. Two rules turn out to be entirel...