5255 search results - page 735 / 1051 » Formal Methods for Privacy |
185
click to vote
FASE
2004
Springer
16 years 2 days ago
2004
Springer
Abstract. Organizations use Role-Based Access Control (RBAC) to protect computer-based resources from unauthorized access. There has been considerable work on formally specifying R...
171
click to vote
KR
2004
Springer
16 years 1 days ago
2004
Springer
In a very basic sense, the aim of knowledge discovery is to reveal structures of knowledge which can be seen as being represented by structural relationships. In this paper, we ma...
166
click to vote
LPAR
2004
Springer
16 years 1 days ago
2004
Springer
Abstract. The coupling of description logic reasoning systems with other reasoning formalisms (possibly over the Web) is becoming an important research issue and calls for advanced...
165
click to vote
DATE
2003
IEEE
15 years 12 months ago
2003
IEEE
The growing impact of within-die process variation has created the need for statistical timing analysis, where gate delays are modeled as random variables. Statistical timing anal...
164
click to vote
IPPS
2003
IEEE
15 years 12 months ago
2003
IEEE
In ad hoc wireless networks, a successful broadcasting requires that the nodes forwarding the broadcast packet form a connected dominating set to ensure the coverage. An efficien...