9521 search results - page 201 / 1905 » Compiling with continuations, continued |
103
Voted
EDBTW
2010
Springer
15 years 10 months ago
2010
Springer
To face the increasing demand from users, National Statistical Institutes (NSI) release different information products. The dissemination of this information should be performed ...
113
click to vote
FOSSACS
2010
Springer
15 years 10 months ago
2010
Springer
Λµ-calculus was introduced as a Böhm-complete extension of Parigot's λµ-calculus. Λµ-calculus, contrarily to Parigot's calculus, is a calculus of CBN delimited con...
134
click to vote
ESORICS
2009
Springer
15 years 10 months ago
2009
Springer
Abstract. Biometric information is regarded as highly sensitive information and therefore encryption techniques for biometric information are needed to address security and privacy...
FOSSACS
2009
Springer
15 years 10 months ago
2009
Springer
119
click to vote
ICSE
2009
IEEE-ACM
15 years 10 months ago
2009
IEEE-ACM
Most of the current software reliability analysis approaches are geared to traditional desktop software systems, which are relatively stable and static throughout their execution....