533 search results - page 89 / 107 » Intensional Models for the Theory of Types |
116
click to vote
STORAGESS
2005
ACM
15 years 10 months ago
2005
ACM
We study cryptographic modeling and encryption-based design techniques for guaranteeing privacy of data that is ļ¬rst stored in some type of computer memory and then deleted. We ...
132
click to vote
SACMAT
2003
ACM
15 years 9 months ago
2003
ACM
A Generalized Temporal Role Based Access Control (GTRBAC) model that captures an exhaustive set of temporal constraint needs for access control has recently been proposed. GTRBACā...
112
click to vote
ATAL
2003
Springer
15 years 9 months ago
2003
Springer
Eļ¬ective human teams often beneļ¬t from proactivity through membersā capability of anticipating diļ¬erent needs of teammates. In this paper, we focus on three issues related...
121
click to vote
COMPGEOM
2010
ACM
15 years 9 months ago
2010
ACM
We consider the problem of reconstructing a compact 3manifold (with boundary) embedded in R3 from its crosssections with a given set of cutting planes having arbitrary orientation...
152
click to vote
ACMICEC
2006
ACM
15 years 8 months ago
2006
ACM
In this paper, we look at a supply chain of commodity goods where customer demand is uncertain and partly based on reputation, and where raw material replenishment is uncertain in...