12981 search results - page 617 / 2597 » Model Checking (Abstract) |
182
click to vote
TCC
2010
Springer
15 years 5 months ago
2010
Springer
Abstract. We study the necessary and sufficient assumptions for universally composable (UC) computation, both in terms of setup and computational assumptions. We look at the common...
219
Voted
TIP
2010
15 years 2 months ago
2010
Abstract--A new Bayesian model is proposed for image segmentation based upon Gaussian mixture models (GMM) with spatial smoothness constraints. This model exploits the Dirichlet co...
147
click to vote
OOPSLA
2009
Springer
16 years 2 months ago
2009
Springer
Model transformation languages, the cornerstone of Modelngineering, often lack mechanisms for abstraction, reuse and debugging. We propose a model transformation k providing diffe...
190
click to vote
ESTIMEDIA
2004
Springer
16 years 26 days ago
2004
Springer
Abstract—Few analytical performance models that relate performance figure of merit to architectural design decisions are reported in recent studies of network-on-chip, which pre...
209
click to vote
SEC
1997
15 years 8 months ago
1997
A formal top down model shall be presented to aid documentation and harmonization of information security requirements. The model formalizes layered development of inn security, w...