2173 search results - page 49 / 435 » The History of the History of Software |
138
click to vote
CONCUR
2005
Springer
15 years 11 months ago
2005
Springer
Abstract. We propose a polynomial-time decision procedure for hereditary history preserving bisimilarity (hhp-b) on Basic Parallel Processes (BPP). Furthermore, we give a sound and...
165
click to vote
HOPL
1993
15 years 10 months ago
1993
This paper outlines the history of the C++ programming language. The emphasis is on the ideas, constraints, and people that shaped the language, rather than the minutiae of langua...
146
click to vote
ERCIMDL
2008
Springer
15 years 8 months ago
2008
Springer
As digital archiving is heading into the next level of development and influence, we must consider the need of connecting digital archiving with more people and more resources to e...
129
click to vote
JUCS
2008
15 years 6 months ago
2008
: This article is a revised and extended version of [VBG, 07]. We conjecture that the digitalization of historical text documents as a basis of data mining and information retrieva...
172
click to vote
APAL
2004
15 years 6 months ago
2004
Relation were invented by Tarski and his collaborators in the middle of the twentieth century. The concept of integrality arose naturally early in the history of the subject, and s...