Sciweavers

1330 search results - page 129 / 266
» Modeling components and frameworks with UML
Sort
View
ICASSP
2009
IEEE
16 years 1 months ago
Testing fractal connectivity in multivariate long memory processes
Within the framework of long memory multivariate processes, fractal connectivity is a particular model, in which the low frequencies (coarse scales) of the interspectrum of each p...
Herwig Wendt, Antoine Scherrer, Patrice Abry, Soph...
ENTCS
2010
130views more  ENTCS 2010»
15 years 6 months ago
Compositional System Security with Interface-Confined Adversaries
This paper presents a formal framework for compositional reasoning about secure systems. A key insight is to view a trusted system in terms of the interfaces that the various comp...
Deepak Garg, Jason Franklin, Dilsun Kirli Kaynar, ...
DAGM
2010
Springer
15 years 4 months ago
A Convex Approach for Variational Super-Resolution
We propose a convex variational framework to compute high resolution images from a low resolution video. The image formation process is analyzed to provide to a well designed model...
Markus Unger, Thomas Pock, Manuel Werlberger, Hors...
VIS
2007
IEEE
126views Visualization» more  VIS 2007»
16 years 7 months ago
A Unified Paradigm for Scalable Multi-Projector Displays
We present a general framework for the modeling and optimization of scalable multi-projector displays. Based on this framework, we derive algorithms that can robustly optimize the ...
Niranjan Damera-Venkata, Nelson L. Chang, Jeffre...
APLAS
2004
ACM
15 years 11 months ago
Protocol Specialization
Abstract. In component-based programming, the programmer assembles applications from prefabricated components. The assembly process has two main steps: adapting a component by twea...
Matthias Neubauer, Peter Thiemann