1822 search results - page 269 / 365 » GENI Design Principles |
174
click to vote
TPHOL
2009
IEEE
16 years 28 days ago
2009
IEEE
A new logic is posited for the widely used HOL theorem prover, as an extension of the existing higher order logic of the HOL4 system. The logic is extended to three levels, adding ...
223
click to vote
FROCOS
2009
Springer
16 years 26 days ago
2009
Springer
The developments in information technology during the last decade have been rapidly changing the possibilities for data and knowledge access. To respect this, several declarative k...
158
click to vote
ISW
2009
Springer
16 years 25 days ago
2009
Springer
The recently started SHA-3 competition in order to find a new secure hash standard and thus a replacement for SHA-1/SHA-2 has attracted a lot of interest in the academic world as ...
166
click to vote
DOCENG
2009
ACM
16 years 24 days ago
2009
ACM
The PDF format is commonly used for the exchange of documents on the Web and there is a growing need to understand and extract or repurpose data held in PDF documents. Many system...
192
click to vote
LOCWEB
2009
ACM
16 years 24 days ago
2009
ACM
As a tool for mitigating the potential privacy risks of gathering and transmitting location information on the Web, we suggest in this paper a model for conveying location informa...