7962 search results - page 376 / 1593 » Conceptions of information science |
131
Voted
JCDL
2006
ACM
16 years 22 days ago
2006
ACM
The Virginia Tech Department of Computer Science (VT CS) and the University of North Carolina at Chapel Hill School of Information and Library Science (UNC SILS) have launched a c...
146
Voted
GI
2003
Springer
16 years 6 hour ago
2003
Springer
: The increasing pressure for network accessible information and business applications demands secure, interoperable, cost efficient and user self-service authentication procedures...
178
click to vote
ISAAC
2003
Springer
15 years 12 months ago
2003
Springer
This paper introduces quantum “multiple-Merlin”-Arthur proof systems in which Arthur receives multiple quantum proofs that are unentangled with each other. Although classical ...
164
click to vote
ERSHOV
2001
Springer
15 years 11 months ago
2001
Springer
A general semantics-based framework for the analysis of logic programs with delay declarations is presented. The framework incorporates well known refinement techniques based on r...
157
Voted
HOA
1993
15 years 11 months ago
1993
Abstract. The Spectrum project concentrates on the process of developing well-structured, precise system speci cations. Spectrum is a speci cation language, with a deduction calcul...