نشرت في: September 2011
Authenticated dictionaries are a widely discussed paradigm to enable verifiable integrity for data storage on untrusted servers, such as today’s wide...
Tamper-evident seals are used by many states’ election officials on voting machines and ballot boxes, either to protect the computer and software fro...
نشرت في: March 1976
Data definition, manipulation, protection, and independence, and System performance are important factors when studying and evaluating data-base man...
نشرت في: June 1976
This paper is an introduction to the main features of ALGOL 68, emphasizing the novel features not found in many other programming languages. The top...
نشرت في: June 1916
The current use of formal definitions of programming languages is very limited, largely because of a lack of fully developed techniques and because o...
