1299 search results - page 51 / 260 » EMC - A modeling method for developing web-based application... |
120
Voted
TCSV
2008
15 years 3 months ago
2008
Look-up table (LUT)-based data hiding is a simple and efficient technique to hide secondary information (watermark) into multimedia work for various applications such as copyright ...
147
Voted
BMCBI
2010
15 years 3 months ago
2010
Background: To further understand the implementation of hyperparameters re-estimation technique in Bayesian hierarchical model, we added two more prior assumptions over the weight...
119
Voted
CAV
2009
Springer
16 years 4 months ago
2009
Springer
We address the problem of analyzing programs such as J2ME midlets for mobile devices, where a central correctness requirement concerns confidentiality of data that the user wants t...
150
Voted
IFM
2010
Springer
15 years 1 months ago
2010
Springer
In this paper we describe techniques for the specification and verification of model transformations using a combination of UML and formal methods. The use of UML 2 notations to s...
136
Voted
CAD
2005
Springer
15 years 3 months ago
2005
Springer
Industrial Geometry aims at unifying existing and developing new methods and algorithms for a variety of application areas with a strong geometric component. These include CAD, CA...