2838 search results - page 47 / 568 » Verifying Controlled Components |
154
click to vote
NPAR
2010
ACM
15 years 7 months ago
2010
ACM
We present an interactive abstract painting system named Sisley. Sisley works upon the psychological principle [Berlyne 1971] that abstract arts are often characterized by their gr...
92
Voted
ICASSP
2011
IEEE
14 years 5 months ago
2011
IEEE
The paper proposes a novel method for coding artifact reduction in compressed images. For removing blocking artifacts, a localized DCT-based filter with condition on the similari...
118
Voted
STTT
2008
15 years 2 months ago
2008
Abstract. Managing access control policies in modern computer systems can be challenging and error-prone. Combining multiple disparate access policies can introduce unintended cons...
145
Voted
CSREAPSC
2006
15 years 3 months ago
2006
Abstract - Recent advances in multimedia network systems have led to the development of a new generation of applications that associate the use of various multimedia objects. The c...
106
Voted
DSS
2000
15 years 2 months ago
2000
This paper describes novel market-based technologies that uniquely establish quantifiable and adjustable limits on the power of attackers, enable verifiable accountability for mal...