4211 search results - page 572 / 843 » Types as Abstract Interpretations |
163
click to vote
LICS
2003
IEEE
15 years 11 months ago
2003
IEEE
In this paper, we develop a new substructural logic that can encode invariants necessary for reasoning about hierarchical storage. We show how the logic can be used to describe th...
147
click to vote
SIGDOC
2003
ACM
15 years 11 months ago
2003
ACM
Artificial intelligence techniques have found a number of applications in hypermedia, mostly in two specific areas, user interface, particularly adaptive ones and information sear...
198
click to vote
AC
2003
Springer
15 years 11 months ago
2003
Springer
Generic Haskell is an extension of Haskell that supports the construction of generic programs. These lecture notes discuss three advanced generic programming applications: generic ...
169
click to vote
ACNS
2003
Springer
15 years 11 months ago
2003
Springer
Abstract. The use of biometrics, and fingerprint recognition in particular, for cardholder authentication in smartcard systems is growing in popularity, and such systems are the f...
194
click to vote
BPM
2003
Springer
15 years 11 months ago
2003
Springer
Abstract. Public-key cryptography is a prerequisite for security in distributed systems and for reliable electronic commerce. The protection of public keys against attacks is the A...