2259 search results - page 2 / 452 » Separation and information hiding |
FMCO
2005
Springer
13 years 11 months ago
2005
Springer
Abstract. Separation logic is a program logic for reasoning about programs that manipulate pointer data structures. We describe Smallfoot, a tool for checking certain lightweight s...
ICSE
2007
IEEE-ACM
14 years 5 months ago
2007
IEEE-ACM
DAWAK
2003
Springer
13 years 10 months ago
2003
Springer
In this paper we present a comprehensive log compression (CLC) method that uses frequent patterns and their condensed representations to identify repetitive information from large ...
IH
1998
Springer
13 years 9 months ago
1998
Springer
Abstract. Security documents (currency, treasury bills, stocks, bonds, birth certificates, etc.) provide an interesting problem space for investigating information hiding. Recent a...
CORR
2010
Springer
13 years 5 months ago
2010
Springer
: Visual Cryptography is a secret sharing scheme that uses the human visual system to perform computations. This paper presents a recursive hiding scheme for 3 out of 5 secret shar...