732 search results - page 81 / 147 » Automated Test Generation from Models Based on Functional So... |
SMA
1995
ACM
14 years 11 days ago
1995
ACM
This paper presents a new computational method for fully automated triangular mesh generation, consistently applicable to wire-frame, surface, solid, and nonmanifold geometries. T...
FM
1997
Springer
14 years 1 months ago
1997
Springer
: The widely accepted possible benefits of formal methods on the one hand and their minor use compared to informal or graphical description techniques on the other hand have repeat...
VAMOS
2010
Springer
13 years 10 months ago
2010
Springer
Deriving products from a software product line is difficult, particularly when there are many constraints in the variability of the product line. Understanding the impact of variab...
ICMCS
2005
IEEE
14 years 2 months ago
2005
IEEE
In the paper we present a model based method for generating 3D face models from multiple images by means of an energy minimization algorithm. The energy function takes into accoun...
DAC
2005
ACM
14 years 9 months ago
2005
ACM
In the design of highly complex, heterogeneous, and concurrent systems, deadlock detection and resolution remains an important issue. In this paper, we systematically analyze the ...