171 search results - page 15 / 35 » Metamodel-based Test Generation for Model Transformations: a... |
DDECS
2006
IEEE
14 years 2 months ago
2006
IEEE
- Extension of a BIST design algorithm is proposed in this paper. The method is based on a synthesis of a combinational block - the decoder, transforming pseudo-random code words i...
WORDS
2005
IEEE
14 years 2 months ago
2005
IEEE
Major computer companies and government agencies are adopting Web Services (WS) technology. Web services must ensure interoperability and security, and be reliable and trustworthy...
ECMDAFA
2010
Springer
14 years 3 days ago
2010
Springer
Dynamic UML models like sequence diagrams (SD) lack sufficient formal semantics, making it difficult to build automated tools for their analysis, simulation and validation. A commo...
APSEC
2002
IEEE
14 years 1 months ago
2002
IEEE
Reengineering legacy software systems to object oriented platforms has received significant attention over the past few years. In this paper, we propose a goal driven software mig...
CVPR
2005
IEEE
14 years 10 months ago
2005
IEEE
This paper presents a method for face recognition across large changes in viewpoint. Our method is based on a Morphable Model of 3D faces that represents face-specific information...