2084 search results - page 363 / 417 » Set Constraints in Logic Programming |
162
click to vote
PODS
2008
ACM
16 years 3 months ago
2008
ACM
We present a novel definition of privacy in the framework of offline (retroactive) database query auditing. Given information about the database, a description of sensitive data, ...
122
click to vote
LISA
2003
15 years 4 months ago
2003
Often network components work correctly, yet end-to-end services don’t. This happens if configuration parameters of components are set to incorrect values. Configuration is a fu...
123
click to vote
VMCAI
2005
Springer
15 years 8 months ago
2005
Springer
Abstract. Implementations of cryptographic protocols, such as OpenSSL for example, contain bugs affecting security, which cannot be detected by just analyzing abstract protocols (e...
118
click to vote
FPL
2006
Springer
15 years 6 months ago
2006
Springer
This paper is concerned with the application of formal optimisation methods to the design of mixed-granularity FPGAs. In particular, we investigate the appropriate mix and floorpl...
108
click to vote
DBPL
1991
Springer
15 years 6 months ago
1991
Springer
BULK is a very-high-level persistent programming language and environment for prototyping and implementing database applications. BULK provides sets and sequences as primitive typ...