1779 search results - page 185 / 356 » A Formal Model of Data Privacy |
134
click to vote
CORR
2008
Springer
15 years 4 months ago
2008
Springer
This paper offers several contributions for separation of duty (SoD) administration in role-based access control (RBAC) systems. We first introduce a new formal framework, based o...
162
click to vote
IDA
2000
Springer
15 years 4 months ago
2000
Springer
When high-dimensional data vectors are visualized on a two- or three-dimensional display, the goal is that two vectors close to each other in the multi-dimensional space should als...
146
click to vote
CORR
2010
Springer
15 years 4 months ago
2010
Springer
Reusable software components need well-defined interfaces, rigorously and completely documented features, and a design amenable both to reuse and to formal verification; all these...
138
click to vote
ICTAC
2004
Springer
15 years 10 months ago
2004
Springer
Abstract. The classical work on test case generation and formal methods focuses either on algebraic or model-based specifications. In this paper we propose an approach to derive t...
284
click to vote
TKDE
2012
13 years 7 months ago
2012
—Continuous queries are used to monitor changes to time varying data and to provide results useful for online decision making. Typically a user desires to obtain the value of som...