1974 search results - page 235 / 395 » A Library System for Small-Scale Library |
109
Voted
DIM
2009
ACM
15 years 8 months ago
2009
ACM
This paper concerns the problem of identity management in modern Web-2.0-based mashup applications. Identity management supports convenient access to information when mashups are ...
135
click to vote
TPHOL
2008
IEEE
15 years 8 months ago
2008
IEEE
g to the well-known “LCF approach” of secure inferences as abstract datatype constructors in ML [16]; explicit proof terms are also available [8]. Isabelle/Isar provides sophis...
128
click to vote
IPPS
1998
IEEE
15 years 6 months ago
1998
IEEE
Abstract. LAPACK90 is a set of LAPACK90 subroutines which interfaces FORTRAN90 with LAPACK. All LAPACK driver subroutines including expert drivers and some LAPACK computationals ha...
134
Voted
DL
1998
Springer
15 years 6 months ago
1998
Springer
The global growth in popularity of the World Wide Web has been enabled in part by the availability of browser based search tools which in turn have led to an increased demand for ...
127
click to vote
DGO
2007
15 years 3 months ago
2007
A large portion of the government, business, cultural, and scientific digital data being created today needs to be archived and preserved for future use of periods ranging from a ...