589 search results - page 26 / 118 » Design and Implementation of an SSL Component Based on CBD |
HVC
2007
Springer
15 years 5 months ago
2007
Springer
The paper presents a new approach to formal verification of generic (i.e. parametrised) hardware designs specified in VHDL. The proposed approach is based on a translation of suc...
KBSE
2010
IEEE
14 years 10 months ago
2010
IEEE
To realise variability at the code level, product line methods classically advocate usage of inheritance, components, frameworks, aspects or generative techniques. However, these ...
CVPR
1997
IEEE
16 years 1 months ago
1997
IEEE
We present a method for computing dense visual correspondence based on general assumptions about scene geometry. Our algorithm does not rely on correlation, and uses a variable re...
102
Voted
DAGSTUHL
2003
15 years 1 months ago
2003
Abstract. In this paper, we show how the concepts of objects, components, features and agents are used today in the Agent Building Center (ABC) environment in order to marry the mo...
MSE
2002
IEEE
15 years 4 months ago
2002
IEEE
This paper describes the user interface framework of the VizIR project ([4]). VizIR is an open project to develop a Java-based, extendible and well-documented asset framework for ...