796 search results - page 118 / 160 » A Formalization of ODMG Queries |
88
Voted
SP
1997
IEEE
15 years 5 months ago
1997
IEEE
This paper discusses the development of a methodology for reasoning about properties of security policies. We view a security policy as a special case of regulation which specifi...
64
Voted
OODBS
1992
15 years 4 months ago
1992
This paper addresses the problem of de ning views that span several objectbases. Views are expressed in terms of an object algebra. We are interested in the degrees of coupling an...
140
click to vote
AMR
2006
Springer
15 years 4 months ago
2006
Springer
Most of the currently existing image retrieval systems make use of either low-level features or semantic (textual) annotations. A combined usage during annotation and retrieval is ...
CSFW
2004
IEEE
15 years 4 months ago
2004
IEEE
We present a new static analysis for reviewing the security of libraries for systems, such as JVMs or the CLR, that rely on stack inspection for access control. We describe its im...
158
click to vote
DILS
2008
Springer
15 years 2 months ago
2008
Springer
With over 80 file formats to represent various chemical attributes, the conversion between one format and another is invariably lossy due to informal specifications. In contrast, t...