2446 search results - page 86 / 490 » Principles of dataspace systems |
CCS
2007
ACM
14 years 4 months ago
2007
ACM
Administration of large-scale RBAC systems is a challenging open problem. We propose a principled approach in designing and analyzing administrative models for RBAC. We identify s...
ICAC
2005
IEEE
14 years 4 months ago
2005
IEEE
This paper proposes autonomic or organic computing principles to be applied to hardware design methods for future SoC solutions. Incorporating self-calibration, fault tolerance or...
WAC
2005
Springer
14 years 3 months ago
2005
Springer
We present the design and implementation of a working prototype system that enables self-configuration in mobile ad hoc networks (MANETs) by exploiting context awareness and cross-...
FC
2004
Springer
14 years 3 months ago
2004
Springer
Abstract. The security of any computer system that is configured or operated by human beings critically depends on the information conveyed by the user interface, the decisions of...
LFCS
1992
Springer
14 years 2 months ago
1992
Springer
This paper addresses the problem of extending the formulae-as-types principle to classical logic. More precisely, we introduce a typed lambda-calculus (-LK ) whose inhabited types...