828 search results - page 108 / 166 » A New Model of Program Dependences for Reverse Engineering |
151
click to vote
FOSSACS
2008
Springer
15 years 7 months ago
2008
Springer
Local reasoning about programs exploits the natural local behaviour common in programs by focussing on the footprint - that part of the resource accessed by the program. We address...
246
click to vote
WETICE
1997
IEEE
15 years 9 months ago
1997
IEEE
Contemporary product design and process development is based on an iterative specify-evaluate-revise approach which is often time intensive and therein non-responsive to customer ...
153
click to vote
SMI
2005
IEEE
15 years 11 months ago
2005
IEEE
Curvature-based energy and forces are used in a broad variety of contexts, ranging from modeling of thin plates and shells to surface fairing and variational surface design. The a...
129
Voted
MKWI
2008
15 years 7 months ago
2008
: An important goal of workflow engines is to simplify the way in which the interaction of workflows and software components (or services) is described and implemented. The vision ...
154
click to vote
CDC
2009
IEEE
15 years 10 months ago
2009
IEEE
— Scanning transmission electron microscopes are indispensable tools for material science research, since they can reveal the internal structure of a wide range of specimens. Thu...