3021 search results - page 464 / 605 » A Domain Engineering Approach for Situational Method Enginee... |
192
click to vote
SPIN
2007
Springer
16 years 15 days ago
2007
Springer
One of the most exciting and promising approaches to ensure the correctness of critical systems is software model checking, which considers real code, written with standard program...
142
click to vote
VISUALIZATION
2005
IEEE
15 years 12 months ago
2005
IEEE
We present a new particle tracing approach for the simulation of mid- and high-frequency sound. Inspired by the photorealism obtained by methods like photon mapping, we develop a ...
169
click to vote
NIPS
2008
15 years 7 months ago
2008
Polysemy is a problem for methods that exploit image search engines to build object category models. Existing unsupervised approaches do not take word sense into consideration. We...
171
click to vote
SIAMSC
2011
15 years 26 days ago
2011
In order to compute polarization energy of biomolecules, we describe a boundary element approach to solving the linearized Poisson–Boltzmann equation. Our approach combines sever...
195
click to vote
WCRE
2006
IEEE
16 years 11 days ago
2006
IEEE
The understanding of the structure of a software system can be improved by analyzing the system’s evolution during development. Visualizations of software history that provide o...