5344 search results - page 81 / 1069 » Privacy-Preserving Set Operations |
DIGRA
2005
Springer
14 years 3 months ago
2005
Springer
Cinematography describes principles and techniques pertaining to the effective use of cameras to film live action. The correct application of these principles and techniques produ...
BIRTHDAY
2004
Springer
14 years 1 months ago
2004
Springer
Abstract. We consider programs which are data independent with respect to two type variables X and Y , and can in addition use arrays indexed by X and storing values from Y . We ar...
ECOOPWEXCEPTION
2006
Springer
14 years 1 months ago
2006
Springer
Exception handling is a powerful abstraction that can be used to help manage errors and support the construction of reliable operating systems. Using exceptions to notify system co...
ENTCS
2008
13 years 10 months ago
2008
The B+ tree is an ordered tree structure with a fringe list. It is the most widely used data structure for data organisation and searching in database systems specifically, and, p...
ENTCS
2006
13 years 10 months ago
2006
In this paper we introduce a new approach to formalizing certain type operations in type theory. Traditionally, many type constructors in type theory are independently axiomatized...