168 search results - page 27 / 34 » An Introduction to Dependent Type Theory |
PODS
2006
ACM
14 years 7 months ago
2006
ACM
We propose a novel approach to the classical view update problem. The view update problem arises from the fact that modifications to a database view may not correspond uniquely to...
DASC
2006
IEEE
14 years 1 months ago
2006
IEEE
Abstract— In stream authentication protocols used for largescale data dissemination in autonomuous systems, authentication is based on the timing of the publication of keys, and ...
HICSS
2006
IEEE
14 years 1 months ago
2006
IEEE
In building a successful website it is imperative that the design matches the organization’s objectives, which should be well defined. Clearly, different types of websites will ...
SMI
2005
IEEE
14 years 1 months ago
2005
IEEE
Curvature-based energy and forces are used in a broad variety of contexts, ranging from modeling of thin plates and shells to surface fairing and variational surface design. The a...
FSE
2005
Springer
14 years 1 months ago
2005
Springer
A T-function is a mapping from n-bit words to n-bit words in which for each 0 ≤ i < n, bit i of any output word can depend only on bits 0, 1, . . . , i of any input word. All ...