3742 search results - page 518 / 749 » On the Use of Formal Techniques for Validation |
233
click to vote
SCESM
2006
ACM
16 years 16 days ago
2006
ACM
As technical systems keep growing more complex and sophisticated, designing software for the safety-critical coordination between their components becomes increasingly difficult....
172
click to vote
ECMDAFA
2005
Springer
16 years 3 days ago
2005
Springer
This article presents a control flow analysis methodology based on UML 2.0 sequence diagrams (SD). In contrast to the conventional code-based control flow analysis techniques, thi...
162
click to vote
CVPR
2006
IEEE
16 years 8 months ago
2006
IEEE
This paper develops an efficient new method for 3D partial shape retrieval. First, a Monte Carlo sampling strategy is employed to extract local shape signatures from each 3D model...
189
click to vote
ICCV
2007
IEEE
16 years 8 months ago
2007
IEEE
We consider the problem of reconstructing the shape of a surface with an arbitrary, spatially varying isotropic bidirectional reflectance distribution function (BRDF), and introdu...
228
click to vote
VIS
2009
IEEE
16 years 7 months ago
2009
IEEE
Stackless traversal techniques are often used to circumvent memory bottlenecks by avoiding a stack and replacing return traversal with extra computation. This paper addresses wheth...