7393 search results - page 1128 / 1479 » Synthesis-for-testability using transformations |
148
click to vote
CVPR
2007
IEEE
15 years 8 months ago
2007
IEEE
Multiple sensors are commonly fused to improve the detection and recognition performance of computer vision and pattern recognition systems. The traditional approach to determine ...
138
click to vote
ITP
2010
15 years 8 months ago
2010
CertiCrypt is a general framework to certify the security of cryptographic primitives in the Coq proof assistant. CertiCrypt adopts the code-based paradigm, in which the statement ...
140
Voted
ECMDAFA
2009
Springer
15 years 8 months ago
2009
Springer
Model-driven engineering techniques can be used both to create new software and to modernize existing software systems. Modeldriven software modernization requires a first step for...
140
click to vote
EDOC
2009
IEEE
15 years 8 months ago
2009
IEEE
Viewpoint modeling is an effective technique for specifying complex software systems in terms of a set of independent viewpoints and correspondences between them. Each viewpoint f...
113
click to vote
ICESS
2007
Springer
15 years 8 months ago
2007
Springer
Abstract. The interactive digital multimedia broadcasting stands for a convergence application between digital multimedia broadcasting service and wireless internet service. It dev...