Foundations of programming languages
Foundations of programming languages
Archival storage for digital libraries
Proceedings of the third ACM conference on Digital libraries
Preserving digital information forever
DL '00 Proceedings of the fifth ACM conference on Digital libraries
Implementing a Reliable Digital Object Archive
ECDL '00 Proceedings of the 4th European Conference on Research and Advanced Technology for Digital Libraries
Modeling Archival Repositories for Digital Libraries
ECDL '00 Proceedings of the 4th European Conference on Research and Advanced Technology for Digital Libraries
Toward a Theory of Information Preservation
Toward a Theory of Information Preservation
What the web has done for scientific data – and what it hasn’t
WAIM'05 Proceedings of the 6th international conference on Advances in Web-Age Information Management
Mind the (intelligibility) gap
ECDL'07 Proceedings of the 11th European conference on Research and Advanced Technology for Digital Libraries
| Hi-index | 0.00 |
Digital preservation is a pressing challenge to the library community. In this paper, we describe the initial results of our efforts towards understanding digital (as well as traditional) preservation problems from first principles. Our approach is to use the language of mathematics to formalize the concepts that are relevant to preservation. Our theory of preservation spaces draws upon ideas from logic and programming language semantics to describe the relationship between concrete objects and their information contents. We also draw on game theory to show how objects change over time as a result of uncontrollable environment effects and directed preservation actions. In the second half of this paper, we show how to use the mathematics of universal algebra as a language for objects whose information content depends on many components. We use this language to describe both migration and emulation strategies for digital preservation.