Sciweavers

44651 search results - page 372 / 8931
» Generalized
Sort
View
MFCS
2009
Springer
16 years 1 months ago
A General Class of Models of
Abstract. We recently introduced an extensional model of the pure λcalculus living in a cartesian closed category of sets and relations. In this paper, we provide sufficient condi...
Giulio Manzonetto
SDMW
2009
Springer
16 years 1 months ago
An Access Control Language for a General Provenance Model
Provenance access control has been recognized as one of the most important components in an enterprise-level provenance system. However, it has only received little attention in th...
Qun Ni, Shouhuai Xu, Elisa Bertino, Ravi S. Sandhu...