4418 search results - page 32 / 884 » A Formal Approach to Computer Systems Requirements Documenta... |
117
Voted
PODS
2005
ACM
16 years 3 months ago
2005
ACM
Some promising recent schemes for XML access control employ encryption for implementing security policies on published data, avoiding data duplication. In this paper we study one ...
148
Voted
SAC
2010
ACM
15 years 10 months ago
2010
ACM
The aim of this short paper is to present a general method of using background knowledge to impose constraints in conceptual clustering of object-attribute relational data. The pr...
119
Voted
ICSE
2004
IEEE-ACM
16 years 3 months ago
2004
IEEE-ACM
Caring for security at requirements engineering time is a message that has finally received some attention recently. However, it is not yet very clear how to achieve this systemat...
139
Voted
ECSA
2010
Springer
15 years 3 months ago
2010
Springer
Security metrics are the tools for providing correct and upto-date information about a state of security. This information is essential for managing security efficiently. Although...
132
Voted
SIGLEX
1991
15 years 7 months ago
1991
This paper argues for a two-level theory of semantics as opposed to a one-level theory, based on the example of the system of temporal and durationM connectives. Instead of identi...