231 search results - page 9 / 47 » A Brief Overview of PVS |
AC
1998
Springer
13 years 7 months ago
1998
Springer
This paper describes the state of the art for cryptographic hash functions. Different definitions are compared, and the few theoretical results on hash functions are discussed. A...
SPIRE
2010
Springer
13 years 5 months ago
2010
Springer
This paper focuses on using hyperlinks in the ranking of web search results. We give a brief overview of the vast body of work in the area; we provide a quantitative comparison of ...
DAGSTUHL
2006
13 years 8 months ago
2006
This paper presents an update on the current state of development of the Text Encoding Initiative's Guidelines for Electronic Text Encoding and Interchange. Since the last ma...
COMCOM
2010
13 years 7 months ago
2010
Due to its versatility, flexibility and fast development, the modern Internet is far from being well understood in its entirety. A good way to learn more about how the Internet fu...
CASCON
1992
13 years 8 months ago
1992
A multidatabase system (MDBS) is a facility that allows users access to data located in multiple autonomous database management systems (DBMSs). In such a system, globaltransaction...