5525 search results - page 841 / 1105 » Verification of Model Transformations |
190
click to vote
MODELLIERUNG
2010
15 years 8 months ago
2010
: The evolution of software systems often produces incompatibilities with existing data and applications. To prevent incompatibilities, changes have to be wellplanned, and develope...
179
click to vote
IIWAS
2008
15 years 8 months ago
2008
Based on top of Web protocols and XML language, Web services are emerging as a framework to provide applicationto-application interaction. An important challenge is their integrat...
168
click to vote
IJCAI
2007
15 years 8 months ago
2007
This paper develops a statistical inference approach, Bayesian Tensor Inference, for style transformation between photo images and sketch images of human faces. Motivated by the r...
203
click to vote
CCS
2010
ACM
15 years 6 months ago
2010
ACM
We provide new constructions of Leakage-Resilient IdentityBased Encryption systems (IBE) in the Standard model. We apply a hash proof technique in the existing IBE schemes of Bone...
183
click to vote
CORR
2008
Springer
15 years 6 months ago
2008
Springer
This paper presents a hierarchical Bayesian model to reconstruct sparse images when the observations are obtained from linear transformations and corrupted by an additive white Gau...