Sciweavers

1040 search results - page 105 / 208
» Controlling Aspect Reentrancy
Sort
View
DRM
2005
Springer
15 years 6 months ago
Statistical audio watermarking algorithm based on perceptual analysis
In this paper, we describe a novel statistical audio watermarking scheme. Under the control of the masking thresholds, watermark is embedded adaptively and transparently in the pe...
Xiaomei Quan, Hongbin Zhang
73
Voted
ER
2005
Springer
91views Database» more  ER 2005»
15 years 6 months ago
A Fundamental View on the Process of Conceptual Modeling
Abstract. In an ongoing effort to better understand the process of creating conceptual models (in particular formal ones), we present a fundamental view of the process of modeling...
Stijn Hoppenbrouwers, Henderik Alex Proper, Theo P...
100
Voted
LPAR
2005
Springer
15 years 6 months ago
The Theorema Environment for Interactive Proof Development
Abstract. We describe an environment that allows the users of the Theorema system to flexibly control aspects of computer-supported proof development. The environment supports the...
Florina Piroi, Temur Kutsia
78
Voted
HT
2004
ACM
15 years 6 months ago
A linking and interaction evaluation test set for SMIL
The SMIL 2.0 Language profile support several mechanisms for controlling interactivity in a SMIL 2.0 presentation. Unfortunately, the SMIL standard testset does not verify complex...
Dick C. A. Bulterman
92
Voted
CCS
2004
ACM
15 years 6 months ago
Security policies for downgrading
A long-standing problem in information security is how to specify and enforce expressive security policies that control information flow while also permitting information release...
Stephen Chong, Andrew C. Myers