2715 search results - page 435 / 543 » Database Publication Practices |
159
click to vote
ELPUB
2006
ACM
15 years 11 months ago
2006
ACM
The Text Encoding Initiative is an international and interdisciplinary standards project established in 1987 to develop, maintain and promulgate hardware- and software-independent...
164
click to vote
JCDL
2006
ACM
15 years 11 months ago
2006
ACM
The development of public libraries may have inadvertently brought the age of marginalia to a close but the advent of digital libraries could revive the practice of marginal annot...
137
click to vote
SOUPS
2006
ACM
15 years 10 months ago
2006
ACM
While Internet users claim to be concerned about online privacy, their behavior rarely reflects those concerns. In this paper we investigate whether the availability of compariso...
152
click to vote
TPHOL
2005
IEEE
15 years 10 months ago
2005
IEEE
Abstract. We present a set of problems that may support the development of calculi and theorem provers for classical higher-order logic. We propose to employ these test problems as...
144
click to vote
EGC
2005
Springer
15 years 10 months ago
2005
Springer
The widespread acceptance and uptake of Grid technology can only be achieved if it can be ensured that the security mechanisms needed to support Grid based collaborations are at l...