513 search results - page 30 / 103 » How digital libraries can support e-learning |
156
click to vote
APLAS
2010
ACM
15 years 4 months ago
2010
ACM
Abstract. We propose a flexible method for verifying the security of ML programs that use cryptography and recursive data structures. Our main applications are X.509 certificate ch...
171
click to vote
AWIC
2004
Springer
15 years 9 months ago
2004
Springer
As in any other organization, hospital personnel absorb information from their environment, turn it into knowledge, and then make decisions based on it. Hospital Information System...
127
click to vote
KBSE
1998
IEEE
15 years 8 months ago
1998
IEEE
Specification-based retrieval provides exact contentoriented access to component libraries but requires too much deductive power. Specification-based browsing evades this bottlene...
156
click to vote
ESWS
2005
Springer
15 years 10 months ago
2005
Springer
The Semantic Web is an extension of the current Web in which information is given well-defined meaning to support effective data discovery and integration. The RDF framework is a...
133
click to vote
RTAS
2006
IEEE
15 years 10 months ago
2006
IEEE
Despite a rapid decrease in the price of solid state memory devices, system memory is still a very precious resource in embedded systems. The use of shared libraries is known to b...