136 search results - page 3 / 28 » separable and transitive graphoids |
ICISS
2007
Springer
14 years 1 months ago
2007
Springer
Applications are subject to threat from a number of attack vectors, and limiting their attack surface is vital. By using privilege separation to constrain application access to pro...
FSTTCS
2004
Springer
14 years 26 days ago
2004
Springer
We present a fragment of separation logic oriented to linked lists, and study decision procedures for validity of entailments. The restrictions in the fragment are motivated by the...
MM
2009
ACM
14 years 4 days ago
2009
ACM
In this work the problem of automatic decomposition of video into elementary semantic units, known in the literature as scenes, is addressed. Two multi-modal automatic scene segme...
ICDIM
2008
IEEE
14 years 1 months ago
2008
IEEE
This paper presents a novel payload analysis method. Consecutive bytes are separated by boundary symbols and defined as words. The frequencies of word appearance and word to word ...
ECAL
2003
Springer
14 years 21 days ago
2003
Springer
In this paper we consider a multi-cellular sensing and communication network, embedded in an ageless aerospace vehicle, that is expected to detect and react to impact location, int...