4211 search results - page 505 / 843 » Types as Abstract Interpretations |
156
click to vote
ICWL
2004
Springer
15 years 12 months ago
2004
Springer
Abstract. In many circumstances, including e-learning, there is a need to reorganize digital resources, scattered in many places, into a coherently accessible repository. This pape...
170
click to vote
OTM
2004
Springer
15 years 12 months ago
2004
Springer
Abstract. This paper presents a knowledge-based approach to eLearning, where the domain ontology plays central role as a resource structuring the learning content and supporting ļ¬...
165
click to vote
PDCAT
2004
Springer
15 years 12 months ago
2004
Springer
Abstract. This paper proposes a simpliļ¬ed simultaneous multithreading (SMT) architecture aiming at CPU cores of embedded SoCs for consumer applications. This architecture reduces...
150
click to vote
SCN
2004
Springer
15 years 12 months ago
2004
Springer
Abstract. We introduce and deļ¬ne the notion of identity-based zeroknowledge, concentrating on the non-interactive setting. In this setting, our notion allows any prover to widely...
204
click to vote
ACISP
2003
Springer
15 years 12 months ago
2003
Springer
Abstract. This paper examines the access control requirements of distributed health care information networks. Since the electronic sharing of an individualās personal health inf...