2163 search results - page 83 / 433 » cases 2004 |
AUSAI
2004
Springer
15 years 3 months ago
2004
Springer
This paper presents a formal method based on the high-level semantics of processes to reason about continuous change. With a case study we show how the semantics of processes can b...
ECCV
2004
Springer
15 years 3 months ago
2004
Springer
Abstract. In this paper, we formulate the requirements for privacy protecting biometric authentication systems. The secrecy capacity Cs is investigated for the discrete and the con...
EUROPKI
2004
Springer
15 years 3 months ago
2004
Springer
We present a framework for extending the functionality of LDAP servers from their typical use as a public directory in public key infrastructures. In this framework the LDAP server...
FLOPS
2004
Springer
15 years 3 months ago
2004
Springer
Restricting polymorphism to values is now the standard way to obtain soundness in ML-like programming languages with imperative features. While this solution has undeniable advant...
GFKL
2004
Springer
15 years 3 months ago
2004
Springer
The present study aims at the quantitative classification of texts and text types. By way of a case study, 398 Slovenian texts from different genres and authors are analyzed as t...