6434 search results - page 333 / 1287 » Model Transformations with Reference Models |
169
click to vote
SPIN
2005
Springer
16 years 5 days ago
2005
Springer
We describe a method for the specification and verification of the dynamic behaviour of component systems. Building applications using a component framework allows the developers...
167
click to vote
AAAI
2008
15 years 9 months ago
2008
An unsupervised probabilistic learning framework for normalizing product records across different retailer Web sites is presented. Our framework decomposes the problem into two ta...
194
click to vote
ADAC
2010
15 years 6 months ago
2010
Abstract We propose a procedure based on a latent variable model for the comparison of two partitions of different units described by the same set of variables. The null hypothesis...
184
click to vote
CTRSA
2006
Springer
15 years 10 months ago
2006
Springer
We construct efficient universally composable oblivious transfer protocols in the multi-party setting for honest majorities. Unlike previous proposals our protocols are designed in...
190
click to vote
CAMP
2005
IEEE
15 years 8 months ago
2005
IEEE
Abstract— In this paper we address the problem of the architectural exploration from the energy/performance point of view of a VLIW processor for embedded systems. We also consid...